In this issue

Papers published: 6

Total pages: 174

Unique views: 3744

Total views: 4659

open access

Go to issue

« Previous
Issue 10(12)
 Next »
Issue No
from 0 to 31
Number No
JUCS - Journal of Universal Computer Science 10(12) (2004)
Sort by:
Select:   All   None
Download:
Citation
XML
PDF
Export format

Download
Tuning ...
Editorial
Tuning SAT for Formal Verification and Testing
Miroslav Velev
10.3217/jucs-010-12
 28-12-2004
 Unique: 466 | Total: 555  | Access Period:
 1559-1561
HTML
XML
PDF
MINCE: ...
Research Article
MINCE: A Static Global Variable-Ordering Heuristic for SAT Search and BDD Manipulation
Fadi Aloul, Igor Markov, Karem Sakallah
10.3217/jucs-010-12-1562
 28-12-2004
 Unique: 693 | Total: 912  | Access Period:
 1562-1596
HTML
XML
PDF
Using ...
Research Article
Using Global Structural Relationships of Signals to Accelerate SAT-based Combinational Equivalence Checking
Rajat Arora, Michael Hsiao
10.3217/jucs-010-12-1597
 28-12-2004
 Unique: 619 | Total: 739  | Access Period:
 1597-1628
HTML
XML
PDF
A ...
Research Article
A Signal Correlation Guided Circuit-SAT Solver
Feng Lu, Li-C. Wang, John Moondanos, Ziyad Hanna
10.3217/jucs-010-12-1629
 28-12-2004
 Unique: 677 | Total: 841  | Access Period:
 1629-1654
HTML
XML
PDF
Function-Complete ...
Research Article
Function-Complete Lookahead in Support of Efficient SAT Search Heuristics
John Franco, Michal Kouril, John Schlipf, Sean Weaver, Michael Dransfield, W. Vanfleet
10.3217/jucs-010-12-1655
 28-12-2004
 Unique: 675 | Total: 843  | Access Period:
 1655-1692
HTML
XML
PDF
Improving ...
Research Article
Improving SAT-based Bounded Model Checking by Means of BDD-based Approximate Traversals
Gianpiero Cabodi, Sergio Nocco, Stefano Quer
10.3217/jucs-010-12-1693
 28-12-2004
 Unique: 614 | Total: 769  | Access Period:
 1693-1730
HTML
XML
PDF

This website uses cookies in order to improve your web experience. Read our Cookies Policy

OK