“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.)