Automatic Generation of Implied Clauses for SAT. - Lyndon Drake (CP, 2001)

Combining Inference and Search for the Propositional Satisfiability Problem. - Lyndon Drake; Alan M. Frisch (AAAI/IAAI, 2002)

Automatic Generation of Implied Clauses for SAT. - Lyndon Drake; Alan M. Frisch; Toby Walsh (CP, 2002)

The Interaction Between Inference and Branching Heuristics. - Lyndon Drake; Alan M. Frisch (SAT, 2003)

Using LLMs to support assessment of student work in higher education: a viva voce simulator. - Ian M. Church; Lyndon Drake; Mark Harris (CoRR, 2025)