The following publications are possibly variants of this publication:
- Conflict driven learning in a quantified Boolean Satisfiability solverLintao Zhang, Sharad Malik. iccad 2002: 442-449 [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]
- 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]
- Boolean Satisfiability Solvers: Techniques and ExtensionsGeorg Weissenbacher, Sharad Malik. In Tobias Nipkow, Orna Grumberg, Benedikt Hauptmann, editors, Software Safety and Security - Tools for Analysis and Verification. Volume 33 of NATO Science for Peace and Security Series - D: Information and Communication Security, pages 205-253, IOS Press, 2012. [doi]
- Conflict-Driven Clause Learning SAT SolversJoão P. Marques Silva, Inês Lynce, Sharad Malik. In Armin Biere, Marijn Heule, Hans van Maaren, Toby Walsh, editors, Handbook of Satisfiability. Volume 185 of Frontiers in Artificial Intelligence and Applications, pages 131-153, IOS Press, 2009. [doi]
- Conflict-Driven Clause Learning SAT SolversJoão Marques-Silva 0001, Inês Lynce, Sharad Malik. In Armin Biere, Marijn Heule, Hans van Maaren, Toby Walsh, editors, Handbook of Satisfiability - Second Edition. Volume 336 of Frontiers in Artificial Intelligence and Applications, pages 133-182, IOS Press, 2021. [doi]