Content of Issue 12
DOI: 10.3217/jucs-010-12
|
Tuning SAT for Formal Verification and Testing |
M. N. Velev |
1559 |
MINCE: A Static Global Variable-Ordering Heuristic for SAT Search and BDD Manipulation |
F. A. Aloul, I. L. Markov, K. A. Sakallah |
1562 |
Using Global Structural Relationships of Signals to Accelerate SAT-based Combinational Equivalence Checking |
R. Arora, M.S. Hsiao |
1597 |
A Signal Correlation Guided Circuit-SAT Solver |
F. Lu, L.-C. Wang, J. Moondanos, Z. Hanna |
1629 |
Function-Complete Lookahead in Support of Efficient SAT Search Heuristics |
J. Franco, M. Kouril, J. Schlipf, S. Weaver, M. Dransfield, W.M. Vanfleet |
1655 |
Improving SAT-based Bounded Model Checking by Means of BDD-based Approximate Traversals |
G. Cabodi, S. Nocco, S. Quer |
1693 |