Search    Browse

The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Searching for phrase back-jumping (changed automatically) with no syntactic query expansion in all metadata.

Publication years (Num. hits)
1999 (1) 2001 (1) 2003 (1) 2006 (1) 2007 (1)
Publication types (Num. hits)
inproceedings(5)
Venues (Conferences, Journals, ...)
Asian Test Symposium(1) CAV(1) CP(1) ICCAD(1) TIME(1)
Authors
Ad J. van de Goor(1) Armando Tacchella(1) Enrico Giunchiglia(1) Fady Copty(1) Ganapathy Parthasarathy(1) Gila Kamhi(1) Hans van der Linden(1) Hong Qian(1) Kwang-Ting Cheng(1) Limor Fix(1) M. H. Konijnenburg(1) Madhu K. Iyer(1) Moshe Y. Vardi(1) Ranan Fraer(1) Rina Dechter(1) Vibhav Gogate(1) More (+10 of total 18)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 2 occurrences of 2 keywords
Results
Found 5 publication records. Showing 5 according to the selection in the facets
Hits ?▲ Authors Title Venue Year Link Author keywords
50M. H. Konijnenburg, Hans van der Linden, Ad J. van de Goor Fault (In)Dependent Cost Estimates and Conflict-Directed Backtracking to Guide Sequential Circuit Test Generation. Search on Bibsonomy Asian Test Symposium The full citation details ... 1999 DBLP  DOI  BibTeX  RDF sequential circuit TPG, back-jumping, conflict-directed backtrack, three-state (tri-state) circuit TPG, ATPG, cost estimates
15Yuechang Liu, Hong Qian, Yunfei Jiang Graph-DTP: Graph-Based Algorithm for Solving Disjunctive Temporal Problems. Search on Bibsonomy TIME The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
15Vibhav Gogate, Rina Dechter A New Algorithm for Sampling CSP Solutions Uniformly at Random. Search on Bibsonomy CP The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
15Madhu K. Iyer, Ganapathy Parthasarathy, Kwang-Ting Cheng SATORI - A Fast Sequential SAT Engine for Circuits. Search on Bibsonomy ICCAD The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
15Fady Copty, Limor Fix, Ranan Fraer, Enrico Giunchiglia, Gila Kamhi, Armando Tacchella, Moshe Y. Vardi Benefits of Bounded Model Checking at an Industrial Setting. Search on Bibsonomy CAV The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #5 of 5 (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