In this issue

Papers published: 6

Total pages: 172

Unique views: 5375

Total views: 6636

open access

Go to issue

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

Download
Tuning SAT for Formal Verification and ...
Editorial
Tuning SAT for Formal Verification and Testing
Miroslav Velev
10.3217/jucs-010-12
 28-12-2004
 Unique: 673 | Total: 813
 1559-1561
HTML
XML
PDF
MINCE: A Static Global Variable-Ordering ...
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: 957 | Total: 1249
 1562-1596
HTML
XML
PDF
Using Global Structural Relationships ...
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: 968 | Total: 1150
 1597-1628
HTML
XML
PDF
A Signal Correlation Guided Circuit-SAT ...
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: 951 | Total: 1165
 1629-1654
HTML
XML
PDF
Function-Complete Lookahead in Support ...
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: 948 | Total: 1176
 1655-1692
HTML
XML
PDF
Improving SAT-based Bounded Model Checking ...
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: 878 | Total: 1083
 1693-1730
HTML
XML
PDF

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

OK