Travelled to:
1 × Italy
1 × USA
Collaborated with:
A.M.Frisch A.Frisch T.Walsh
Talks about:
procedur (1) interact (1) satisfi (1) resolut (1) heurist (1) between (1) branch (1) infer (1) dpll (1) ad (1)
Person: Lyndon Drake
DBLP: Drake:Lyndon
Contributed to:
Wrote 2 papers:
- SAT-2003-DrakeF #branch #heuristic #interactive
- The Interaction Between Inference and Branching Heuristics (LD, AMF), pp. 370–382.
- SAT-2002-DrakeFW #satisfiability
- Adding resolution to the DPLL procedure for satisfiability (LD, AF, TW), p. 46.