OptCE: A Counterexample-Guided Inductive Optimization Solver

Higo F. Albuquerque, Rodrigo F. Araújo, Iury V. Bessa, Lucas C. Cordeiro, Eddie B. De Lima Filho

Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

159 Downloads (Pure)

Fingerprint

Dive into the research topics of 'OptCE: A Counterexample-Guided Inductive Optimization Solver'. Together they form a unique fingerprint.

Computer Science