Constraint Checking for XML-Based Language Specification by SAT Solver.
Hao XiaoZheng WangGeguang PuBin GuPublished in: SSIRI (Companion) (2010)
Keyphrases
- sat solvers
- constraint checking
- integrity constraints
- sat solving
- deductive databases
- orders of magnitude
- sat problem
- boolean satisfiability
- distributed databases
- sat instances
- search space
- search strategies
- constraint satisfaction
- natural language
- programming language
- optimal solution
- high level
- federated databases
- distributed environment
- boolean formula
- max sat
- sat encodings
- unsatisfiable cores