Search results for "BDDs"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
3	Leomar S. da Rosa Jr., Felipe S. Marques, Tiago Muller Gil Cardoso, Renato P. Ribas, Sachin S. Sapatnekar, André Inácio Reis	Fast disjoint transistor networks from BDDs.	SBCCI	2006	DBLP DOI BibTeX RDF	PTL, unateness, BDDs, switch theory, CMOS gates
3	Will Marrero	Using BDDs to Decide CTL.	TACAS	2005	DBLP DOI BibTeX RDF	validity, satisfiability, BDDs, CTL, tableau
3	Gianpiero Cabodi, Paolo Camurati, Stefano Quer	Can BDDs compete with SAT solvers on bounded model checking?	DAC	2002	DBLP DOI BibTeX RDF	model checking, formal verification, SAT, BDDs
3	Edmund M. Clarke, Somesh Jha, Yuan Lu, Dong Wang	Abstract BDDs: A Technque for Using Abstraction in Model Checking.	CHARME	1999	DBLP DOI BibTeX RDF	Abstract BDDs, Model checking and abstraction
3	Aarti Gupta, Pranav Ashar	Integrating a Boolean Satisfiability Checker and BDDs for Combinational Equivalence Checking.	VLSI Design	1998	DBLP DOI BibTeX RDF	ATPG techniques, circuit similarity, formal verification, combinational circuits, Boolean satisfiability (SAT), combinational equivalence checking, Binary Decision Diagrams (BDDs)
3	Jawahar Jain, James R. Bitner, Magdy S. Abadir, Jacob A. Abraham, Donald S. Fussell	Indexed BDDs: Algorithmic Advances in Techniques to Represent and Verify Boolean Functions.	IEEE Trans. Computers	1997	DBLP DOI BibTeX RDF	free BDDs, IBDDs, verification, Boolean functions, satisfiability, BDDs, graph representations, OBDDs, canonical representations
3	Silvano Gai, Maurizio Rebaudengo, Matteo Sonza Reorda	An improved data parallel algorithm for Boolean function manipulation using BDDs.	PDP	1995	DBLP DOI BibTeX RDF	Boolean function manipulation, parallel algorithms, parallel algorithm, Boolean functions, Binary Decision Diagrams, BDDs, SIMD architectures, CPU time, data parallel algorithm
3	Ingo Wegener	Comments on "A Characterization of Binary Decision Diagrams".	IEEE Trans. Computers	1994	DBLP DOI BibTeX RDF	EXOR gates, NEXOR gates, free BDDs, ordered BDDs, repeated BDDs, computational complexity, complexity, Boolean functions, binary decision diagrams, decision tables, combinatorial circuits
2	Taisuke Sato	Statistical Learning of Probabilistic BDDs.	SAGA	2009	DBLP DOI BibTeX RDF
2	Markus Behle	On threshold BDDs and the optimal variable ordering problem.	J. Comb. Optim.	2008	DBLP DOI BibTeX RDF	Threshold BDD, 0/1 integer programming, Optimal variable ordering, Variable ordering spectrum, Binary decision diagram, Knapsack
2	Sathiamoorthy Subbarayan	Efficient Reasoning for Nogoods in Constraint Solvers with BDDs.	PADL	2008	DBLP DOI BibTeX RDF
2	Hasan Amjad	LCF-Style Propositional Simplification with BDDs and SAT Solvers.	TPHOLs	2008	DBLP DOI BibTeX RDF
2	Stefan Edelkamp, Peter Kissmann	Limits and Possibilities of BDDs in State Space Search.	KI	2008	DBLP DOI BibTeX RDF
2	Tiago Muller Gil Cardoso, Leomar S. da Rosa Jr., Felipe de Souza Marques, Renato P. Ribas, André Inácio Reis	Speed-Up of ASICs Derived from FPGAs by Transistor Network Synthesis Including Reordering.	ISQED	2008	DBLP DOI BibTeX RDF	Transistor networks, logic synthesis, BDDs, Logical effort
2	Roberto Cavada, Alessandro Cimatti, Anders Franzén, Krishnamani Kalyanasundaram, Marco Roveri, R. K. Shyamasundar	Computing Predicate Abstractions by Integrating BDDs and SMT Solvers.	FMCAD	2007	DBLP DOI BibTeX RDF
2	Raimund Ubar, Sergei Devadze, Jaan Raik, Artur Jutman	Ultra Fast Parallel Fault Analysis on Structurally Synthesized BDDs.	European Test Symposium	2007	DBLP DOI BibTeX RDF
2	Markus Behle	On Threshold BDDs and the Optimal Variable Ordering Problem.	COCOA	2007	DBLP DOI BibTeX RDF
2	Shin-ichi Minato	A Theoretical Study on Variable Ordering of Zero-Suppressed BDDs for Representing Frequent Itemsets.	Discovery Science	2007	DBLP DOI BibTeX RDF
2	Graham D. Price, Manish Vachharajani	A Case for Compressing Traces with BDDs.	Computer Architecture Letters	2006	DBLP DOI BibTeX RDF
2	Görschwin Fey, Rolf Drechsler	Minimizing the number of paths in BDDs: Theory and algorithm.	IEEE Trans. on CAD of Integrated Circuits and Systems	2006	DBLP DOI BibTeX RDF
2	Constantinos Bartzis, Tevfik Bultan	Efficient BDDs for bounded arithmetic constraints.	STTT	2006	DBLP DOI BibTeX RDF	Model checking, BDD, Integer arithmetic, SMV
2	Carsten Sinz, Armin Biere	Extended Resolution Proofs for Conjoining BDDs.	CSR	2006	DBLP DOI BibTeX RDF
2	Ulrich Kühne, Nicole Drechsler	Finding Compact BDDs Using Genetic Programming.	EvoWorkshops	2006	DBLP DOI BibTeX RDF
2	Ryutaro Kurai, Shin-ichi Minato, Thomas Zeugmann	N-Gram Analysis Based on Zero-Suppressed BDDs.	JSAI	2006	DBLP DOI BibTeX RDF
2	Rüdiger Ebendt, Rolf Drechsler	On the sensitivity of BDDs with respect to path-related objective functions.	ISCAS	2006	DBLP DOI BibTeX RDF
2	Shin-ichi Minato	Symmetric Item Set Mining Based on Zero-Suppressed BDDs.	Discovery Science	2006	DBLP DOI BibTeX RDF
2	Shin-ichi Minato, Hiroki Arimura	Efficient Method of Combinatorial Item Set Analysis Based on Zero-Suppressed BDDs.	WIRI	2005	DBLP DOI BibTeX RDF
2	Bernd Becker, Markus Behle, Friedrich Eisenbrand, Ralf Wimmer	BDDs in a Branch and Cut Framework.	WEA	2005	DBLP DOI BibTeX RDF
2	Shin-ichi Minato	Efficient Database Analysis Using VSOP Calculator Based on Zero-Suppressed BDDs.	JSAI Workshops	2005	DBLP DOI BibTeX RDF
2	Sathiamoorthy Subbarayan	Integrating CSP Decomposition Techniques and BDDs for Compiling Configuration Problems.	CPAIOR	2005	DBLP DOI BibTeX RDF
2	Shan-Tai Chen, Shun-Shii Lin, Li-Te Huang, Chun-Jen Wei	Towards the Exact Minimization of BDDs-An Elitism-Based Distributed Evolutionary Algorithm.	J. Heuristics	2004	DBLP DOI BibTeX RDF	DEBEA, EBEA, paralleled algorithm, evolutionary algorithm, Binary Decision Diagram, heuristic algorithm
2	In-Ho Moon, Carl Pixley	Non-miter-based Combinational Equivalence Checking by Comparing BDDs with Different Variable Orders.	FMCAD	2004	DBLP DOI BibTeX RDF
2	Rüdiger Ebendt, Wolfgang Günther, Rolf Drechsler	Minimization of the expected path length in BDDs based on local changes.	ASP-DAC	2004	DBLP DOI BibTeX RDF
2	Valentin Gherman, Hans-Joachim Wunderlich, Harald P. E. Vranken, Friedrich Hapke, Michael Wittke, Michael Garbers	Efficient Pattern Mapping for Deterministic Logic BIST.	ITC	2004	DBLP DOI BibTeX RDF	BDDs, Logic BIST
2	Alain Griffault, Aymeric Vincent	The Mec 5 Model-Checker.	CAV	2004	DBLP DOI BibTeX RDF	AltaRica, model-checking, BDDs, calculus
2	Marc Berndl, Ondrej Lhoták, Feng Qian, Laurie J. Hendren, Navindra Umanee	Points-to analysis using BDDs.	PLDI	2003	DBLP DOI BibTeX RDF	binary decision diagrams, points-to analysis
2	Renato E. B. Poli, Felipe Ribeiro Schneider, Renato P. Ribas, André Inácio Reis	Unified Theory to Build Cell-Level Transistor Networks from BDDs.	SBCCI	2003	DBLP DOI BibTeX RDF
2	Constantinos Bartzis, Tevfik Bultan	Construction of Efficient BDDs for Bounded Arithmetic Constraints.	TACAS	2003	DBLP DOI BibTeX RDF
2	Robert F. Damiano, James H. Kukula	Checking satisfiability of a conjunction of BDDs.	DAC	2003	DBLP DOI BibTeX RDF	satisfiability, BDD
2	Aarti Gupta, Malay K. Ganai, Chao Wang, Zijiang Yang, Pranav Ashar	Learning from BDDs in SAT-based bounded model checking.	DAC	2003	DBLP DOI BibTeX RDF	BDD learning, learning, SAT, BDDs, bounded model checking, boolean satisfiability, SAT solvers, property checking
2	Zhihong Zeng, Qiushuang Zhang, Ian G. Harris, Maciej J. Ciesielski	Fast Computation of Data Correlation Using BDDs.	DATE	2003	DBLP DOI BibTeX RDF
2	Aarti Gupta, Malay K. Ganai, Chao Wang, Zijiang Yang, Pranav Ashar	Abstraction and BDDs Complement SAT-Based BMC in DiVer.	CAV	2003	DBLP DOI BibTeX RDF
2	Fadi A. Aloul, Igor L. Markov, Karem A. Sakallah	FORCE: a fast and easy-to-implement variable-ordering heuristic.	ACM Great Lakes Symposium on VLSI	2003	DBLP DOI BibTeX RDF	partitioning, placement, SAT, BDDs, hypergraph, CNF, pre-processing, backtrack search, variable order
2	Sherief Reda, Rolf Drechsler, Alex Orailoglu	On the Relation between SAT and BDDs for Equivalence Checking. (PDF / PS)	ISQED	2002	DBLP DOI BibTeX RDF
2	Pascal Fontaine, E. Pascal Gribomont	Using BDDs with Combinations of Theories.	LPAR	2002	DBLP DOI BibTeX RDF
2	Valeria Bertacco, Kunle Olukotun	Efficient state representation for symbolic simulation.	DAC	2002	DBLP DOI BibTeX RDF	formal verification, BDDs, symbolic simulation
2	Ilia Polian, Irith Pomeranz, Bernd Becker	Exact Computation of Maximally Dominating Faults and Its Application to n-Detection Tests.	Asian Test Symposium	2002	DBLP DOI BibTeX RDF	n-detection, BDDs, formal techniques, Fault dominance
2	Shin-ichi Minato	Zero-suppressed BDDs and their applications.	STTT	2001	DBLP DOI BibTeX RDF	Boolean function, BDD, Combinatorial problem, VLSI CAD, ZBDD
2	Jaco Geldenhuys, Antti Valmari	Techniques for Smaller Intermediary BDDs.	CONCUR	2001	DBLP DOI BibTeX RDF
2	Henrik Brosenne, Matthias Homeister, Stephan Waack	Graph-Driven Free Parity BDDs: Algorithms and Lower Bounds.	MFCS	2001	DBLP DOI BibTeX RDF
2	Wolfgang Günther, Andreas Hett, Bernd Becker	Application of linearly transformed BDDs in sequential verification.	ASP-DAC	2001	DBLP DOI BibTeX RDF
2	Wolfgang Günther, Rolf Drechsler	Implementation of Read- k-times BDDs on Top of Standard BDD Packages.	VLSI Design	2001	DBLP DOI BibTeX RDF
2	Gianpiero Cabodi	Meta-BDDs: A Decomposed Representation for Layered Symbolic Manipulation of Boolean Functions.	CAV	2001	DBLP DOI BibTeX RDF
2	Dirk Beyer	Improvements in BDD-Based Reachability Analysis of Timed Automata.	FME	2001	DBLP DOI BibTeX RDF	Real-time systems, Formal verification, Timed automata, BDDs, Discretization
2	Martin Sauerhoff	An Improved Hierarchy Result for Partitioned BDDs.	Theory Comput. Syst.	2000	DBLP DOI BibTeX RDF
2	Kumar Neeraj Verma, Jean Goubault-Larrecq, Sanjiva Prasad, S. Arun-Kumar	Reflecting BDDs in Coq.	ASIAN	2000	DBLP DOI BibTeX RDF
2	Michael J. C. Gordon	Reachability Programming in HOL98 Using BDDs.	TPHOLs	2000	DBLP DOI BibTeX RDF
2	Fabrizio Ferrandi, Donatella Sciuto, Alessandro Fin, Franco Fummi	An Application of Genetic Algorithms and BDDs to Functional Testing. (PDF / PS)	ICCD	2000	DBLP DOI BibTeX RDF
2	Armin Biere, Alessandro Cimatti, Edmund M. Clarke, Yunshan Zhu	Symbolic Model Checking without BDDs.	TACAS	1999	DBLP DOI BibTeX RDF
2	Malay K. Ganai, Adnan Aziz, Andreas Kuehlmann	Enhancing Simulation with BDDs and ATPG.	DAC	1999	DBLP DOI BibTeX RDF	simulation, formal verification, coverage, ATPG, BDDs
2	Wolfgang Günther, Rolf Drechsler	Minimization of Free BDDs.	ASP-DAC	1999	DBLP DOI BibTeX RDF
2	Justin E. Harlow III, Franc Brglez	Mirror, mirror, on the wall...is the new release any different at all? [BDDs].	ISCAS	1999	DBLP DOI BibTeX RDF
2	Wolfgang Günther, Rolf Drechsler	Minimization of BDDs using linear transformations based on evolutionary techniques.	ISCAS	1999	DBLP DOI BibTeX RDF
2	Jer-Sheng Chen, P. Banerjee	Parallel construction algorithms for BDDs.	ISCAS	1999	DBLP DOI BibTeX RDF
2	Armin Biere, Edmund M. Clarke, Richard Raimi, Yunshan Zhu	Verifiying Safety Properties of a Power PC Microprocessor Using Symbolic Model Checking without BDDs.	CAV	1999	DBLP DOI BibTeX RDF
2	Wolfgang Günther, Rolf Drechsler	Efficient manipulation algorithms for linearly transformed BDDs.	ICCAD	1999	DBLP BibTeX RDF
2	Jun Yuan, Kurt Shultz, Carl Pixley, Hillel Miller, Adnan Aziz	Modeling design constraints and biasing in simulation using BDDs.	ICCAD	1999	DBLP BibTeX RDF
2	Rolf Drechsler, Nicole Drechsler, Wolfgang Günther	Fast Exact Minimization of BDDs.	DAC	1998	DBLP DOI BibTeX RDF	reconstruction, emulation, visibility, functional simulation
2	Shankar G. Govindaraju, David L. Dill, Alan J. Hu, Mark Horowitz	Approximate Reachability with BDDs Using Overlapping Projections.	DAC	1998	DBLP DOI BibTeX RDF	transceiver, spread spectrum communication, RF CMOS, digital radio, ISM frequency band
2	Evguenii I. Goldberg, Yuji Kukimoto, Robert K. Brayton	Combinational Verification based on High-Level Functional Specifications.	DATE	1998	DBLP DOI BibTeX RDF	Combinational verification, Domain transformations, BDDs
2	Enric Pastor, Jordi Cortadella	Efficient Encoding Schemes for Symbolic Analysis of Petri Nets.	DATE	1998	DBLP DOI BibTeX RDF	Petri nets, BDDs, symbolic analysis
2	Srilatha Manne, Dirk Grunwald, Fabio Somenzi	Remembrance of Things Past: Locality and Memory in BDDs.	DAC	1997	DBLP DOI BibTeX RDF
2	Andreas Hett, Rolf Drechsler, Bernd Becker	Fast and efficient construction of BDDs by reordering based synthesis.	ED&TC	1997	DBLP DOI BibTeX RDF
2	Michele Favalli, Marcello Dalpasso	Symbolic Handling of Bridging Fault Effects.	J. Electronic Testing	1997	DBLP DOI BibTeX RDF	fault simulation, bridging faults, binary decision diagrams (BDDs)
2	Zhuxing Zhao, Zhongcheng Li, Yinghua Min	Waveform Polynomial Manipulation Using Bdds.	Asian Test Symposium	1996	DBLP DOI BibTeX RDF	waveform polynomial manipulation, design verification and test, middle size circuits, complexity, data structure, high level synthesis, timing, logic design, combinational circuit, logic synthesis, binary decision diagram, directed acyclic graph, digital circuit, Boolean process
2	Mats Per Erik Heimdahl, Barbara J. Czerny	Using PVS to analyze hierarchical state-based requirements for completeness and consistency. (PDF / PS)	HASE	1996	DBLP DOI BibTeX RDF	hierarchical state based requirements specifications, input sequence, analysis procedures, large real world requirements specification, hierarchical state based language, Requirements State Machine Language, Prototype Verification System, theorem proving component, spurious error reports, formal specifications, robustness, consistency, program verification, completeness, Binary Decision Diagrams, BDDs, PVS, interactive environment, formal proofs, RSML
2	Anuchit Anuchitanukul, Zohar Manna, Tomás E. Uribe	Differential BDDs.	Computer Science Today	1995	DBLP DOI BibTeX RDF
2	Jawahar Jain, Dinos Moundanos, James R. Bitner, Jacob A. Abraham, Donald S. Fussell, Don E. Ross	Efficient variable ordering and partial representation algorithm.	VLSI Design	1995	DBLP DOI BibTeX RDF	partial representation algorithm, ordered partial decision diagrams, information-theoretic criteria, CAD problems, VLSI, data structures, data structures, entropy, Boolean functions, Boolean function, logic CAD, BDDs, variable ordering, truth table
2	Jean Goubault	Proving with BDDs and Control of Information.	CADE	1994	DBLP DOI BibTeX RDF
2	Jean Goubault, Joachim Posegga	BDDs and Automated Deduction.	ISMIS	1994	DBLP DOI BibTeX RDF
2	Alan J. Hu, David L. Dill	Efficient Verification with BDDs using Implicitly Conjoined Invariants.	CAV	1993	DBLP DOI BibTeX RDF
2	Alan J. Hu, David L. Dill, Andreas J. Drexler, C. Han Yang	Higher-Level Specification and Verification with BDDs.	CAV	1992	DBLP DOI BibTeX RDF
2	Reinhard Enders, Thomas Filkorn, Dirk Taubner	Generating BDDs for Symbolic Model Checking in CCS.	CAV	1991	DBLP DOI BibTeX RDF
1	David Bergman, André A. Ciré, Willem Jan van Hoeve, John N. Hooker	Variable Ordering for the Application of BDDs to the Maximum Independent Set Problem.	CPAIOR	2012	DBLP DOI BibTeX RDF
1	Saurabh Chaudhury, Anirban Dutta	Algorithmic Optimization of BDDs and Performance Evaluation for Multi-level Logic Circuits with Area and Power Trade-offs.	Circuits and Systems	2011	DBLP DOI BibTeX RDF
1	Masakazu Ishihata, Taisuke Sato, Shin-ichi Minato	Compiling Bayesian Networks for Parameter Learning Based on Shared BDDs.	Australasian Conference on Artificial Intelligence	2011	DBLP DOI BibTeX RDF
1	Ignasi Abío, Robert Nieuwenhuis, Albert Oliveras, Enric Rodríguez-Carbonell	BDDs for Pseudo-Boolean Constraints - Revisited.	SAT	2011	DBLP DOI BibTeX RDF
1	Shuhei Denzumi, Hiroki Arimura, Shin-ichi Minato	Implementation of sequence BDDs in Erlang.	Erlang Workshop	2011	DBLP DOI BibTeX RDF
1	Stefan Edelkamp, Peter Kissmann	On the Complexity of BDDs for State Space Search: A Case Study in Connect Four.	AAAI	2011	DBLP BibTeX RDF
1	Masakazu Ishihata, Yoshitaka Kameya, Taisuke Sato, Shin-ichi Minato	An EM Algorithm on BDDs with Order Encoding for Logic-based Probabilistic Models.	Journal of Machine Learning Research - Proceedings Track	2010	DBLP BibTeX RDF
1	Václav Dvorák, Petr Mikusek	Design of Arbiters and Allocators Based on Multi-Terminal BDDs.	J. UCS	2010	DBLP BibTeX RDF
1	Kai Lampka, Markus Siegle, Jörn Ossowski, Christel Baier	Partially-shared zero-suppressed multi-terminal BDDs: concept, algorithms and applications.	Formal Methods in System Design	2010	DBLP DOI BibTeX RDF
1	Elisabeth Jöbstl, Martin Weiglhofer, Bernhard K. Aichernig, Franz Wotawa	When BDDs Fail: Conformance Testing with Symbolic Execution and SMT Solving.	ICST	2010	DBLP DOI BibTeX RDF	symbolic input-output conformance, symbolic test case generation, model-based testing, conformance testing, symbolic execution
1	Raimund Ubar, Dmitri Mironov, Jaan Raik, Artur Jutman	Structural fault collapsing by superposition of BDDs for test generation in digital circuits.	ISQED	2010	DBLP DOI BibTeX RDF
1	Dmitri Mironov, Raimund Ubar, Sergei Devadze, Jaan Raik, Artur Jutman	Structurally Synthesized Multiple Input BDDs for Speeding Up Logic-Level Simulation of Digital Circuits.	DSD	2010	DBLP DOI BibTeX RDF
1	Octav Brudaru, Rüdiger Ebendt, Iulian Furdu	Optimizing Variable Ordering of BDDs with Double Hybridized Embryonic Genetic Algorithm.	SYNASC	2010	DBLP DOI BibTeX RDF
1	Daniel Tille, Stephan Eggersglüß, Rene Krenz-Baath, Jürgen Schlöffel, Rolf Drechsler	Improving CNF representations in SAT-based ATPG for industrial circuits using BDDs.	European Test Symposium	2010	DBLP DOI BibTeX RDF
1	Theofrastos Mantadelis, Ricardo Rocha, Angelika Kimmig, Gerda Janssens	Preprocessing Boolean Formulae for BDDs in a Probabilistic Context.	JELIA	2010	DBLP DOI BibTeX RDF
1	Fadil Alturki, Ridha Khédri	A Tool for Formal Feature Modeling Based on BDDs and Product Families Algebra.	WER	2010	DBLP BibTeX RDF
1	Alessandro Cimatti, Anders Franzén, Alberto Griggio, Krishnamani Kalyanasundaram, Marco Roveri	Tighter integration of BDDs and SMT for Predicate Abstraction.	DATE	2010	DBLP BibTeX RDF