Search    Browse

The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Searching for satisfiabilty with no syntactic query expansion in all metadata.

Publication years (Num. hits)
1996-2010 (6)
Publication types (Num. hits)
article(3) inproceedings(3)
Venues (Conferences, Journals, ...)
ACM Trans. Design Autom. Elect...(2) ACM Trans. Database Syst.(1) CSCWD(1) ICCSA (4)(1) IEEE International Workshop on...(1)
Authors
Kanupriya Gulati(2) Sunil P. Khatri(2) Abhijit Jas(1) Daniel Singer(1) Francine Herrmann(1) Jinian Bian(1) Juan Frausto Solís(1) Limin Zhu(1) Marco Antonio Cruz-Chavez(1) Mark Allen Weiss(1) Michaël Krajecki(1) Nikhil Saluja(1) Qiang Zhou 0001(1) Sha Guo(1) Srinivas Patil(1) Suganth Paul(1) More (+10 of total 19)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 9 occurrences of 9 keywords
Results
Found 6 publication records. Showing 6 according to the selection in the facets
Hits ?▲ Authors Title Venue Year Link Author keywords
46Limin Zhu, Qiang Zhou 0001, Yici Cai, Jinian Bian An architecture-aware routing optimization via satisfiabilty for hierarchical FPGA. Search on Bibsonomy CSCWD The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
31Kanupriya Gulati, Suganth Paul, Sunil P. Khatri, Srinivas Patil, Abhijit Jas FPGA-based hardware acceleration for Boolean satisfiability. Search on Bibsonomy ACM Trans. Design Autom. Electr. Syst. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Boolean satisfiabilty (SAT), boolean constant propagation (BCP), conflict induced clauses, non-chronological backtrack, FPGA
31Nikhil Saluja, Kanupriya Gulati, Sunil P. Khatri SAT-based ATPG using multilevel compatible don't-cares. Search on Bibsonomy ACM Trans. Design Autom. Electr. Syst. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Boolean satisfiabilty (SAT), testing, Automatic test pattern generation (ATPG), don't cares
31Sha Guo, Wei Sun 0002, Mark Allen Weiss Solving Satisfiability and Implication Problems in Database Systems. Search on Bibsonomy ACM Trans. Database Syst. The full citation details ... 1996 DBLP  DOI  BibTeX  RDF satisfiabilty, reasoning, equivalence, deduction, implication
30Juan Frausto Solís, Marco Antonio Cruz-Chavez A Reduced Codification for the Logical Representation of Job Shop Scheduling Problems. Search on Bibsonomy ICCSA (4) The full citation details ... 2004 DBLP  DOI  BibTeX  RDF the propositional satisfiability problem (SAT), Latest starting time, SAT formula, Job shop scheduling
30Zineb Habbas, Francine Herrmann, Daniel Singer, Michaël Krajecki A Methodological Approach to Implement CSP on FPGA. Search on Bibsonomy IEEE International Workshop on Rapid System Prototyping The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #6 of 6 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by L3S.
Previously maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license