Increasing efficiency of symbolic model checking by accelerating dynamic variable reordering
DATE '99 Proceedings of the conference on Design, automation and test in Europe
Local Encoding Transformations for Optimizing OBDD-Representations of Finite State Machines
Formal Methods in System Design
Ordered binary decision diagrams
Logic Synthesis and Verification
False-noise analysis using logic implications
ACM Transactions on Design Automation of Electronic Systems (TODAES)
Data structures for Boolean functions
Computational Discrete Mathematics
Computing strongly connected components in a linear number of symbolic steps
SODA '03 Proceedings of the fourteenth annual ACM-SIAM symposium on Discrete algorithms
A Self-Repairing and Self-Healing Electronic Watch: The BioWatch
ICES '01 Proceedings of the 4th International Conference on Evolvable Systems: From Biology to Hardware
Binary Decision Diagrams by Shard Rewriting
MFCS '00 Proceedings of the 25th International Symposium on Mathematical Foundations of Computer Science
Resolution and Binary Decision Diagrams Cannot Simulate Each Other Polynomially
PSI '02 Revised Papers from the 4th International Andrei Ershov Memorial Conference on Perspectives of System Informatics: Akademgorodok, Novosibirsk, Russia
Formal Verification Methods for Industrial Hardware Design
SOFSEM '01 Proceedings of the 28th Conference on Current Trends in Theory and Practice of Informatics Piestany: Theory and Practice of Informatics
Efficient Decision Procedures for Model Checking of Linear Time Logic Properties
CAV '99 Proceedings of the 11th International Conference on Computer Aided Verification
On the Representation of Probabilities over Structured Domains
CAV '99 Proceedings of the 11th International Conference on Computer Aided Verification
PLDI '03 Proceedings of the ACM SIGPLAN 2003 conference on Programming language design and implementation
WWW.BDD-Portal.ORG: an experimentation platform for binary decision diagram algorithms
Experimental algorithmics
Resolution and binary decision diagrams cannot simulate each other polynomially
Discrete Applied Mathematics - The renesse issue on satisfiability
Efficient Forward Computation of Dynamic Slices Using Reduced Ordered Binary Decision Diagrams
Proceedings of the 26th International Conference on Software Engineering
IEEE/ACM Transactions on Computational Biology and Bioinformatics (TCBB)
Wirelength optimization by optimal block orientation
ICCAD '05 Proceedings of the 2005 IEEE/ACM International conference on Computer-aided design
Modeling component connectors in Reo by constraint automata
Science of Computer Programming - Special issue on second international workshop on foundations of coordination languages and software architectures (FOCLASA'03)
Bounded model checking of infinite state systems
Formal Methods in System Design
Better upper bounds on the QOBDD size of integer multiplication
Discrete Applied Mathematics
Tracing lineage beyond relational operators
VLDB '07 Proceedings of the 33rd international conference on Very large data bases
State-set branching: Leveraging BDDs for heuristic search
Artificial Intelligence
Extended resolution simulates binary decision diagrams
Discrete Applied Mathematics
A Resolution Calculus with Shared Literals
Fundamenta Informaticae
Checking Equivalence for Reo Networks
Electronic Notes in Theoretical Computer Science (ENTCS)
Generating Compact MTBDD-Representations from Probmela Specifications
SPIN '08 Proceedings of the 15th international workshop on Model Checking Software
Using ZBDDs in Points-to Analysis
Languages and Compilers for Parallel Computing
Using OBDDs for Efficient Query Evaluation on Probabilistic Databases
SUM '08 Proceedings of the 2nd international conference on Scalable Uncertainty Management
Efficient compilation techniques for large scale feature models
GPCE '08 Proceedings of the 7th international conference on Generative programming and component engineering
Conditioning probabilistic databases
Proceedings of the VLDB Endowment
Efficient Set Sharing Using ZBDDs
Languages and Compilers for Parallel Computing
Secondary-storage confidence computation for conjunctive queries with inequalities
Proceedings of the 2009 ACM SIGMOD International Conference on Management of data
A BDD Approach to the Feature Subscription Problem
Proceedings of the 2008 conference on ECAI 2008: 18th European Conference on Artificial Intelligence
State agnostic planning graphs and the application to belief-space planning
AAAI'05 Proceedings of the 20th national conference on Artificial intelligence - Volume 3
Journal of Artificial Intelligence Research
Journal of Artificial Intelligence Research
Techniques for efficient interactive configuration of distribution networks
IJCAI'07 Proceedings of the 20th international joint conference on Artifical intelligence
Symbolic Reasoning with Weighted and Normalized Decision Diagrams
Electronic Notes in Theoretical Computer Science (ENTCS)
Decision-making coordination and efficient reasoning techniques for feature-based configuration
Science of Computer Programming
Equational binary decision diagrams
LPAR'00 Proceedings of the 7th international conference on Logic for programming and automated reasoning
On the symbolic computation of the hardest configurations of the RUSH HOUR game
CG'06 Proceedings of the 5th international conference on Computers and games
On threshold BDDs and the optimal variable ordering problem
COCOA'07 Proceedings of the 1st international conference on Combinatorial optimization and applications
Formal approach to integrating feature and architecture models
FASE'08/ETAPS'08 Proceedings of the Theory and practice of software, 11th international conference on Fundamental approaches to software engineering
Interactive cost configuration over decision diagrams
Journal of Artificial Intelligence Research
Sans constraints? feature diagrams vs. feature models
SPLC'10 Proceedings of the 14th international conference on Software product lines: going beyond
On the optimal approximation of queries using tractable propositional languages
Proceedings of the 14th International Conference on Database Theory
An algorithm for capturing variables dependences in test suites
Journal of Systems and Software
Top-down induction of reduced ordered decision diagrams from neural networks
ICANN'11 Proceedings of the 21st international conference on Artificial neural networks - Volume Part II
Enforcing confidentiality and data visibility constraints: an OBDD approach
DBSec'11 Proceedings of the 25th annual IFIP WG 11.3 conference on Data and applications security and privacy
Decomposition of systems of Boolean functions determined by binary decision diagrams
Journal of Computer and Systems Sciences International
Model-Based diagnosis through OBDD compilation: a complexity analysis
Reasoning, Action and Interaction in AI Theories and Systems
Embedding memoization to the semantic tree search for deciding QBFs
AI'04 Proceedings of the 17th Australian joint conference on Advances in Artificial Intelligence
Genetic algorithms for the variable ordering problem of binary decision diagrams
FOGA'05 Proceedings of the 8th international conference on Foundations of Genetic Algorithms
Computing argumentation in polynomial number of BDD operations: a preliminary report
ArgMAS'10 Proceedings of the 7th international conference on Argumentation in Multi-Agent Systems
SDD: a new canonical representation of propositional knowledge bases
IJCAI'11 Proceedings of the Twenty-Second international joint conference on Artificial Intelligence - Volume Volume Two
A Resolution Calculus with Shared Literals
Fundamenta Informaticae
Representing CSPs with set-labeled diagrams: a compilation map
GKR'11 Proceedings of the Second international conference on Graph Structures for Knowledge Representation and Reasoning
Proceedings of the 16th International Conference on Database Theory
Minimization of binary decision diagrams for systems of incompletely defined Boolean functions
Journal of Computer and Systems Sciences International
Anytime approximation in probabilistic databases
The VLDB Journal — The International Journal on Very Large Data Bases
An OBDD approach to enforce confidentiality and visibility constraints in data publishing
Journal of Computer Security - DBSec 2011
| Hi-index | 0.00 |
From the Publisher:This book provides an introduction to the foundations of this interdisciplinary research area, emphasizing its applications in computer aided circuit design.