Login / Signup
Anthony Monnet
Publication Activity (10 Years)
Years Active: 2007-2013
Publications (10 Years): 0
Top Topics
Total Ordering
Partial Order
Sat Solvers
Propositional Satisfiability
Top Venues
CoRR
PAAR@IJCAR
</>
Publications
</>
Anthony Monnet
,
Roger Villemaire
Efficient Partial Order CDCL Using Assertion Level Choice Heuristics
CoRR
(2013)
Anthony Monnet
,
Roger Villemaire
CDCL with Less Destructive Backtracking through Partial Ordering.
PAAR@IJCAR
(2012)
Anthony Monnet
,
Roger Villemaire
Scalable formula decomposition for propositional satisfiability.
C3S2E
(2010)
Daniel Singer
,
Anthony Monnet
JaCk-SAT: A New Parallel Scheme to Solve the Satisfiability Problem (SAT) Based on Join-and-Check.
PPAM
(2007)