Syntax-Guided Quantifier Instantiation

Aina Niemetz, Mathias Preiner, Andrew Reynolds, Clark Barrett, Cesare Tinelli

This site provides our paper Syntax-Guided Quantifier Instantiation and related material at TACAS 2021.

All materials to reproduce the experimental evaluation in our paper can be found below.

Downloads

• Paper at TACAS 2021
• README for the artifact
• Artifact [Zenodo] extended for camera-ready after submission to the artifact evaluation at TACAS 2021