Skip to content
Vinony

Armin Biere

No biography available.

Works (5)

Cover of Handbook of Satisfiability Frontiers in Artificial Intelligence and Applications
Handbook of Satisfiability Frontiers in Artificial Intelligence and Applications
Cover of Computer Aided Verification
Computer Aided Verification
Cover of Theory and applications of satisfiability testing -- SAT 2006
Theory and applications of satisfiability testing -- SAT 2006
Cover of Hardware and Software: Verification and Testing
Hardware and Software: Verification and Testing
Cover of Digitaltechnik - eine praxisnahe Einfu hrung
Digitaltechnik - eine praxisnahe Einfu hrung