Decision Procedures – an Algorithmic Point of View
Main Authors: | Kroening, D, Strichman, O |
---|---|
Format: | Book |
Published: |
Springer
2008
|
Similar Items
-
Decision procedures : an algorithmic point of view /
by: 483434 Kroening, Daniel, et al.
Published: (c200) -
A framework for Satisfiability Modulo Theories.
by: Kroening, D, et al.
Published: (2009) -
Efficient Computation of Recurrence Diameters
by: Kroening, D, et al.
Published: (2003) -
An Interpolating Decision Procedure for Transitive Relations with Uninterpreted Functions
by: Kroening, D, et al.
Published: (2010) -
An interpolating decision procedure for transitive relations with uninterpreted functions
by: Kroening, D, et al.
Published: (2009)