Search results for "ZBDD"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
94	Saravanan Padmanaban, Maria K. Michael, Spyros Tragoudas	Exact path delay fault coverage with fundamental ZBDD operations.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	2003	DBLP DOI BibTeX RDF
60	Mario Méndez-Lojo, Ondrej Lhoták, Manuel V. Hermenegildo	Efficient Set Sharing Using ZBDDs.	LCPC	2008	DBLP DOI BibTeX RDF
60	Shin-ichi Minato	A Theoretical Study on Variable Ordering of Zero-Suppressed BDDs for Representing Frequent Itemsets.	Discovery Science	2007	DBLP DOI BibTeX RDF
60	Kameshwar Chandrasekar, Michael S. Hsiao	State Set Management for SAT-based Unbounded Model Checking.	ICCD	2005	DBLP DOI BibTeX RDF
60	M. Moiz Khan, Spyros Tragoudas, Magdy S. Abadir, Jiang Brandon Liu	Identification of Gates for Covering all Critical Paths.	MTV	2004	DBLP DOI BibTeX RDF
51	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
51	Olivier Coudert, C.-J. Richard Shi	Exact Dichotomy-based Constrained Encodi.	ICCD	1996	DBLP DOI BibTeX RDF	Sequential logic synthesis, constrained state encoding, clique partition, set covering, dichotomy, ZBDD
40	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
40	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
40	Ryutaro Kurai, Shin-ichi Minato, Thomas Zeugmann	N-Gram Analysis Based on Zero-Suppressed BDDs.	JSAI	2006	DBLP DOI BibTeX RDF
40	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
34	Rui Peng, Fengying Li, Liang Chang 0003, Yu Meng	基于符号零压缩二叉决策图的装配可行性判定方法 (Symbolic ZBDD-based Judgment Method for Assembly Feasibility).	计算机科学	2016	DBLP DOI BibTeX RDF
34	V. Matuzas, S. Contini	Dynamic labelling of BDD and ZBDD for efficient non-coherent fault tree analysis.	Reliab. Eng. Syst. Saf.	2015	DBLP DOI BibTeX RDF
34	Stelios N. Neophytou, Maria K. Michael	Optimal variable ordering in ZBDD-based path representations for directed acyclic graphs.	ICCD	2014	DBLP DOI BibTeX RDF
34	Fengying Li, Tianlong Gu, Guoyong Cai, Liang Chang 0003	Symbolic ZBDD Representations for Mechanical Assembly Sequences.	Intelligent Information Processing	2012	DBLP DOI BibTeX RDF
34	Fatih Kocan, Mehmet Hadi Gunes, Atakan Kurt	On-Line Pruning of ZBDD for Path Delay Fault Coverage Calculation.	IEICE Trans. Inf. Syst.	2005	DBLP DOI BibTeX RDF
34	Fatih Kocan, Mehmet Hadi Gunes	On the ZBDD-based nonenumerative path delay fault coverage calculation.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	2005	DBLP DOI BibTeX RDF
34	Kameshwar Chandrasekar, Michael S. Hsiao	ATPG-based preimage computation: efficient search space pruning with ZBDD.	HLDVT	2003	DBLP DOI BibTeX RDF
34	Fadi A. Aloul, Maher N. Mneimneh, Karem A. Sakallah	ZBDD-Based Backtrack Search SAT Solver.	IWLS	2002	DBLP BibTeX RDF
34	Philippe Chatalic, Laurent Simon	ZRES: The Old Davis-Putman Procedure Meets ZBDD.	CADE	2000	DBLP DOI BibTeX RDF
31	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
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	Kyriakos Christou, Maria K. Michael, Spyros Tragoudas	Implicit Critical PDF Test Generation with Maximal Test Efficiency.	DFT	2006	DBLP DOI BibTeX RDF
20	Shin-ichi Minato	Efficient Database Analysis Using VSOP Calculator Based on Zero-Suppressed BDDs.	JSAI Workshops	2005	DBLP DOI BibTeX RDF
20	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
20	Kameshwar Chandrasekar, Michael S. Hsiao	Q-PREZ: QBF Evaluation Using Partition, Resolution and Elimination with ZBDDs.	VLSI Design	2005	DBLP DOI BibTeX RDF
20	Saravanan Padmanaban, Spyros Tragoudas	Exact Grading of Multiple Path Delay Faults.	DATE	2002	DBLP DOI BibTeX RDF
20	Olivier Coudert	Solving graph optimization problems with ZBDDs.	ED&TC	1997	DBLP DOI BibTeX RDF