The SCEAS System
Navigation Menu

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]
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002