|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 39 occurrences of 33 keywords
|
|
|
Results
Found 25 publication records. Showing 25 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
154 | Ondrej Lhoták, Stephen Curial, José Nelson Amaral |
Using ZBDDs in Points-to Analysis. |
LCPC |
2007 |
DBLP DOI BibTeX RDF |
|
81 | Esben Rune Hansen |
Encoding CSPs with Zero-Suppressed Decision Diagrams. |
ICTAI (1) |
2008 |
DBLP DOI BibTeX RDF |
|
81 | Shin-ichi Minato |
A Theoretical Study on Variable Ordering of Zero-Suppressed BDDs for Representing Frequent Itemsets. |
Discovery Science |
2007 |
DBLP DOI BibTeX RDF |
|
74 | Mario Méndez-Lojo, Ondrej Lhoták, Manuel V. Hermenegildo |
Efficient Set Sharing Using ZBDDs. |
LCPC |
2008 |
DBLP DOI BibTeX RDF |
|
74 | Shin-ichi Minato, Takeaki Uno, Hiroki Arimura |
LCM over ZBDDs: Fast Generation of Very Large-Scale Frequent Itemsets Using a Compact Graph-Based Representation. |
PAKDD |
2008 |
DBLP DOI BibTeX RDF |
|
61 | Ryutaro Kurai, Shin-ichi Minato, Thomas Zeugmann |
N-Gram Analysis Based on Zero-Suppressed BDDs. |
JSAI |
2006 |
DBLP DOI BibTeX RDF |
|
61 | Shin-ichi Minato, Hiroki Arimura |
Efficient Method of Combinatorial Item Set Analysis Based on Zero-Suppressed BDDs. |
WIRI |
2005 |
DBLP DOI BibTeX RDF |
|
61 | Shin-ichi Minato |
Zero-suppressed BDDs and their applications. |
Int. J. Softw. Tools Technol. Transf. |
2001 |
DBLP DOI BibTeX RDF |
Boolean function, BDD, Combinatorial problem, VLSI CAD, ZBDD |
54 | Maria K. Michael, Kyriakos Christou, Spyros Tragoudas |
Towards finding path delay fault tests with high test efficiency using ZBDDs. |
ICCD |
2005 |
DBLP DOI BibTeX RDF |
|
54 | Kameshwar Chandrasekar, Michael S. Hsiao |
Q-PREZ: QBF Evaluation Using Partition, Resolution and Elimination with ZBDDs. |
VLSI Design |
2005 |
DBLP DOI BibTeX RDF |
|
54 | Olivier Coudert |
Solving graph optimization problems with ZBDDs. |
ED&TC |
1997 |
DBLP DOI BibTeX RDF |
|
51 | Philippe Chatalic, Laurent Simon |
Multi-resolution on compressed sets of clauses. |
ICTAI |
2000 |
DBLP DOI BibTeX RDF |
compressed sets, compressed clauses, propositional clauses, compression power, structured instances, specialized operator, clause sets, polynomial size data structures, ZREs system, Davis-Putnam procedure, hard problems, SAT provers, zero-suppressed binary decision diagrams, computational complexity, data structures, data structures, data compression, theorem proving, computability, encodings, directed graphs, binary decision diagrams, set theory, multi-resolution, cut eliminations, ZBDDs |
33 | Qianjin Wei, Tianlong Gu, Fengying Li, Guoyong Cai |
The Representation of Indiscernibility Relation Using ZBDDs. |
Intelligent Information Processing |
2012 |
DBLP DOI BibTeX RDF |
|
33 | Ashok Kumar Palaniswamy, Spyros Tragoudas |
A scalable threshold logic synthesis method using ZBDDs. |
ACM Great Lakes Symposium on VLSI |
2012 |
DBLP DOI BibTeX RDF |
|
33 | Ondrej Lhoták, Stephen Curial, José Nelson Amaral |
Using XBDDs and ZBDDs in points-to analysis. |
Softw. Pract. Exp. |
2009 |
DBLP DOI BibTeX RDF |
|
33 | Kyriakos Christou, Maria K. Michael, Spyros Tragoudas |
On the Use of ZBDDs for Implicit and Compact Critical Path Delay Fault Test Generation. |
J. Electron. Test. |
2008 |
DBLP DOI BibTeX RDF |
Zero-suppressed binary decision diagram, Irredundant sum-of-products, Critical path delay faults, Compact test generation, Delay testing, Path delay faults |
33 | Saravanan Padmanaban, Spyros Tragoudas |
Using BDDs and ZBDDs for Efficient Identification of Testable Path Delay Faults. |
DATE |
2004 |
DBLP DOI BibTeX RDF |
|
31 | Kameshwar Chandrasekar, Michael S. Hsiao |
Forward image computation with backtracing ATPG and incremental state-set construction. |
ACM Great Lakes Symposium on VLSI |
2005 |
DBLP DOI BibTeX RDF |
model checking, ATPG, image computation, ZBDDs |
31 | Fadi A. Aloul, Brian D. Sierawski, Karem A. Sakallah |
Satometer: how much have we searched? |
DAC |
2002 |
DBLP DOI BibTeX RDF |
conflict diagnosis, search progress, search space coverage, SAT, BDDs, CNF, backtrack search, ZBDDs |
20 | Andrei Rimsa, Luis E. Zárate, Mark A. J. Song |
Evaluation of Different BDD Libraries to Extract Concepts in FCA - Perspectives and Limitations. |
ICCS (1) |
2009 |
DBLP DOI BibTeX RDF |
Zero-Supressed Binary Decision Diagrams, Formal Concept Analysis, Binary Decision Diagrams, Formal Context, Formal Concept |
20 | Shin-ichi Minato |
Symmetric Item Set Mining Based on Zero-Suppressed BDDs. |
Discovery Science |
2006 |
DBLP DOI BibTeX RDF |
|
20 | Elsa Loekito, James Bailey 0001 |
Fast mining of high dimensional expressive contrast patterns using zero-suppressed binary decision diagrams. |
KDD |
2006 |
DBLP DOI BibTeX RDF |
contrast patterns, disjunctive emerging patterns, zero-suppressed binary decision diagrams |
20 | Shin-ichi Minato, Hiroki Arimura |
Frequent Pattern Mining and Knowledge Indexing Based on Zero-Suppressed BDDs. |
KDID |
2006 |
DBLP DOI BibTeX RDF |
|
20 | Sungroh Yoon, Christine Nardini, Luca Benini, Giovanni De Micheli |
Discovering Coherent Biclusters from Gene Expression Data Using Zero-Suppressed Binary Decision Diagrams. |
IEEE ACM Trans. Comput. Biol. Bioinform. |
2005 |
DBLP DOI BibTeX RDF |
Clustering, logic design, life and medical sciences, bioinformatics (genome or protein) databases |
20 | Ricardo Ferreira, Anne-Marie Trullemans, José C. Costa, José Monteiro 0001 |
Probabilistic Bottom-Up RTL Power Estimation. |
ISQED |
2000 |
DBLP DOI BibTeX RDF |
Register Tranfers Level, Power Estimation, Glitches, ZBDD |
Displaying result #1 - #25 of 25 (100 per page; Change: )
|
|