Go home now Header Background Image
Submission Procedure
share: |
Follow us
Volume 10

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