“Counterexample Guided Inductive Synthesis Modulo Theories” by Alessandro Abate, Haniel Barbosa, Clark Barrett, Cristina David, Pascal Kesseli, Daniel Kroening, Elizabeth Polgreen, Andrew Reynolds, and Cesare Tinelli, 2021. under review.

BibTeX entry:

@article{ABB+20,
   author = {Alessandro Abate and Haniel Barbosa and Clark Barrett and
	Cristina David and Pascal Kesseli and Daniel Kroening and
	Elizabeth Polgreen and Andrew Reynolds and Cesare Tinelli},
   title = {Counterexample Guided Inductive Synthesis Modulo Theories},
   year = {2021},
   note = {under review}
}

(This webpage was created with bibtex2web.)