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: Armin Biere, Carla P. Gomes
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.)
Handbook of satisfiability
  • PDF
  • English
  • Year: 2021
  • Author: Armin Biere
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.)
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.)
Digitaltechnik — Eine praxisnahe Einführung
  • PDF
  • German
  • Year: 2008
  • Author: Prof. Dr. Armin Biere, Prof. Dr. Daniel Kroening, Georg Weissenbacher, Christoph M. Wintersteiger (auth.)
Digitaltechnik — Eine praxisnahe Einfuhrung
  • PDF
  • German
  • Year: 2008
  • Author: Prof. Dr. Armin Biere, Prof. Dr. Daniel Kroening, Georg Weissenbacher, Christoph M. Wintersteiger (auth.)
search