Towards Learning Quantifier Instantiation in SMT.

Mikols Janota, Jelle Piepenbrock, Bartosz Piotrowski

Browse the full SAT paper archive.