On applying incremental satisfiability to delay fault testing
DATE '00 Proceedings of the conference on Design, automation and test in Europe
SATIRE: a new incremental satisfiability engine
Proceedings of the 38th annual Design Automation Conference
Partial Instantiation Methods for Inference in First-Order Logic
Journal of Automated Reasoning
Pruning Techniques for the SAT-Based Bounded Model Checking Problem
CHARME '01 Proceedings of the 11th IFIP WG 10.5 Advanced Research Working Conference on Correct Hardware Design and Verification Methods
On Solving Stack-Based Incremental Satisfiability Problems
ICCD '00 Proceedings of the 2000 IEEE International Conference on Computer Design: VLSI in Computers & Processors
Stochastic local search for incremental SAT
International Journal of Knowledge-based and Intelligent Engineering Systems
ACM Transactions on Design Automation of Electronic Systems (TODAES)
An Incremental Algorithm to Check Satisfiability for Bounded Model Checking
Electronic Notes in Theoretical Computer Science (ENTCS)
Exploiting shared structure in software verification conditions
HVC'07 Proceedings of the 3rd international Haifa verification conference on Hardware and software: verification and testing
MONSOON: SAT-Based ATPG for Path Delay Faults Using Multiple-Valued Logics
Journal of Electronic Testing: Theory and Applications
Range and Set Abstraction using SAT
Electronic Notes in Theoretical Computer Science (ENTCS)
Incremental compilation-to-SAT procedures
SAT'04 Proceedings of the 7th international conference on Theory and Applications of Satisfiability Testing
S2PF: speculative symbolic PathFinder
ACM SIGSOFT Software Engineering Notes
Verification of partial designs using incremental QBF solving
DATE '12 Proceedings of the Conference on Design, Automation and Test in Europe
Hi-index | 0.00 |