Constraint programming for modelling and solving modal satisfiability
| Authors |
|
| Publication date |
2003
|
| Book title |
Proceedings International Conference on Principles and Practice of Constraint Programming (CP 2003)
|
| Organisations |
-
Faculty of Science (FNWI) - Informatics Institute (IVI)
|
| Abstract |
We explore to what extent and how efficiently constraint programmingcan be used in the context of automated reasoning for modal logics. We encode modal satisfiability problems as constraint satisfactionproblems with non-boolean domains, together with suitable constraints.Experiments show that the approach is very promising.
|
| Document type |
Chapter
|
|
Permalink to this page
|
Back
