Generating Hard Instances for MaxSAT.
Ramón BéjarAlba CabiscolFelip ManyàJordi PlanesPublished in: ISMVL (2009)
Keyphrases
- maximum satisfiability
- upper bound
- randomly generated
- lower and upper bounds
- random instances
- training instances
- combinatorial optimization
- sat solvers
- stochastic local search
- generation process
- case study
- real time
- temporal logic
- orders of magnitude
- constraint satisfaction problems
- automatically generating
- quadratic assignment problem
- data mining
- real world