Author:
Hossain Akash,Laroussinie François
Subject
Computational Theory and Mathematics,Computer Science Applications,Information Systems,Theoretical Computer Science
Reference29 articles.
1. Relation-changing modal operators;Areces;Log. J. IGPL,2015
2. Modal logics of sabotage revisited;Aucher;J. Log. Comput.,2018
3. CaDiCaL at the SAT Race 2019;Biere,2019
4. Bounded model checking;Biere;Adv. Comput.,2003
5. Symbolic model checking without bdds;Biere,1999