Login / Signup
Lyndon Drake
ORCID
Publication Activity (10 Years)
Years Active: 2001-2003
Publications (10 Years): 0
</>
Publications
</>
Lyndon Drake
,
Alan M. Frisch
The Interaction Between Inference and Branching Heuristics.
SAT
(2003)
Lyndon Drake
,
Alan M. Frisch
Combining Inference and Search for the Propositional Satisfiability Problem.
AAAI/IAAI
(2002)
Lyndon Drake
,
Alan M. Frisch
,
Toby Walsh
Automatic Generation of Implied Clauses for SAT.
CP
(2002)
Lyndon Drake
Automatic Generation of Implied Clauses for SAT.
CP
(2001)