Constraint programming for modelling and solving modal satisfiability

Authors
Publication date 2003
Host editors
  • Francesca Rossi
Book title Proceedings of Principles and Practice of Constraint Programming (CP), volume 2833 of LNCS
Pages (from-to) 795-800
Publisher Springer-Verlag
Organisations
  • Interfacultary Research - Institute for Logic, Language and Computation (ILLC)
Document type Conference contribution
Permalink to this page
Back