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 |
|