MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for authors named "Sergio Nocco" – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

3 documents found, showing 1 through 3.

ATOM

Improving SAT-based Bounded Model Checking by Means of BDD-based Approximate Traversals
by Gianpiero Cabodi, Sergio Nocco, Stefano Quer — 2003 — in Design, Automation and Test in Europe, 2003
….cabodi@(email omitted);) Sergio Nocco (Politecnico di Torino, Dip. di Automatica e Informatica, Turin, Italy sergio.nocco…
Cited by 20 (1 self) – Add To MetaCart

Circuit based quantification: Back to state set manipulation with unbounded model checking
by Gianpiero Cabodi, Marco Crivellari, Sergio Nocco, Stefano Querý — 2005 — In
… Gianpiero Cabodi Marco Crivellari Sergio Nocco Stefano QuerÝ Politecnico di Torino Dip. di Automatica e…
Cited by 3 (1 self) – Add To MetaCart

Improving SAT-based Bounded Model Checking by Means of BDD-based
by Approximate Traversals Gianpiero, Gianpiero Cabodi, Sergio Nocco, Stefano Quer, Politecnico Di Torino — 2003 — in Design, Automation and Test in Europe, 2003
… Cabodi Sergio Nocco Stefano Quer Abstract Binary Decision Diagrams (BDDs) have been widely used…
Add To MetaCart

Showing 1 through 3.

ATOM

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB