A Max-SAT Solver with Lazy Data Structures.
Teresa AlsinetFelip ManyàJordi PlanesPublished in: IBERAMIA (2004)
Keyphrases
- data structure
- max sat solver
- max sat
- inference rules
- efficient data structures
- branch and bound
- data types
- lazy learning
- lower bound
- multidimensional data
- search algorithm
- averaged one dependence estimators
- sat solvers
- neural network
- suffix tree
- inverted index
- satisfiability problem
- linear programming
- computational complexity