Search

You searched for: Auteur Strichman, Ofer Remove constraint Auteur: Strichman, Ofer
1 - 3 of 3
Number of results to display per page

Search Results

1. Decision Procedures
thumbnail
Full text!
Author:
Kroening; Strichman, Ofer
Publisher:
Springer Berlin Heidelberg 2016
Format:
e-book
2. Theory and Applications of Satisfiability Testing – SAT 2010
thumbnail
Full text!
Author:
Strichman, Ofer; Kanade, Takeo; Szeider, Stefan; Kittler, Josef
Publisher:
Springer Berlin Heidelberg 2010
Format:
e-book
3. Decision Procedures
thumbnail
Full text!
Author:
Kroening, Daniel; Brauer, W.; Hromkovič, J.; Strichman, Ofer; Bryant, R. E.; Rozenberg, G.
Publisher:
Springer Berlin Heidelberg 2008
Format:
e-book