Towards Bit-Width-Independent Proofs in SMT Solvers
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter

Aina Niemetz, Mathias Preiner, Andrew Reynolds, Yoni Zohar, Clark W. Barrett, Cesare Tinelli
Towards Bit-Width-Independent Proofs in SMT Solvers
CADE, 2019.

CADE 2019
Full names Links ISxN
	author        = "Aina Niemetz and Mathias Preiner and Andrew Reynolds and Yoni Zohar and Clark W. Barrett and Cesare Tinelli",
	booktitle     = "{Proceddings of the 27th International Conference on Automated Deduction}",
	doi           = "10.1007/978-3-030-29436-6_22",
	isbn          = "['978-3-030-29435-9', '978-3-030-29436-6']",
	pages         = "366--384",
	publisher     = "{Springer}",
	title         = "{Towards Bit-Width-Independent Proofs in SMT Solvers}",
	year          = 2019,


Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.