The following publications are possibly variants of this publication:
- Boolean Satisfiability: Solvers and ExtensionsGeorg Weissenbacher, Pramod Subramanyan, Sharad Malik. In Orna Grumberg, Helmut Seidl, Maximilian Irlbeck, editors, Software Systems Safety. Volume 36 of NATO Science for Peace and Security Series, D: Information and Communication Security, pages 223-278, IOS Press, 2014. [doi]
- The Quest for Efficient Boolean Satisfiability SolversLintao Zhang, Sharad Malik. cade 2002: 295-313 [doi]
- The Quest for Efficient Boolean Satisfiability SolversLintao Zhang, Sharad Malik. cav 2002: 17-36 [doi]
- Conflict driven learning in a quantified Boolean Satisfiability solverLintao Zhang, Sharad Malik. iccad 2002: 442-449 [doi]
- Efficient Conflict Driven Learning in Boolean Satisfiability SolverLintao Zhang, Conor F. Madigan, Matthew W. Moskewicz, Sharad Malik. iccad 2001: 279-285 [doi]