Open AccessBetter SMT Proofs for Easier Reconstruction
Author(s) -
Haniel Barbosa,
Jasmin Christian Blanchette,
Mathias Fleury,
Pascal Fontaine,
Hans-Jörg Schurr
Publication year - 2019
Publication title -
hal (le centre pour la communication scientifique directe)
Language(s) - English
Resource type - Conference proceedings
Subject(s) - mathematical proof , proof assistant , satisfiability modulo theories , automated theorem proving , computer science , gas meter prover , formal proof , automated proof checking , proof complexity , programming language , theoretical computer science , solver , usable , formal verification , calculus (dental) , mathematics , medicine , dentistry , world wide web , geometry
Accelerating Research
Robert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom
Address
John Eccles HouseRobert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom