Anthony Monnet

According to our database, Anthony Monnet authored at least 4 papers between 2007 and 2013.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2013

Efficient Partial Order CDCL Using Assertion Level Choice Heuristics

Anthony Monnet, Roger Villemaire

CoRR, 2013

2012

CDCL with Less Destructive Backtracking through Partial Ordering.

Anthony Monnet, Roger Villemaire

Proceedings of the Third Workshop on Practical Aspects of Automated Reasoning, 2012

2010

Scalable formula decomposition for propositional satisfiability.

Anthony Monnet, Roger Villemaire

Proceedings of the Canadian Conference on Computer Science & Software Engineering, 2010

2007

JaCk-SAT: A New Parallel Scheme to Solve the Satisfiability Problem (SAT) Based on Join-and-Check.

Daniel Singer, Anthony Monnet

Proceedings of the Parallel Processing and Applied Mathematics, 2007