| Did Jesus Oppose the prosbul in the Forgiveness Petition of the Lord’s Prayer? L Drake Novum Testamentum 56 (3), 233-244, 2014 | 16 | 2014 |
| Automatically reformulating SAT-encoded CSPs L Drake, A Frisch, I Gent, T Walsh Proceedings of the RCSP’02 workshop held with CP’02, 2002 | 10 | 2002 |
| Adding resolution to the dpll procedure for boolean satisfiability L Drake, A Frisch, T Walsh Proceedings of 5th SAT, 122-129, 2002 | 10 | 2002 |
| Automatic generation of implied constraints: initial progress S Colton, L Drake, AM Frisch, I Miguel, T Walsh Proceedings of the Eighth Workshop on Automated Reasoning, 17-18, 2001 | 4 | 2001 |
| Comparing SAT preprocessing techniques L Drake, A Frisch, I Lynce, JP Marques-Silva, T Walsh | 3 | 2002 |
| Automatic generation of implied clauses for sat L Drake, A Frisch, T Walsh Principles and Practice of Constraint Programming-CP 2002: 8th International …, 2002 | 2 | 2002 |
| The interaction between inference and branching heuristics L Drake, A Frisch International Conference on Theory and Applications of Satisfiability …, 2003 | 1 | 2003 |
| Combining inference and search for the propositional satisfiability problem L Drake, A Frisch, T Walsh AAAI/IAAI, 982, 2002 | 1 | 2002 |
| Economics and writing in Jeremiah 32 L Drake University of Oxford, 2022 | | 2022 |
| Combining inference and backtracking search for the propositional satisfiability problem. LP Drake | | 2006 |
| Automatic generation of implied clauses for SAT L Drake Principles and Practice of Constraint Programming—CP 2001: 7th …, 2001 | | 2001 |
