%0 Conference Paper %1 conf/sbmf/AlbuquerqueABCF17 %A Albuquerque, Higo F. %A Araujo, Rodrigo F. %A de Bessa, Iury Valente %A Cordeiro, Lucas C. %A de Lima Filho, Eddie Batista %B SBMF %D 2017 %E da Costa Cavalheiro, Simone André %E Fiadeiro, José Luiz %I Springer %K dblp %P 125-141 %T OptCE: A Counterexample-Guided Inductive Optimization Solver. %U http://dblp.uni-trier.de/db/conf/sbmf/sbmf2017.html#AlbuquerqueABCF17 %V 10623 %@ 978-3-319-70848-5

@inproceedings{conf/sbmf/AlbuquerqueABCF17, added-at = {2022-09-16T00:00:00.000+0200}, author = {Albuquerque, Higo F. and Araujo, Rodrigo F. and de Bessa, Iury Valente and Cordeiro, Lucas C. and de Lima Filho, Eddie Batista}, biburl = {https://www.bibsonomy.org/bibtex/2de19d5d1c885e7bbcaae2a2f665acf06/dblp}, booktitle = {SBMF}, crossref = {conf/sbmf/2017}, editor = {da Costa Cavalheiro, Simone André and Fiadeiro, José Luiz}, ee = {https://doi.org/10.1007/978-3-319-70848-5_9}, interhash = {93ff3f714e17f655e3d99f826ef204e0}, intrahash = {de19d5d1c885e7bbcaae2a2f665acf06}, isbn = {978-3-319-70848-5}, keywords = {dblp}, pages = {125-141}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-10T21:51:38.000+0200}, title = {OptCE: A Counterexample-Guided Inductive Optimization Solver.}, url = {http://dblp.uni-trier.de/db/conf/sbmf/sbmf2017.html#AlbuquerqueABCF17}, volume = 10623, year = 2017 }