Search    Browse

The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Searching for phrase circuit cofactoring (changed automatically) with no syntactic query expansion in all metadata.

Publication years (Num. hits)
2004 (1) 2005 (2)
Publication types (Num. hits)
inproceedings(3)
Venues (Conferences, Journals, ...)
CAV(1) DAC(1) ICCAD(1)
Authors
Aarti Gupta(3) Malay K. Ganai(2) Pranav Ashar(2) C. Norris Ip(1) Daijue Tang(1) Sharad Malik(1)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 5 occurrences of 5 keywords
Results
Found 3 publication records. Showing 3 according to the selection in the facets
Hits ?▲ Authors Title Venue Year Link Author keywords
1Malay K. Ganai, Aarti Gupta, Pranav Ashar Beyond safety: customized SAT-based model checking. Search on Bibsonomy DAC The full citation details ... 2005 DBLP  DOI  BibTeX  RDF circuit cofactoring, unbounded model checking, formal verification, SAT, liveness, bounded model checking, LTL
1Daijue Tang, Sharad Malik, Aarti Gupta, C. Norris Ip Symmetry Reduction in SAT-Based Model Checking. Search on Bibsonomy CAV The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Malay K. Ganai, Aarti Gupta, Pranav Ashar Efficient SAT-based unbounded symbolic model checking using circuit cofactoring. Search on Bibsonomy ICCAD The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #3 of 3 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.