Open AccessCEGAR-Tableaux: Improved Modal Satisfiability via Modal Clause-learning and SAT
Author(s) -
Rajeev Goré
Publication year - 2022
Publication title -
electronic proceedings in theoretical computer science
Language(s) - English
Resource type - Journals
ISSN - 2075-2180
DOI - 10.4204/eptcs.358.0.04
Subject(s) - modal , satisfiability , normal modal logic , boolean satisfiability problem , modal logic , accessibility relation , computer science , algorithm , mathematics , artificial intelligence , chemistry , polymer chemistry