Login / Signup
Discriminating Instance Generation from Abstract Specifications: A Case Study with CP and MIP.
Özgür Akgün
Nguyen Dang
Ian Miguel
András Z. Salamon
Patrick Spracklen
Christopher Stone
Published in:
CPAIOR (2020)
Keyphrases
</>
high level
state machines
constraint programming
case study
test bed
mixed integer programming
specification language
information retrieval
database systems
low level
software engineering
higher level
feasible solution