Browse by Person (creator, editor, contributor, etc.)
Number of items: 5.
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.