In this issue

Papers published: 6

Total pages: 174

Unique views: 2881

Total views: 3445

open access

Go to issue

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

Download
Editorial
Tuning SAT for Formal Verification and Testing
Miroslav Velev
10.3217/jucs-010-12
 28-12-2004
 Unique: 363 | Total: 418  | Access Period:
 1559-1561
HTML
XML
PDF
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: 518 | Total: 652  | Access Period:
 1562-1596
HTML
XML
PDF
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: 485 | Total: 543  | Access Period:
 1597-1628
HTML
XML
PDF
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: 546 | Total: 653  | Access Period:
 1629-1654
HTML
XML
PDF
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: 500 | Total: 601  | Access Period:
 1655-1692
HTML
XML
PDF
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: 469 | Total: 578  | Access Period:
 1693-1730
HTML
XML
PDF

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

OK