Skip to main content
Kent Academic Repository

Browse by Journal

Group by: Creator's name | Item Type | Date | No Grouping
Jump to: B
Number of items: 1.

B

Brauer, Jorg, King, Andy, Kriener, Jael (2011) Existential Quantification as Incremental SAT. In: Gopalakrishnan, Ganesh and Qadeer, Shaz, eds. Twenty Third International Conference on Computer Aided Verification. Lecture Notes in Computer Science . pp. 182-196. Springer-Verlag (doi:10.1007/978-3-642-22110-1_17) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:30743)

This list was generated on Sun Nov 26 23:25:38 2023 GMT.