Improving temporal logic tableaux using integer constraints
- 23 November 2005
- book chapter
- Published by Springer Nature
- p. 535-539
- https://doi.org/10.1007/bfb0014007
Abstract
No abstract availableKeywords
This publication has 7 references indexed in Scilit:
- Mixed integer programming methods for computing nonmonotonic deductive databasesJournal of the ACM, 1994
- Automated Deduction in Multiple-valued LogicsPublished by Oxford University Press (OUP) ,1994
- Verification of Switch-level designs with many-valued logicPublished by Springer Nature ,1993
- Real-Time Logics: Complexity and Expressiveness,Published by Defense Technical Information Center (DTIC) ,1990
- Sequential circuit verification using symbolic model checkingPublished by Association for Computing Machinery (ACM) ,1990
- Temporal logic can be more expressiveInformation and Control, 1983
- Proof Methods for Modal and Intuitionistic LogicsPublished by Springer Nature ,1983