Open AccessA SAT-Based Approach for Solving the Modal Logic S5-Satisfiability Problem
Author(s) -
Thomas Caridroit,
Jean-Marie Lagniez,
Daniel Le Berre,
Tiago de Lima,
Valentin Montmirail
Publication year - 2017
Publication title -
proceedings of the ... aaai conference on artificial intelligence
Language(s) - English
Resource type - Journals
eISSN - 2374-3468
pISSN - 2159-5399
DOI - 10.1609/aaai.v31i1.11128
Subject(s) - satisfiability , modal , boolean satisfiability problem , modal logic , computer science , propositional variable , upper and lower bounds , propositional calculus , solver , mathematics , algorithm , bounded function , discrete mathematics , theoretical computer science , intermediate logic , mathematical optimization , description logic , mathematical analysis , chemistry , polymer chemistry