Register
|
Login
Full Text
Author
Title
Submit manuscript
About
Articles
Issues
Author Guidelines
Special Issues
Call for Papers
Imprint
Editorial Team
Contacts
Author
Gianpiero Cabodi
Politecnico di Torino, Dip. di Automatica e Informatica
Turin, Italy
1 article by this author
Sort by:
Publication date newest
Publication date oldest
Total views
Unique views
Best match
Citations count
Highly accessed (last month)
Highly accessed (last 3 months)
Highly accessed (last 6 months)
Highly accessed (last year)
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: 510 | Total: 624
| Access Period:
1693-1730
HTML
XML
PDF
This website uses cookies in order to improve your web experience.
Read our Cookies Policy
OK