Andrei Voronkov
Showing 12 publications
A FOOLish Encoding of the Next State Relations of Imperative Programs
Coming to Terms with Quantified Reasoning
Instantiation and pretending to be an SMT solver with VAMPIRE
Coming to terms with quantified reasoning
Testing a saturation-based theorem prover: Experiences and challenges
A Clausal Normal Form Translation for FOOL
Finding Finite Models in Multi-sorted First-Order Logic
The Inverse Method for Many-Valued Logics
Bound Propagation for Arithmetic Reasoning in Vampire
Download publication list
You can download this list to your computer.
Filter and download publication list
As logged in user (Chalmers employee) you find more export functions in MyResearch.
You may also import these directly to Zotero or Mendeley by using a browser plugin. These are found herer:
Zotero Connector
Mendeley Web Importer
The service SwePub offers export of contents from Research in other formats, such as Harvard and Oxford in .RIS, BibTex and RefWorks format.