Lyndon Drake

According to our database, Lyndon Drake authored at least 4 papers between 2001 and 2003.

Collaborative distances:

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

2003

The Interaction Between Inference and Branching Heuristics.

Lyndon Drake, Alan M. Frisch

Proceedings of the Theory and Applications of Satisfiability Testing, 2003

2002

Automatic Generation of Implied Clauses for SAT.

Lyndon Drake, Alan M. Frisch, Toby Walsh

Proceedings of the Principles and Practice of Constraint Programming, 2002

Combining Inference and Search for the Propositional Satisfiability Problem.

Lyndon Drake, Alan M. Frisch

Proceedings of the Eighteenth National Conference on Artificial Intelligence and Fourteenth Conference on Innovative Applications of Artificial Intelligence, July 28, 2002

2001

Automatic Generation of Implied Clauses for SAT.

Lyndon Drake

Proceedings of the Principles and Practice of Constraint Programming, 2001