Solving Integer and Disjunctive Programs by Lift and Project.

Sebastián Ceria Gábor Pataki

Published in: IPCO (1998)

Keyphrases

answer sets
case study
artificial intelligence
combinatorial optimization
neural network
real world
open source
optimization problems
quadratic programming
decision variables
automatic programming
national science foundation