OtiumSessione
Sessione
Non abbiamo ancora una biografia di Armin Biere.
Pubblicato in Inglese · Tedesco
Tools and Algorithms for the Construction and Analysis of Systems
2020
Theory and applications of satisfiability testing -- SAT 2006
2006
Hardware and Software: Verification and Testing
2013
Digitaltechnik - eine praxisnahe Einfu hrung
2008
Computer Aided Verification
2014
Handbook of Satisfiability
2009
Handbook of Satisfiability Frontiers in Artificial Intelligence and Applications
2009