CoLoSS: The Coalgebraic Logic Satisfiability Solver.
Georgel CalinRobert S. R. MyersDirk PattinsonLutz SchröderPublished in: Electron. Notes Theor. Comput. Sci. (2009)
Keyphrases
- quantified boolean formulas
- computational properties
- logical implication
- modal logic
- satisfiability problem
- boolean formula
- logic programming
- propositional logic
- computational complexity
- sat solving
- classical logic
- np complete
- automated reasoning
- predicate logic
- phase transition
- functional dependencies
- bounded model checking
- description logic alc
- reasoning tasks
- multi valued
- decision procedures
- proof theory
- optimal solution
- automata theoretic