Home Advanced Search

Advanced Search - Page 1

Theory and Applications of Satisfiability Testing - SAT 2006: 9th International Conference, Seattle, WA, USA, August 12-15, 2006. Proceedings
  • PDF
  • English
  • Year: 2006
  • Author: Hossein M. Sheini, Karem A. Sakallah (auth.), Armin Biere, Carla P. Gomes (eds.)
Theory and Applications of Satisfiability Testing - SAT 2006: 9th International Conference, Seattle, WA, USA, August 12-15, 2006, Proceedings
  • PDF
  • English
  • Year: 2006
  • Author: Armin Biere, Carla P. Gomes
Theory and Applications of Satisfiability Testing - SAT 2011: 14th International Conference, SAT 2011, Ann Arbor, MI, USA, June 19-22, 2011. Proceedings
  • PDF
  • English
  • Year: 2011
  • Author: Ryan Williams (auth.), Karem A. Sakallah, Laurent Simon (eds.)
Theory and Applications of Satisfiability Testing – SAT 2007: 10th International Conference, Lisbon, Portugal, May 28-31, 2007. Proceedings
  • PDF
  • English
  • Year: 2007
  • Author: Martin Davis (auth.), João Marques-Silva, Karem A. Sakallah (eds.)
Theory and Application of Satisfiability Testing: 14th International Conference, SAT 2011, Ann Arbor, MI, USA, June 19-22, 2011, Proceedings
  • PDF
  • English
  • Year: 2011
  • Author: Karem A. Sakallah, Laurent Simon
Logic Programming and Nonmonotonic Reasoning: 10th International Conference, LPNMR 2009, Potsdam, Germany, September 14-18, 2009. Proceedings
  • PDF
  • English
  • Year: 2009
  • Author: Armin Biere (auth.), Esra Erdem, Fangzhen Lin, Torsten Schaub (eds.)
Logic Programming and Nonmonotonic Reasoning: 10th International Conference, LPNMR 2009, Potsdam, Germany, September 14-18, 2009. Proceedings
  • PDF
  • English
  • Year: 2009
  • Author: Armin Biere (auth.), Esra Erdem, Fangzhen Lin, Torsten Schaub (eds.)
Hardware and Software: Verification and Testing: 8th International Haifa Verification Conference, HVC 2012, Haifa, Israel, November 6-8, 2012. Revised Selected Papers
  • PDF
  • English
  • Year: 2013
  • Author: David Harel (auth.), Armin Biere, Amir Nahir, Tanja Vos (eds.)
Hardware and Software: Verification and Testing: 7th International Haifa Verification Conference, HVC 2011, Haifa, Israel, December 6-8, 2011, Revised Selected Papers
  • PDF
  • English
  • Year: 2012
  • Author: Armin Biere (auth.), Kerstin Eder, João Lourenço, Onn Shehory (eds.)
Handbook of satisfiability
  • PDF
  • English
  • Year: 2021
  • Author: Armin Biere
search