Constraint methods for modal satisfiability

Authors
Publication date 2004
Journal Lecture Notes in Computer Science
Volume | Issue number 3010
Pages (from-to) 66-86
Organisations
  • Faculty of Science (FNWI) - Informatics Institute (IVI)
  • Interfacultary Research - Institute for Logic, Language and Computation (ILLC)
Document type Article
Note Proceedings title: Recent Advances in Constraints, 2003 Publisher: Springer Editors: K.R. Apt, F. Fages, F. Rossi, P. Szeredi, J. Vancza
Permalink to this page
Back