XCSP3-core: A Format for Representing Constraint Satisfaction/Optimization Problems.
Frédéric BoussemartChristophe LecoutreGilles AudemardCédric PiettePublished in: CoRR (2020)
Keyphrases
- constraint satisfaction
- optimization problems
- russian doll search
- constraint satisfaction problems
- relaxation labeling
- evolutionary algorithm
- constraint propagation
- phase transition
- heuristic search
- constraint relaxation
- metaheuristic
- probabilistic reasoning
- soft constraints
- constraint programming
- objective function
- arc consistency
- cost function
- constrained problems
- product configuration
- learning algorithm
- constraint networks
- sat solvers
- benchmark problems
- combinatorial problems
- optimization methods
- constraint problems
- constraint optimization
- multi objective
- neural network