Journals in DBLP

J. UCS
2004, volume: 10, number: 12

1. Miroslav N. Velev
   Tuning SAT for Formal Verification and Testing. [Citation Graph (0, 0)][DBLP]
   J. UCS, 2004, v:10, n:12, pp:1559-1561 [Journal]
   
2. Fadi A. Aloul, Igor L. Markov, Karem A. Sakallah
   MINCE: A Static Global Variable-Ordering Heuristic for SAT Search and BDD Manipulation. [Citation Graph (0, 0)][DBLP]
   J. UCS, 2004, v:10, n:12, pp:1562-1596 [Journal]
   
3. Rajat Arora, Michael S. Hsiao
   Using Global Structural Relationships of Signals to Accelerate SAT-based Combinational Equivalence Checking. [Citation Graph (0, 0)][DBLP]
   J. UCS, 2004, v:10, n:12, pp:1597-1628 [Journal]
   
4. Feng Lu, Li-C. Wang, Kwang-Ting (Tim) Cheng, John Moondanos, Ziyad Hanna
   A Signal Correlation Guided Circuit-SAT Solver. [Citation Graph (0, 0)][DBLP]
   J. UCS, 2004, v:10, n:12, pp:1629-1654 [Journal]
   
5. John V. Franco, Michal Kouril, John S. Schlipf, Sean Weaver, Michael Dransfield, W. Mark Vanfleet
   Function-Complete Lookahead in Support of Efficient SAT Search Heuristics. [Citation Graph (0, 0)][DBLP]
   J. UCS, 2004, v:10, n:12, pp:1655-1695 [Journal]
   
6. Gianpiero Cabodi, Sergio Nocco, Stefano Quer
   Improving SAT-based Bounded Model Checking by Means of BDD-based Approximate Traversals. [Citation Graph (0, 0)][DBLP]
   J. UCS, 2004, v:10, n:12, pp:1696-1730 [Journal]