Search results for "ZBDDs"

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