On Solving Quantified Bit-Vectors using Invertibility Conditions

“On Solving Quantified Bit-Vectors using Invertibility Conditions” by Aina Niemetz, Mathias Preiner, Andrew Reynolds, Clark Barrett, and Cesare Tinelli. Formal Methods in System Design, 2020, Springer US. to appear.

BibTeX entry:

@article{NPR+20,
   author = {Aina Niemetz and Mathias Preiner and Andrew Reynolds and
	Clark Barrett and Cesare Tinelli},
   title = {On Solving Quantified Bit-Vectors using Invertibility Conditions},
   journal = {Formal Methods in System Design},
   publisher = {Springer US},
   year = {2020},
   note = {to appear}
}

(This webpage was created with bibtex2web.)