Graph-Based Algorithms for Boolean Function Manipulation
IEEE Transactions on Computers
Implicit and incremental computation of primes and essential primes of Boolean functions
DAC '92 Proceedings of the 29th ACM/IEEE Design Automation Conference
Sequential circuit verification using symbolic model checking
DAC '90 Proceedings of the 27th ACM/IEEE Design Automation Conference
Shared binary decision diagram with attributed edges for efficient Boolean function manipulation
DAC '90 Proceedings of the 27th ACM/IEEE Design Automation Conference
On the OBDD-Representation of General Boolean Functions
IEEE Transactions on Computers
CATAPULT: concurrent automatic testing allowing parallelization and using limited topology
DAC '88 Proceedings of the 25th ACM/IEEE Design Automation Conference
On variable ordering of binary decision diagrams for the application of multi-level logic synthesis
EURO-DAC '91 Proceedings of the conference on European design automation
Symmetry detection and dynamic variable ordering of decision diagrams
ICCAD '94 Proceedings of the 1994 IEEE/ACM international conference on Computer-aided design
Calculation of unate cube set algebra using zero-suppressed BDDs
DAC '94 Proceedings of the 31st annual Design Automation Conference
Permissible observability relations in FSM networks
DAC '94 Proceedings of the 31st annual Design Automation Conference
Fast OFDD based minimization of fixed polarity Reed-Muller expressions
EURO-DAC '94 Proceedings of the conference on European design automation
Verification of arithmetic circuits with binary moment diagrams
DAC '95 Proceedings of the 32nd annual ACM/IEEE Design Automation Conference
Who are the variables in your neighborhood
ICCAD '95 Proceedings of the 1995 IEEE/ACM international conference on Computer-aided design
Binary decision diagrams and beyond: enabling technologies for formal verification
ICCAD '95 Proceedings of the 1995 IEEE/ACM international conference on Computer-aided design
Synthesis by spectral translation using Boolean decision diagrams
DAC '96 Proceedings of the 33rd annual Design Automation Conference
Implementation of an efficient parallel BDD package
DAC '96 Proceedings of the 33rd annual Design Automation Conference
Fast OFDD-Based Minimization of Fixed Polarity Reed-Muller Expressions
IEEE Transactions on Computers
Proceedings of the 1996 IEEE/ACM international conference on Computer-aided design
On the Expressive Power of OKFDDs
Formal Methods in System Design
FPGA routing and routability estimation via Boolean satisfiability
FPGA '97 Proceedings of the 1997 ACM fifth international symposium on Field-programmable gate arrays
System-level power optimization of special purpose applications: the beach solution
ISLPED '97 Proceedings of the 1997 international symposium on Low power electronics and design
A symbolic algorithm for low-power sequential synthesis
ISLPED '97 Proceedings of the 1997 international symposium on Low power electronics and design
Linear sifting of decision diagrams
DAC '97 Proceedings of the 34th annual Design Automation Conference
High-level power modeling, estimation, and optimization
DAC '97 Proceedings of the 34th annual Design Automation Conference
Symbolic analysis of large analog circuits with determinant decision diagrams
ICCAD '97 Proceedings of the 1997 IEEE/ACM international conference on Computer-aided design
Reachability analysis using partitioned-ROBDDs
ICCAD '97 Proceedings of the 1997 IEEE/ACM international conference on Computer-aided design
Cluster-cover: a theoretical framework for a class of VLSI-CAD optimization problems
ACM Transactions on Design Automation of Electronic Systems (TODAES)
The Theory of Zero-Suppressed BDDs and the Number of Knight‘s Tours
Formal Methods in System Design
Doing two-level logic minimization 100 times faster
Proceedings of the sixth annual ACM-SIAM symposium on Discrete algorithms
An efficient heuristic approach to solve the unate covering problem
DATE '00 Proceedings of the conference on Design, automation and test in Europe
sub-SAT: a formulation for relaxed boolean satisfiability with applications in routing
Proceedings of the 2002 international symposium on Physical design
Satometer:: how much have we searched?
Proceedings of the 39th annual Design Automation Conference
Ordered binary decision diagrams
Logic Synthesis and Verification
The future of logic synthesis and verification
Logic Synthesis and Verification
BDD-Nodes Can Be More Expressive
ASIAN '99 Proceedings of the 5th Asian Computing Science Conference on Advances in Computing Science
Asymptotically Optimal Bounds for OBDDs and the Solution of Some Basic OBDD Problems
ICALP '00 Proceedings of the 27th International Colloquium on Automata, Languages and Programming
Techniques for Smaller Intermediary BDDs
CONCUR '01 Proceedings of the 12th International Conference on Concurrency Theory
A Compressed Breadth-First Search for Satisfiability
ALENEX '02 Revised Papers from the 4th International Workshop on Algorithm Engineering and Experiments
The Quest for Efficient Boolean Satisfiability Solvers
CAV '02 Proceedings of the 14th International Conference on Computer Aided Verification
Simplification of non-deterministic multi-valued networks
Proceedings of the 2002 IEEE/ACM international conference on Computer-aided design
On applicability of symbolic techniques to larger scheduling problems
EDTC '95 Proceedings of the 1995 European conference on Design and Test
Using symbolic techniques to find the maximum clique in very large sparse graphs
EDTC '95 Proceedings of the 1995 European conference on Design and Test
Implicit manipulation of polynomials using zero-suppressed BDDs
EDTC '95 Proceedings of the 1995 European conference on Design and Test
Solving Graph Optimization Problems with ZBDDs
EDTC '97 Proceedings of the 1997 European conference on Design and Test
Decision Diagrams in Synthesis - Algorithms, Applications and Extensions
VLSID '97 Proceedings of the Tenth International Conference on VLSI Design: VLSI in Multimedia Applications
Exact Path Delay Grading with Fundamental BDD Operations
ITC '01 Proceedings of the 2001 IEEE International Test Conference
Probabilistic Bottom-Up RTL Power Estimation
ISQED '00 Proceedings of the 1st International Symposium on Quality of Electronic Design
Equivalent literal propagation in the DLL procedure
Discrete Applied Mathematics - The renesse issue on satisfiability
A satisfiability procedure for quantified boolean formulae
Discrete Applied Mathematics - The renesse issue on satisfiability
Jedd: a BDD-based relational extension of Java
Proceedings of the ACM SIGPLAN 2004 conference on Programming language design and implementation
Non-Enumerative Path Delay Fault Diagnosis
DATE '03 Proceedings of the conference on Design, Automation and Test in Europe - Volume 1
Case-factor diagrams for structured probabilistic modeling
UAI '04 Proceedings of the 20th conference on Uncertainty in artificial intelligence
Forward image computation with backtracing ATPG and incremental state-set construction
GLSVLSI '05 Proceedings of the 15th ACM Great Lakes symposium on VLSI
Resolution cannot polynomially simulate compressed-BFS
Annals of Mathematics and Artificial Intelligence
Efficient SAT solving: beyond supercubes
Proceedings of the 42nd annual Design Automation Conference
State Set Management for SAT-based Unbounded Model Checking
ICCD '05 Proceedings of the 2005 International Conference on Computer Design
IEEE/ACM Transactions on Computational Biology and Bioinformatics (TCBB)
Integrating CNF and BDD based SAT solvers
HLDVT '03 Proceedings of the Eighth IEEE International Workshop on High-Level Design Validation and Test Workshop
ATPG-based preimage computation: efficient search space pruning with ZBDD
HLDVT '03 Proceedings of the Eighth IEEE International Workshop on High-Level Design Validation and Test Workshop
An anytime symmetry detection algorithm for ROBDDs
ASP-DAC '06 Proceedings of the 2006 Asia and South Pacific Design Automation Conference
K-disjointness paradigm with application to symmetry detection for incompletely specified functions
Proceedings of the 2005 Asia and South Pacific Design Automation Conference
Efficient minimization of fully testable 2-SPP networks
Proceedings of the conference on Design, automation and test in Europe: Proceedings
Implicit grading of multiple path delay faults
ACM Transactions on Design Automation of Electronic Systems (TODAES)
Proceedings of the 12th ACM SIGKDD international conference on Knowledge discovery and data mining
Analysis of Markov reward models using zero-suppressed multi-terminal BDDs
valuetools '06 Proceedings of the 1st international conference on Performance evaluation methodolgies and tools
The octahedron abstract domain
Science of Computer Programming
Efficient Service Composition Using Zero-Suppressed Reduced Ordered Binary Decision Diagrams
WI '06 Proceedings of the 2006 IEEE/WIC/ACM International Conference on Web Intelligence
IEEE Transactions on Computers
Case-factor diagrams for structured probabilistic modeling
Journal of Computer and System Sciences
Proceedings of the 2nd international conference on Performance evaluation methodologies and tools
On the Use of ZBDDs for Implicit and Compact Critical Path Delay Fault Test Generation
Journal of Electronic Testing: Theory and Applications
AusDM '07 Proceedings of the sixth Australasian conference on Data mining and analytics - Volume 70
Improved BDD Algorithms for the Simulation of Quantum Circuits
ESA '08 Proceedings of the 16th annual European symposium on Algorithms
A Simple Model for Sequences of Relational State Descriptions
ECML PKDD '08 Proceedings of the European conference on Machine Learning and Knowledge Discovery in Databases - Part II
Using ZBDDs in Points-to Analysis
Languages and Compilers for Parallel Computing
Efficient Set Sharing Using ZBDDs
Languages and Compilers for Parallel Computing
Recurrence-aware instruction set selection for extensible embedded processors
IEEE Transactions on Very Large Scale Integration (VLSI) Systems
Verification Techniques for System-Level Design
Verification Techniques for System-Level Design
Handling Large Formal Context Using BDD --- Perspectives and Limitations
ICFCA '09 Proceedings of the 7th International Conference on Formal Concept Analysis
Evaluation of Different BDD Libraries to Extract Concepts in FCA --- Perspectives and Limitations
ICCS '09 Proceedings of the 9th International Conference on Computational Science: Part I
DSSZ-MC --- A Tool for Symbolic Analysis of Extended Petri Nets
PETRI NETS '09 Proceedings of the 30th International Conference on Applications and Theory of Petri Nets
Selection and ranking of propositional formulas for large-scale service directories
AAAI'05 Proceedings of the 20th national conference on Artificial intelligence - Volume 3
Compiling Bayesian networks by symbolic probability calculation based on zero-suppressed BDDs
IJCAI'07 Proceedings of the 20th international joint conference on Artifical intelligence
IJCAI'01 Proceedings of the 17th international joint conference on Artificial intelligence - Volume 1
An easy-to-use, efficient tool-chain to analyze the availability of telecommunication equipment
FMICS'06/PDMC'06 Proceedings of the 11th international workshop, FMICS 2006 and 5th international workshop, PDMC conference on Formal methods: Applications and technology
N-gram analysis based on zero-suppressed BDDs
JSAI'06 Proceedings of the 20th annual conference on New frontiers in artificial intelligence
Frequent pattern mining and knowledge indexing based on zero-suppressed BDDs
KDID'06 Proceedings of the 5th international conference on Knowledge discovery in inductive databases
A theoretical study on variable ordering of zero-suppressed BDDs for representing frequent itemsets
DS'07 Proceedings of the 10th international conference on Discovery science
PAKDD'08 Proceedings of the 12th Pacific-Asia conference on Advances in knowledge discovery and data mining
Symbolic partition refinement with automatic balancing of time and space
Performance Evaluation
Techniques to prioritize paths for diagnosis
IEEE Transactions on Very Large Scale Integration (VLSI) Systems
Partially-shared zero-suppressed multi-terminal BDDs: concept, algorithms and applications
Formal Methods in System Design
Transactions on rough sets XII
Identification of delay measurable PDFs using linear dependency relationships
IEEE Transactions on Very Large Scale Integration (VLSI) Systems
Computational complexity analysis of determinant decision diagram
IEEE Transactions on Circuits and Systems II: Express Briefs
Lattice-valued binary decision diagrams
ATVA'10 Proceedings of the 8th international conference on Automated technology for verification and analysis
IDD-based model validation of biochemical networks
Theoretical Computer Science
πDD: a new decision diagram for efficient problem solving in permutation space
SAT'11 Proceedings of the 14th international conference on Theory and application of satisfiability testing
Attacking Bivium and Trivium with the characteristic set method
AFRICACRYPT'11 Proceedings of the 4th international conference on Progress in cryptology in Africa
Symmetric item set mining based on zero-suppressed BDDs
DS'06 Proceedings of the 9th international conference on Discovery Science
CirCUs: a hybrid satisfiability solver
SAT'04 Proceedings of the 7th international conference on Theory and Applications of Satisfiability Testing
VSOP (valued-sum-of-products) calculator for knowledge processing based on zero-suppressed BDDs
Proceedings of the 2005 international conference on Federation over the Web
On subsumption removal and on-the-fly CNF simplification
SAT'05 Proceedings of the 8th international conference on Theory and Applications of Satisfiability Testing
A simple implementation of determinant decision diagram
Proceedings of the International Conference on Computer-Aided Design
Efficient database analysis using VSOP calculator based on zero-suppressed BDDs
JSAI'05 Proceedings of the 2005 international conference on New Frontiers in Artificial Intelligence
Embedding memoization to the semantic tree search for deciding QBFs
AI'04 Proceedings of the 17th Australian joint conference on Advances in Artificial Intelligence
Scalable automated service composition using a compact directory digest
DEXA'06 Proceedings of the 17th international conference on Database and Expert Systems Applications
Characteristic set algorithms for equation solving in finite fields
Journal of Symbolic Computation
PRIMA'11 Proceedings of the 14th international conference on Agents in Principle, Agents in Practice
Dependability evaluation of complex embedded systems and microsystems
VECoS'09 Proceedings of the Third international conference on Verification and Evaluation of Computer and Communication Systems
Proceedings of the 17th ACM symposium on Access Control Models and Technologies
Counterexamples to the long-standing conjecture on the complexity of BDD binary operations
Information Processing Letters
Incremental set recommendation based on class differences
PAKDD'12 Proceedings of the 16th Pacific-Asia conference on Advances in Knowledge Discovery and Data Mining - Volume Part I
Efficient enumeration of the directed binary perfect phylogenies from incomplete data
SEA'12 Proceedings of the 11th international conference on Experimental Algorithms
A Non-Enumerative Technique for Measuring Path Correlation in Digital Circuits
Journal of Electronic Testing: Theory and Applications
A survey on binary decision diagram approaches to symbolic analysis of analog integrated circuits
Analog Integrated Circuits and Signal Processing
Complexity issues related to propagation completeness
Artificial Intelligence
Approximating the permanent with fractional belief propagation
The Journal of Machine Learning Research
| Hi-index | 0.01 |