Home Advanced Search

Advanced Search - Page 1

Handbook of Satisfiability
  • PDF
  • English
  • Year: 2009
  • Author: A. Biere, A. Biere, M. Heule, H. Van Maaren, T. Walsh
Handbook of Satisfiability
  • PDF
  • English
  • Year: 2009
  • Author: A. Biere, A. Biere, M. Heule, H. Van Maaren, T. Walsh (eds)
Handbook of Satisfiability
  • PDF
  • English
  • Year: 2021
  • Author: A. Biere, M. Heule, H. Van Maaren, T. Walsh
Handbook of satisfiability
  • PDF
  • English
  • Year: 2021
  • Author: Armin Biere
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.)
Digitaltechnik — Eine praxisnahe Einführung
  • PDF
  • German
  • Year: 2008
  • Author: Prof. Dr. Armin Biere, Prof. Dr. Daniel Kroening, Georg Weissenbacher, Christoph M. Wintersteiger (auth.)