%0 Journal Article %1 journals/scp/AraujoABCF18 %A Araujo, Rodrigo F. %A Albuquerque, Higo F. %A de Bessa, Iury Valente %A Cordeiro, Lucas C. %A Filho, João Edgar Chaves %D 2018 %J Sci. Comput. Program. %K dblp %P 3-23 %T Counterexample guided inductive optimization based on satisfiability modulo theories. %U http://dblp.uni-trier.de/db/journals/scp/scp165.html#AraujoABCF18 %V 165

@article{journals/scp/AraujoABCF18, added-at = {2022-09-16T00:00:00.000+0200}, author = {Araujo, Rodrigo F. and Albuquerque, Higo F. and de Bessa, Iury Valente and Cordeiro, Lucas C. and Filho, João Edgar Chaves}, biburl = {https://www.bibsonomy.org/bibtex/2b499de547512619beccfb42d2bfcf946/dblp}, ee = {https://doi.org/10.1016/j.scico.2017.10.004}, interhash = {14639d6b52ecdb8652a3beb429d6e9c8}, intrahash = {b499de547512619beccfb42d2bfcf946}, journal = {Sci. Comput. Program.}, keywords = {dblp}, pages = {3-23}, timestamp = {2024-04-09T05:29:21.000+0200}, title = {Counterexample guided inductive optimization based on satisfiability modulo theories.}, url = {http://dblp.uni-trier.de/db/journals/scp/scp165.html#AraujoABCF18}, volume = 165, year = 2018 }