Search results for "BDDs"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
20	James H. Kukula, Thomas R. Shiple, Adnan Aziz	Techniques for Implicit State Enumeration of EFSMs.	FMCAD	1998	DBLP DOI BibTeX RDF
20	Kim Milvang-Jensen, Alan J. Hu	BDDNOW: A Parallel BDD Package.	FMCAD	1998	DBLP DOI BibTeX RDF
20	Bwolen Yang, Randal E. Bryant, David R. O'Hallaron, Armin Biere, Olivier Coudert, Geert Janssen, Rajeev K. Ranjan 0001, Fabio Somenzi	A Performance Study of BDD-Based Model Checking.	FMCAD	1998	DBLP DOI BibTeX RDF
20	Kavita Ravi, Kenneth L. McMillan, Thomas R. Shiple, Fabio Somenzi	Approximation and Decomposition of Binary Decision Diagrams.	DAC	1998	DBLP DOI BibTeX RDF	transceiver, spread spectrum communication, RF CMOS, digital radio, ISM frequency band
20	David Cyrluk, M. Oliver Möller, Harald Rueß	An Efficient Decision Procedure for the Theory of Fixed-Sized Bit-Vectors.	CAV	1997	DBLP DOI BibTeX RDF
20	Henrik Reif Andersen, Henrik Hulgaard	Boolean Expression Diagrams (Extended Abstract).	LICS	1997	DBLP DOI BibTeX RDF
20	Andreas Kuehlmann, Florian Krohm	Equivalence Checking Using Cuts and Heaps.	DAC	1997	DBLP DOI BibTeX RDF
20	Craig Damon, Daniel Jackson 0001, Somesh Jha	Checking Relational Specifications With Binary Decision Diagrams.	SIGSOFT FSE	1996	DBLP DOI BibTeX RDF	Z
20	Rajarshi Mukherjee, Jawahar Jain, Masahiro Fujita, Jacob A. Abraham, Donald S. Fussell	On More Efficient Combinational ATPG Using Functional Learning.	VLSI Design	1996	DBLP DOI BibTeX RDF
20	Ashvin Dsouza, Bard Bloom	Generating BDD Models for Process Algebra Terms.	CAV	1995	DBLP DOI BibTeX RDF
20	Michel R. C. M. Berkelaar, Lukas P. P. P. van Ginneken	Efficient orthonormality testing for synthesis with pass-transistor selectors.	ICCAD	1995	DBLP DOI BibTeX RDF
20	Taku Uchino, Fumihiro Minami, Takashi Mitsuhashi, Nobuyuki Goto	Switching activity analysis using Boolean approximation method.	ICCAD	1995	DBLP DOI BibTeX RDF	Signal Correlation, Power Estimation, Switching Activity, Signal Probability
20	Enric Pastor, Oriol Roig, Jordi Cortadella, Rosa M. Badia	Petri Net Analysis Using Boolean Manipulation.	Application and Theory of Petri Nets	1994	DBLP DOI BibTeX RDF
20	Shipra Panda, Fabio Somenzi, Bernard Plessier	Symmetry detection and dynamic variable ordering of decision diagrams.	ICCAD	1994	DBLP DOI BibTeX RDF
20	Thomas Filkorn	Functional Extension of Symbolic Model Checking.	CAV	1991	DBLP DOI BibTeX RDF
20	Yiping Tang, Kohei Hatano, Eiji Takimoto	Boosting-based Construction of BDDs for Linear Threshold Functions and Its Application to Verification of Neural Networks.	CoRR	2023	DBLP DOI BibTeX RDF
20	Yiping Tang, Kohei Hatano, Eiji Takimoto	Boosting-Based Construction of BDDs for Linear Threshold Functions and Its Application to Verification of Neural Networks.	DS	2023	DBLP DOI BibTeX RDF
20	Renato D. Peralta, Joao P. Nespolo, Paulo F. Butzen, Mariana Kolberg, André Inácio Reis	An Improved method to join BDDs for incompletely specified Boolean functions.	ISCAS	2023	DBLP DOI BibTeX RDF
20	Jan Kleinekathöfer, Alireza Mahzoon, Rolf Drechsler	Lower Bound Proof for the Size of BDDs representing a Shifted Addition.	CoRR	2022	DBLP DOI BibTeX RDF
20	Daniel Basgöze, Matthias Volk 0001, Joost-Pieter Katoen, Shahid Khan 0002, Mariëlle Stoelinga	BDDs Strike Back: Efficient Analysis of Static and Dynamic Fault Trees.	CoRR	2022	DBLP BibTeX RDF
20	YiNa Jeong, SuRak Son, ByungKwan Lee, SuHee Lee	The Braking-Pressure and Driving-Direction Determination System (BDDS) Using Road Roughness and Passenger Conditions of Surrounding Vehicles.	Sensors	2022	DBLP DOI BibTeX RDF
20	Eduarde D. Brandão, Joao P. Nespolo, Renato D. Peralta, Paulo F. Butzen, André Inácio Reis	Possible Reductions to Generate circuits from BDDs.	ISVLSI	2022	DBLP DOI BibTeX RDF
20	Daniel Basgöze, Matthias Volk 0001, Joost-Pieter Katoen, Shahid Khan 0002, Mariëlle Stoelinga	BDDs Strike Back - Efficient Analysis of Static and Dynamic Fault Trees.	NFM	2022	DBLP DOI BibTeX RDF
20	Jesús Aransay, Laureano Lambán, Julius Michaelis, Julio Rubio 0001	Formalizing Alexander duality through BDDs.	ISAIM	2022	DBLP BibTeX RDF
20	Rolf Drechsler	Polynomial Circuit Verification using BDDs.	CoRR	2021	DBLP BibTeX RDF
20	Faustin Ahishakiye, José-Ignacio Requeno Jarabo, Lars Michael Kristensen, Volker Stolz	MC/DC Test Cases Generation Based on BDDs.	SETTA	2021	DBLP DOI BibTeX RDF
20	Klaus Havelund, Doron Peled, Dogan Ulus	First-order temporal logic monitoring with BDDs.	Formal Methods Syst. Des.	2020	DBLP DOI BibTeX RDF
20	Lembit Jürimägi, Raimund Ubar, Maksim Jenihhin, Jaan Raik	Calculation of probabilistic testability measures for digital circuits with Structurally Synthesized BDDs.	Microprocess. Microsystems	2020	DBLP DOI BibTeX RDF
20	John Petter Indrøy, Nicolas Costes 0002, Håvard Raddum	Boolean Polynomials, BDDs and CRHS Equations - Connecting the Dots with CryptaPath.	SAC	2020	DBLP DOI BibTeX RDF
20	Klaus Havelund, Doron Peled	First-Order Timed Runtime Verification Using BDDs.	ATVA	2020	DBLP DOI BibTeX RDF
20	Klaus Havelund, Doron Peled	BDDs for Representing Data in Runtime Verification.	RV	2020	DBLP DOI BibTeX RDF
20	Raimund Ubar, Lembit Jürimägi, Adeniyi Olanrewaju Adekoya, Maksim Jenihhin	True Path Tracing in Structurally Synthesized BDDs for Testability Analysis of Digital Circuits.	DSD	2019	DBLP DOI BibTeX RDF
20	Shuhei Denzumi	New Algorithms for Manipulating Sequence BDDs.	CIAA	2019	DBLP DOI BibTeX RDF
20	Lembit Jürimägi, Raimund Ubar, Vladimir Viies	Equivalent Transformations of Structurally Synthesized BDDs and Applications.	MECO	2019	DBLP DOI BibTeX RDF
20	Mikolás Janota	On Unordered BDDs and Quantified Boolean Formulas.	EPIA (2)	2019	DBLP DOI BibTeX RDF
20	Margarita P. Castro, Chiara Piacentini, André A. Ciré, J. Christopher Beck	Relaxed BDDs: An Admissible Heuristic for Delete-Free Planning Based on a Discrete Relaxation.	ICAPS	2019	DBLP BibTeX RDF
20	Kensuke Kojima	BDDs Naturally Represent Boolean Functions, and ZDDs Naturally Represent Sets of Sets.	CoRR	2018	DBLP BibTeX RDF
20	Klaus Havelund, Doron Peled	BDDs on the Run.	ISoLA (4)	2018	DBLP DOI BibTeX RDF
20	Raimund Ubar, Lembit Jurimagi, Maksim Jenihhin, Jaan Raik, Niyi-Leigh Olugbenga, Vladimir Viies	Timing-critical path analysis with structurally synthesized BDDs.	MECO	2018	DBLP DOI BibTeX RDF
20	Jens Claßen	Symbolic Verification of Golog Programs with First-Order BDDs.	KR	2018	DBLP BibTeX RDF
20	Haowei Lin, Xiaolong Xu 0002	BDDS: An Efficient Data Screening Algorithm Based on Binary Digit.	CyberC	2018	DBLP DOI BibTeX RDF
20	Raimund Ubar, Lembit Jürimägi, Jaan Raik, Vladimir Viies	Modeling and simulation of circuits with shared structurally synthesized BDDs.	Microprocess. Microsystems	2017	DBLP DOI BibTeX RDF
20	Gabriel S. Porto, Paulo F. Butzen, Denis Teixeira Franco	Exploring BDDs to reduce test pattern set.	LATS	2017	DBLP DOI BibTeX RDF
20	Klaus Havelund, Doron Peled, Dogan Ulus	First order temporal logic monitoring with BDDs.	FMCAD	2017	DBLP DOI BibTeX RDF
20	Tom van Dijk, Robert Wille, Robert Meolic	Tagged BDDs: Combining reduction rules from different decision diagram types.	FMCAD	2017	DBLP DOI BibTeX RDF
20	Andrea Ferrara, Paolo Liberatore, Marco Schaerf	The Size of BDDs and Other Data Structures in Temporal Logics Model Checking.	IEEE Trans. Computers	2016	DBLP DOI BibTeX RDF
20	Anna Bernasconi 0001, Valentina Ciriani	Index-Resilient Zero-Suppressed BDDs: Definition and Operations.	ACM Trans. Design Autom. Electr. Syst.	2016	DBLP DOI BibTeX RDF
20	Tripti Jain, Klaus Schneider 0001	Verifying the concentration property of permutation networks by BDDs.	MEMOCODE	2016	DBLP DOI BibTeX RDF
20	Cunxi Yu, Maciej J. Ciesielski	Analyzing Imprecise Adders Using BDDs - A Case Study.	ISVLSI	2016	DBLP DOI BibTeX RDF
20	Raimund Ubar, Lembit Jurimagi, Jaan Raik	Shared Structurally Synthesized BDDs for speeding-up parallel pattern simulation in digital circuits.	NORCAS	2015	DBLP DOI BibTeX RDF
20	Stefan Edelkamp, Peter Kissmann, Álvaro Torralba	BDDs Strike Back (in AI Planning).	AAAI	2015	DBLP DOI BibTeX RDF
20	Stefano Tognazzi, Agostino Dovier, Enrico Pontelli, Tran Cao Son	Exploring the Use of BDDs in Conformant Planning.	ICTAI	2015	DBLP DOI BibTeX RDF
20	Ignasi Abío, Robert Nieuwenhuis, Albert Oliveras, Enric Rodríguez-Carbonell, Valentin Mayer-Eichberger	A New Look at BDDs for Pseudo-Boolean Constraints.	CoRR	2014	DBLP BibTeX RDF
20	Raimund Ubar, Dmitri Mironov	Lower bounds of the size of Shared Structurally Synthesized BDDs.	DDECS	2014	DBLP DOI BibTeX RDF
20	Raimund Ubar, Mihhail Marenkov, Dmitri Mironov, Vladimir Viies	Modeling sequential circuits with shared structurally synthesized BDDs.	IDT	2014	DBLP DOI BibTeX RDF
20	Dmitri Mironov, Raimund Ubar, Jaan Raik	Logic simulation and fault collapsing with shared structurally synthesized bdds.	ETS	2014	DBLP DOI BibTeX RDF
20	Rajeev Goré, Kerry Olesen, Jimmy Thomson 0001	Implementing Tableau Calculi Using BDDs: BDDTab System Description.	IJCAR	2014	DBLP DOI BibTeX RDF
20	Miquel Bofill, Miquel Palahí, Josep Suy, Mateu Villaret	Solving Intensional Weighted CSPs by Incremental Optimization with BDDs.	CP	2014	DBLP DOI BibTeX RDF
20	Demian Oliveira, Fernando A. F. Braz, Bruno Ferreira 0001, Alessandra C. Faria-Campos, Sérgio Vale Aguiar Campos	Using Binary Decision Diagrams (BDDs) for Memory Optimization in Basic Local Alignment Search Tool (BLAST).	BSB	2014	DBLP DOI BibTeX RDF
20	Stergios Stergiou, Jawahar Jain	Optimizing BDDs for time-series dataset manipulation.	DATE	2013	DBLP DOI BibTeX RDF
20	Ignasi Abío, Robert Nieuwenhuis, Albert Oliveras, Enric Rodríguez-Carbonell, Valentin Mayer-Eichberger	A New Look at BDDs for Pseudo-Boolean Constraints.	J. Artif. Intell. Res.	2012	DBLP DOI BibTeX RDF
20	Orna Grumberg	Model Checking: From BDDs to Interpolation.	Software Safety and Security	2012	DBLP DOI BibTeX RDF
20	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
20	Saurabh Chaudhury, Anirban Dutta	Algorithmic Optimization of BDDs and Performance Evaluation for Multi-level Logic Circuits with Area and Power Trade-offs.	Circuits Syst.	2011	DBLP DOI BibTeX RDF
20	Stefan Edelkamp, Peter Kissmann	On the Complexity of BDDs for State Space Search: A Case Study in Connect Four.	AAAI	2011	DBLP DOI BibTeX RDF
20	Mohamed Bourimi, Jörn Ossowski, Dhiah el Diehn I. Abou-Tair, Stefan Berlik, Dirar Abu-Saymeh	Towards Usable Client-Centric Privacy Advisory for Mobile Collaborative Applications Based on BDDs.	NTMS	2011	DBLP DOI BibTeX RDF
20	Ignasi Abío, Robert Nieuwenhuis, Albert Oliveras, Enric Rodríguez-Carbonell	BDDs for Pseudo-Boolean Constraints - Revisited.	SAT	2011	DBLP DOI BibTeX RDF
20	Masakazu Ishihata, Yoshitaka Kameya, Taisuke Sato	Variational Bayes Inference for Logic-Based Probabilistic Models on BDDs.	ILP	2011	DBLP DOI BibTeX RDF
20	Shuhei Denzumi, Hiroki Arimura, Shin-ichi Minato	Implementation of sequence BDDs in Erlang.	Erlang Workshop	2011	DBLP DOI BibTeX RDF
20	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
20	Masakazu Ishihata, Yoshitaka Kameya, Taisuke Sato, Shin-ichi Minato	An EM Algorithm on BDDs with Order Encoding for Logic-based Probabilistic Models.	ACML	2010	DBLP BibTeX RDF
20	Václav Dvorák, Petr Mikusek	Design of Arbiters and Allocators Based on Multi-Terminal BDDs.	J. Univers. Comput. Sci.	2010	DBLP DOI BibTeX RDF
20	Kai Lampka, Markus Siegle, Jörn Ossowski, Christel Baier	Partially-shared zero-suppressed multi-terminal BDDs: concept, algorithms and applications.	Formal Methods Syst. Des.	2010	DBLP DOI BibTeX RDF
20	Alessandro Cimatti, Anders Franzén, Alberto Griggio, Krishnamani Kalyanasundaram, Marco Roveri	Tighter integration of BDDs and SMT for Predicate Abstraction.	DATE	2010	DBLP DOI BibTeX RDF
20	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
20	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.	ETS	2010	DBLP DOI BibTeX RDF
20	Shingo Yuasa, Masahiro Yasugi	Validating low-level instructions for fixnums using BDDs.	ILC	2010	DBLP DOI BibTeX RDF
20	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
20	Fadil Alturki, Ridha Khédri	A Tool for Formal Feature Modeling Based on BDDs and Product Families Algebra.	WER	2010	DBLP BibTeX RDF
20	Saurabh Chaudhury, Anirban Dutta	Genetic algorithm based variable ordering of BDDs for multi-level logic optimization with area-power trade-offs.	ICECS	2010	DBLP DOI BibTeX RDF
20	Theofrastos Mantadelis, Ricardo Rocha 0001, Angelika Kimmig, Gerda Janssens	Preprocessing Boolean Formulae for BDDs in a Probabilistic Context.	JELIA	2010	DBLP DOI BibTeX RDF
20	Václav Dvorák	Multi-Terminal BDDs in Microprocessor-based Control.	ICINCO (3)	2010	DBLP BibTeX RDF
20	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
20	Octav Brudaru, Rüdiger Ebendt, Iulian Marius Furdu	Optimizing Variable Ordering of BDDs with Double Hybridized Embryonic Genetic Algorithm.	SYNASC	2010	DBLP DOI BibTeX RDF
20	Petr Mikusek, Václav Dvorák	Heuristic Synthesis of Multi-Terminal BDDs Based on Local Width/Cost Minimization.	DSD	2009	DBLP DOI BibTeX RDF
20	Raimund Ubar, Dmitri Mironov, Jaan Raik, Artur Jutman	Structurally synthesized multiple input BDDs for simulation of digital circuits.	ICECS	2009	DBLP DOI BibTeX RDF
20	Hélène Fargier, Pierre Marquis	Knowledge Compilation Properties of Trees-of-BDDs, Revisited.	IJCAI	2009	DBLP BibTeX RDF
20	Katsumi Inoue, Taisuke Sato, Masakazu Ishihata, Yoshitaka Kameya, Hidetomo Nabeshima	Evaluating Abductive Hypotheses using an EM Algorithm on BDDs.	IJCAI	2009	DBLP BibTeX RDF
20	Rune Møller Jensen, Manuela M. Veloso, Randal E. Bryant	State-set branching: Leveraging BDDs for heuristic search.	Artif. Intell.	2008	DBLP DOI BibTeX RDF
20	Paul Tarau	Declarative Combinatorics: Boolean Functions, Circuit Synthesis and BDDs in Haskell	CoRR	2008	DBLP BibTeX RDF
20	Stefan Edelkamp, Peter Kissmann	Limits and Possibilities of BDDs in State Space Search.	AAAI	2008	DBLP BibTeX RDF
20	Graeme Gange, Vitaly Lagoon, Peter J. Stuckey	Fast Set Bounds Propagation using BDDs.	ECAI	2008	DBLP DOI BibTeX RDF
20	Changxing Dong, Paul Molitor	What Graphs can be Efficiently Represented by BDDs?	ICCTA	2007	DBLP DOI BibTeX RDF
20	Sathiamoorthy Subbarayan, Lucas Bordeaux, Youssef Hamadi	Knowledge Compilation Properties of Tree-of-BDDs.	AAAI	2007	DBLP BibTeX RDF
20	Markus Behle, Friedrich Eisenbrand	0/1 Vertex and Facet Enumeration with BDDs.	ALENEX	2007	DBLP DOI BibTeX RDF
20	Shin-ichi Minato, Ken Satoh, Taisuke Sato	Compiling Bayesian Networks by Symbolic Probability Calculation Based on Zero-Suppressed BDDs.	IJCAI	2007	DBLP BibTeX RDF
20	Sean A. Weaver, John V. Franco, John S. Schlipf	Extending Existential Quantification in Conjunctions of BDDs.	J. Satisf. Boolean Model. Comput.	2006	DBLP DOI BibTeX RDF
20	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
20	Shin-ichi Minato, Hiroki Arimura	Frequent Pattern Mining and Knowledge Indexing Based on Zero-Suppressed BDDs.	KDID	2006	DBLP DOI BibTeX RDF
20	Sergei Devadze, Jaan Raik, Artur Jutman, Raimund Ubar	Fault Simulation with Parallel Critical Path Tracing for Combinatorial Circuits Using Structurally Synthesized BDDs.	LATW	2006	DBLP BibTeX RDF