Search

You searched for: Auteur Biere, Armin Remove constraint Auteur: Biere, Armin
1 - 2 of 2
Number of results to display per page

Search Results

1. Theory and Applications of Satisfiability Testing - SAT 2006
thumbnail
Full text!
Author:
Biere, Armin; Gomes, Carla P.; Kanade, Takeo; Kittler, Josef
Publisher:
Springer Berlin / Heidelberg 2006
Format:
e-book
2. Computer Aided Verification
thumbnail
Full text!
Author:
Armin Biere, Roderick Bloem; Bloem, Roderick; Kittler, Josef
Publisher:
Springer International Publishing 2014
Format:
e-book