New Insights into Encodings from MaxCSP into Partial MaxSAT.
Josep ArgelichAlba CabiscolInês LynceFelip ManyàPublished in: ISMVL (2010)
Keyphrases
- boolean satisfiability
- combinatorial optimization
- data mining
- upper bound
- databases
- sat solvers
- artificial intelligence
- computational complexity
- search space
- maximum satisfiability
- sat encodings
- probabilistic planning
- sat instances
- partial information
- sat problem
- non binary
- image processing
- decision making
- information retrieval
- real world