Toward a Generalization and a Reformulation of Goods in SAT - Preliminary Report.
Djamal HabetPhilippe JégouPublished in: Abstraction, Reformulation, and Approximation (2010)
Keyphrases
- sat solvers
- satisfiability problem
- sat problem
- electronic commerce
- search algorithm
- pseudo boolean constraints
- propositional satisfiability
- electronic marketplaces
- orders of magnitude
- search problems
- constraint satisfaction problems
- search space
- computational complexity
- auction mechanisms
- propositional formulas
- boolean satisfiability
- variable ordering
- sat solving
- genetic algorithm