Browse by Person (creator, editor, contributor, etc.)
Number of items: 1.
Conference or workshop item
Brauer, Jorg and King, Andy and Kriener, Jael
Existential Quantification as Incremental SAT.
In: Twenty Third International Conference on Computer Aided Verification.
(The full text of this publication is not available from this repository)