Search results for "ZDD"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
123	Kai Lampka, Markus Siegle	Analysis of Markov reward models using zero-suppressed multi-terminal BDDs.	VALUETOOLS	2006	DBLP DOI BibTeX RDF	performance evaluation tool, symbolic data structure, Markov chain, discrete event systems, numerical solution
82	Mohammad Ghasemzadeh 0001, Volker Klotz, Christoph Meinel	Embedding Memoization to the Semantic Tree Search for Deciding QBFs.	Australian Conference on Artificial Intelligence	2004	DBLP DOI BibTeX RDF	Zero-Suppressed Binary Decision Diagram (ZDD), Quantified Boolean Formula (QBF), QSAT, Satisfiability, DPLL
74	Walter Binder, Ion Constantinescu, Boi Faltings	Efficient Service Composition Using Zero-Suppressed Reduced Ordered Binary Decision Diagrams.	Web Intelligence	2006	DBLP DOI BibTeX RDF
58	Jianbin Tan, George S. Avrunin, Lori A. Clarke	Managing space for finite-state verification.	ICSE	2006	DBLP DOI BibTeX RDF	FLAVERS, ZDD, BDD, finite-state verification, LTSA
49	Walter Binder, Ion Constantinescu, Boi Faltings	Scalable Automated Service Composition Using a Compact Directory Digest.	DEXA	2006	DBLP DOI BibTeX RDF
31	Takehiro Ito, Jun Kawahara, Yu Nakahata, Takehide Soh, Akira Suzuki, Junichi Teruyama, Takahisa Toda	ZDD-Based Algorithmic Framework for Solving Shortest Reconfiguration Problems.	CPAIOR	2023	DBLP DOI BibTeX RDF
31	Xuanqi Li, Takashi Imagawa, Hiroyuki Ochi	Finding All Solutions of Multi-terminal Numberlink Problem Utilizing Top-down ZDD Construction.	ASICON	2023	DBLP DOI BibTeX RDF
31	Akira Ito, Rei Ueno, Naofumi Homma	Efficient Formal Verification of Galois-Field Arithmetic Circuits Using ZDD Representation of Boolean Polynomials.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	2022	DBLP DOI BibTeX RDF
31	Takehiro Ito, Jun Kawahara, Yu Nakahata, Takehide Soh, Akira Suzuki, Junichi Teruyama, Takahisa Toda	ZDD-Based Algorithmic Framework for Solving Shortest Reconfiguration Problems.	CoRR	2022	DBLP DOI BibTeX RDF
31	Yi Lin, Lucas M. Tabajara, Moshe Y. Vardi	ZDD Boolean Synthesis.	TACAS (1)	2022	DBLP DOI BibTeX RDF
31	Takuma Murahashi, Eiji Hato	Sequential optimization for spatiotemporal edge auctions based on complete enumeration using ZDD.	ITSC	2022	DBLP DOI BibTeX RDF
31	Masataka Akasaka, Hiroyoshi Miwa	Efficient Method for Link Protection Under Multiple Constraints Using ZDD.	AINA Workshops	2020	DBLP DOI BibTeX RDF
31	Kotaro Matsuda, Shuhei Denzumi, Kengo Nakamura 0001, Masaaki Nishino, Norihito Yasuda	Approximated ZDD Construction Considering Inclusion Relations of Models.	SEA²	2019	DBLP DOI BibTeX RDF
31	Shin-ichi Minato	Power of Enumeration - Recent Topics on BDD/ZDD-Based Techniques for Discrete Structure Manipulation.	IEICE Trans. Inf. Syst.	2017	DBLP DOI BibTeX RDF
31	Masakazu Ishihata, Shan Gao, Shin-ichi Minato	Fast Message Passing Algorithm Using ZDD-Based Local Structure Compilation.	AMBN	2017	DBLP BibTeX RDF
31	Teruhito Naka, Shinsuke Hara	Route selection algorithms utilizing the property of the ZDD for compressed sensing-based transmissive network tomography.	ANT/SEIT	2017	DBLP DOI BibTeX RDF
31	Teru Ohashi, Tatsuhiro Tsuchiya	Generating High Strength Test Suites for Combinatorial Interaction Testing Using ZDD-Based Graph Algorithms.	PRDC	2017	DBLP DOI BibTeX RDF
31	Shin-ichi Minato	Counting by ZDD.	Encyclopedia of Algorithms	2016	DBLP DOI BibTeX RDF
31	Shin-ichi Minato	Power of Enumeration - BDD/ZDD-Based Techniques for Discrete Structure Manipulation.	ISMVL	2016	DBLP DOI BibTeX RDF
31	David R. Morrison, Edward C. Sewell, Sheldon H. Jacobson	Characteristics of the maximal independent set ZDD.	J. Comb. Optim.	2014	DBLP DOI BibTeX RDF
31	Taku Terao, Naoki Kobayashi 0001	A ZDD-Based Efficient Higher-Order Model Checking Algorithm.	APLAS	2014	DBLP DOI BibTeX RDF
31	Shin-ichi Minato	Techniques of BDD/ZDD: Brief History and Recent Activity.	IEICE Trans. Inf. Syst.	2013	DBLP DOI BibTeX RDF
31	Sergey Ostanin	Testable combinational circuit design based on free ZDD-implementation of irredundant SOPof Boolean function.	EWDTS	2013	DBLP DOI BibTeX RDF
31	Sergey Ostanin, R. Muchamedov	Testable combinational circuit design based on ZDD-implementation of ISOP Boolean function.	EWDTS	2010	DBLP DOI BibTeX RDF
25	Guoqiang Pan, Moshe Y. Vardi	Symbolic Decision Procedures for QBF.	CP	2004	DBLP DOI BibTeX RDF