Search results for "Binary decision diagrams"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
3	Daniel Král	Polynomial-Size Binary Decision Diagrams for the Exactly Half-d-Hyperclique Problem Reading Each Input Bit Twice.	Theory Comput. Syst.	2009	DBLP DOI BibTeX RDF	Free binary decision diagrams, Binary decision diagrams
3	Andrei Rimsa, Luis E. Zárate, Mark A. J. Song	Evaluation of Different BDD Libraries to Extract Concepts in FCA - Perspectives and Limitations.	ICCS	2009	DBLP DOI BibTeX RDF	Zero-Supressed Binary Decision Diagrams, Formal Concept Analysis, Binary Decision Diagrams, Formal Context, Formal Concept
3	Andreas Sewe, Christoph Bockisch, Mira Mezini	Redundancy-free residual dispatch: using ordered binary decision diagrams for efficient dispatch.	FOAL	2008	DBLP DOI BibTeX RDF	dispatch functions, residual dispatch, aspect-oriented programming, ordered binary decision diagrams, advice, pointcuts
3	P. W. Chandana Prasad, Ali Assi, Azam Beg	Binary Decision Diagrams and neural networks.	The Journal of Supercomputing	2007	DBLP DOI BibTeX RDF	BDD complexity, Neural network, Binary decision diagrams, Complexity estimation
3	Louis Kruger, Somesh Jha, Eu-Jin Goh, Dan Boneh	Secure function evaluation with ordered binary decision diagrams.	ACM Conference on Computer and Communications Security	2006	DBLP DOI BibTeX RDF	binary decision diagrams, secure function evaluation
3	Elsa Loekito, James Bailey	Fast mining of high dimensional expressive contrast patterns using zero-suppressed binary decision diagrams.	KDD	2006	DBLP DOI BibTeX RDF	contrast patterns, disjunctive emerging patterns, zero-suppressed binary decision diagrams
3	Jon T. Butler, Tsutomu Sasao, Munehiro Matsuura	Average Path Length of Binary Decision Diagrams.	IEEE Trans. Computers	2005	DBLP DOI BibTeX RDF	average path length, worst-case path length, APL, Binary decision diagrams, BDD
3	John Whaley, Monica S. Lam	Cloning-based context-sensitive pointer alias analysis using binary decision diagrams.	PLDI	2004	DBLP DOI BibTeX RDF	inclusion-based, Java, scalable, logic programming, program analysis, Datalog, binary decision diagrams, cloning, pointer analysis, context-sensitive
3	Philippe Chatalic, Laurent Simon	Multi-resolution on compressed sets of clauses.	ICTAI	2000	DBLP DOI BibTeX RDF	compressed sets, compressed clauses, propositional clauses, compression power, structured instances, specialized operator, clause sets, polynomial size data structures, ZREs system, Davis-Putnam procedure, hard problems, SAT provers, zero-suppressed binary decision diagrams, computational complexity, data structures, data structures, data compression, theorem proving, computability, encodings, directed graphs, binary decision diagrams, set theory, multi-resolution, cut eliminations, ZBDDs
3	Barbara J. Czerny, Mats Per Erik Heimdahl	Identifying Domain Axioms Using Binary Decision Diagrams. (PDF / PS)	HASE	1999	DBLP DOI BibTeX RDF	Static Requirements Analysis, Domain Axioms, Spurious Errors, Completeness Analysis, False Positives, Consistency Analysis, Binary Decision Diagrams (BDDs)
3	Christoph Scholl, Rolf Drechsler, Bernd Becker	Functional simulation using binary decision diagrams.	ICCAD	1997	DBLP DOI BibTeX RDF	Binary Decision Diagrams, Functional simulation
2	Stergios Stergiou, Jawahar Jain	Dynamically resizable binary decision diagrams.	ACM Great Lakes Symposium on VLSI	2010	DBLP DOI BibTeX RDF	binary decision diagrams, compact
2	Zhengdao Xu, Hans-Arno Jacobsen	Expressive Location-Based Continuous Query Evaluation with Binary Decision Diagrams.	ICDE	2009	DBLP DOI BibTeX RDF
2	Constantinos Kotsokalis, Ramin Yahyapour, Miguel Angel Rojas Gonzalez	Modeling Service Level Agreements with Binary Decision Diagrams.	ICSOC/ServiceWave	2009	DBLP DOI BibTeX RDF
2	Andrei Rimsa, Luis E. Zárate, Mark A. J. Song	Handling Large Formal Context Using BDD - Perspectives and Limitations.	ICFCA	2009	DBLP DOI BibTeX RDF	Formal Concept Analysis, Binary Decision Diagrams, Formal Context, Formal Concept
2	Beate Bollig	On the OBDD Complexity of Threshold Functions and the Variable Ordering Problem.	SOFSEM	2009	DBLP DOI BibTeX RDF	variable ordering problem, Computational complexity, ordered binary decision diagrams, threshold functions
2	Osnat Keren	Reduction of Average Path Length in Binary Decision Diagrams by Spectral Methods.	IEEE Trans. Computers	2008	DBLP DOI BibTeX RDF	Logic Design, Spectral methods, Automatic synthesis
2	Ondrej Lhoták, Laurie J. Hendren	Relations as an abstraction for BDD-based program analysis.	ACM Trans. Program. Lang. Syst.	2008	DBLP DOI BibTeX RDF	Boolean formula satisfiability, physical domain assignment, Java, program analysis, Binary decision diagrams, language design, relations, points-to analysis
2	Nathan Segerlind	On the Relative Efficiency of Resolution-Like Proofs and Ordered Binary Decision Diagram Proofs.	IEEE Conference on Computational Complexity	2008	DBLP DOI BibTeX RDF	lower bounds, resolution, ordered binary decision diagrams, propositional proof complexity
2	Beate Bollig, Niko Range, Ingo Wegener	Exact OBDD Bounds for Some Fundamental Functions.	SOFSEM	2008	DBLP DOI BibTeX RDF	Computational complexity, lower bounds, ordered binary decision diagrams
2	Beate Bollig	On the OBDD Complexity of the Most Significant Bit of Integer Multiplication.	TAMC	2008	DBLP DOI BibTeX RDF	Computational complexity, lower bounds, ordered binary decision diagrams, integer multiplication
2	Raffaella Gentilini, Carla Piazza, Alberto Policriti	Symbolic Graphs: Linear Solutions to Connectivity Related Problems.	Algorithmica	2008	DBLP DOI BibTeX RDF	Massive graphs, Model checking, Ordered binary decision diagrams, Biconnected components, Strongly connected components
2	Gary Hardy, Corinne Lucet, Nikolaos Limnios	K-Terminal Network Reliability Measures With Binary Decision Diagrams.	IEEE Transactions on Reliability	2007	DBLP DOI BibTeX RDF
2	Norbert Lehmann	Shared Ordered Binary Decision Diagrams for Dempster-Shafer Theory.	ECSQARU	2007	DBLP DOI BibTeX RDF
2	Shinobu Nagayama, Tsutomu Sasao, Jon T. Butler	Numerical Function Generators Using Edge-Valued Binary Decision Diagrams.	ASP-DAC	2007	DBLP DOI BibTeX RDF	multiterminal BDD, numerical function generators, edge-valued binary decision diagrams, segment index encoder
2	Tarik Hadzic, John N. Hooker	Cost-Bounded Binary Decision Diagrams for 0-1 Programming.	CPAIOR	2007	DBLP DOI BibTeX RDF
2	Jan Kára, Daniel Král	Free binary decision diagrams for the computation of EARn.	Computational Complexity	2006	DBLP DOI BibTeX RDF	Subject classification, 94C10
2	Richard M. Downing	Evolving Binary Decision Diagrams with Emergent Variable Orderings.	PPSN	2006	DBLP DOI BibTeX RDF
2	Wendy Johnston, Kirsten Winter, Lionel van den Berg, Paul A. Strooper, Peter Robinson	Model-Based Variable and Transition Orderings for Efficient Symbolic Model Checking.	FM	2006	DBLP DOI BibTeX RDF	partitioned transition relations, clustering, Binary Decision Diagrams, Symbolic model checking, image computation, railway interlockings
2	Sungroh Yoon, Christine Nardini, Luca Benini, Giovanni De Micheli	Discovering Coherent Biclusters from Gene Expression Data Using Zero-Suppressed Binary Decision Diagrams.	IEEE/ACM Trans. Comput. Biology Bioinform.	2005	DBLP DOI BibTeX RDF	Clustering, logic design, life and medical sciences, bioinformatics (genome or protein) databases
2	Richard M. Downing	Evolving binary decision diagrams using implicit neutrality.	Congress on Evolutionary Computation	2005	DBLP DOI BibTeX RDF
2	Wolfgang Lenders, Christel Baier	Genetic Algorithms for the Variable Ordering Problem of Binary Decision Diagrams.	FOGA	2005	DBLP DOI BibTeX RDF
2	John Whaley, Dzintars Avots, Michael Carbin, Monica S. Lam	Using Datalog with Binary Decision Diagrams for Program Analysis.	APLAS	2005	DBLP DOI BibTeX RDF
2	Guoli Li, Shuang Hou, Hans-Arno Jacobsen	A Unified Approach to Routing, Covering and Merging in Publish/Subscribe Systems Based on Modified Binary Decision Diagrams.	ICDCS	2005	DBLP DOI BibTeX RDF
2	Jianwen Zhu	Towards scalable flow and context sensitive pointer analysis.	DAC	2005	DBLP DOI BibTeX RDF	high-level synthesis, binary decision diagrams, pointer analysis
2	François Macé, François-Xavier Standaert, Jean-Jacques Quisquater, Jean-Didier Legat	A Design Methodology for Secured ICs Using Dynamic Current Mode Logic.	PATMOS	2005	DBLP DOI BibTeX RDF	Differential Pull Down Networks, Side-channel attack, Differential Power Analysis, Binary Decision Diagrams
2	Santosh Biswas, Siddhartha Mukhopadhyay, Amit Patra	A Formal Approach to On-Line Monitoring of Digital VLSI Circuits: Theory, Design and Implementation.	J. Electronic Testing	2005	DBLP DOI BibTeX RDF	detection latency, discrete event systems, ordered binary decision diagrams, fault detection and diagnosis
2	Franco Raimondi, Alessio Lomuscio	Verification of Multiagent Systems via Ordered Binary Decision Diagrams: An Algorithm and Its Implementation.	AAMAS	2004	DBLP DOI BibTeX RDF
2	Christophe Mues, Jan Vanthienen	Efficient Rule Base Verification Using Binary Decision Diagrams.	DEXA	2004	DBLP DOI BibTeX RDF
2	Xiangyu Zhang, Rajiv Gupta, Youtao Zhang	Efficient Forward Computation of Dynamic Slices Using Reduced Ordered Binary Decision Diagrams.	ICSE	2004	DBLP DOI BibTeX RDF
2	Christophe Mues, Jan Vanthienen	Improving the Scalability of Rule Base Verification Using Binary Decision Diagrams: An Empirical Study.	KI	2004	DBLP DOI BibTeX RDF
2	Ondrej Lhoták, Laurie J. Hendren	Jedd: a BDD-based relational extension of Java.	PLDI	2004	DBLP DOI BibTeX RDF	boolean formula satisfiability, Java, program analysis, binary decision diagrams, language design, relations
2	Marta Z. Kwiatkowska, Gethin Norman, David Parker	Probabilistic symbolic model checking with PRISM: a hybrid approach.	STTT	2004	DBLP DOI BibTeX RDF	Binary decision diagrams, Symbolic model checking, Probabilistic model checking
2	Wolfgang Günther, Rolf Drechsler	Efficient Minimization and Manipulation of Linearly Transformed Binary Decision Diagrams.	IEEE Trans. Computers	2003	DBLP DOI BibTeX RDF	formal verification, Binary decision diagram, minimization, linear transformation
2	Amit Goel, Gagan Hasteer, Randal E. Bryant	Symbolic representation with ordered function templates.	DAC	2003	DBLP DOI BibTeX RDF	function templates, logic design verification, boolean functions, binary decision diagrams, symbolic simulation
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	Albert Nymeyer, Kairong Qian	Heuristic Search Algorithms Based on Symbolic Data Structures.	Australian Conference on Artificial Intelligence	2003	DBLP DOI BibTeX RDF	shortest path, Heuristic search, binary decision diagrams
2	Jürgen Ruf, Thomas Kropf	Symbolic Verification and Analysis of Discrete Timed Systems.	Formal Methods in System Design	2003	DBLP DOI BibTeX RDF	multi terminal binary decision diagrams, real-time systems, formal verification, symbolic model checking
2	Jan Kára, Daniel Král	Optimal Free Binary Decision Diagrams for Computation of EARn.	MFCS	2002	DBLP DOI BibTeX RDF
2	Maria K. Michael, Spyros Tragoudas	ATPG tools for delay faults at the functional level.	ACM Trans. Design Autom. Electr. Syst.	2002	DBLP DOI BibTeX RDF	functional-level testing, path delay fault simulation (coverage), testing digital circuits, Automatic test pattern generation, Binary Decision Diagrams, delay testing, Boolean Satisfiability, path delay fault testing
2	Rolf Drechsler, Detlef Sieling	Binary decision diagrams in theory and practice.	STTT	2001	DBLP DOI BibTeX RDF	data structure, Boolean function, Binary decision diagram, VLSI CAD, Branching program
2	Jan Friso Groote, Hans Zantema	Resolution and Binary Decision Diagrams Cannot Simulate Each Other Polynomially.	Ershov Memorial Conference	2001	DBLP DOI BibTeX RDF
2	Rudolf Berghammer, Barbara Leoniuk, Ulf Milanese	Implementation of Relational Algebra Using Binary Decision Diagrams.	RelMiCS	2001	DBLP DOI BibTeX RDF
2	Christoph Scholl, Bernd Becker, Andreas Brogle	The multiple variable order problem for binary decision diagrams: theory and practical application.	ASP-DAC	2001	DBLP DOI BibTeX RDF
2	Takashi Horiyama, Toshihide Ibaraki	Translation among CNFs, Characteristic Models and Ordered Binary Decision Diagrams.	ISAAC	2001	DBLP DOI BibTeX RDF
2	William Chan, Richard J. Anderson, Paul Beame, David H. Jones, David Notkin, William E. Warner	Optimizing Symbolic Model Checking for Statecharts.	IEEE Trans. Software Eng.	2001	DBLP DOI BibTeX RDF	TCAS II, partitioned transition relation, automatic abstraction, fault tolerance, Formal verification, binary decision diagrams, statecharts, requirements specifications, symbolic model checking, RSML, avionic systems
2	Fabio Somenzi	Efficient manipulation of decision diagrams.	STTT	2001	DBLP DOI BibTeX RDF	Strong canonical form, Variable reordering, Binary decision diagrams
2	Jan Friso Groote, Jaco van de Pol	Equational Binary Decision Diagrams.	LPAR	2000	DBLP DOI BibTeX RDF
2	Daniel Král	Algebraic an Uniqueness Properties of Parity Ordered Binary Decision Diagrams and Their Generalization.	MFCS	2000	DBLP DOI BibTeX RDF
2	Steffen Hölldobler, Hans-Peter Störr	Solving the Entailment Problem in the Fluent Calculus Using Binary Decision Diagrams.	Computational Logic	2000	DBLP DOI BibTeX RDF
2	Laura Heinrich-Litan, Paul Molitor	Least Upper Bounds for the Size of OBDDs Using Symmetry Properties.	IEEE Trans. Computers	2000	DBLP DOI BibTeX RDF	upper worst case bounds, partial symmetric Boolean functions, Binary decision diagrams, variable ordering
2	Beate Bollig, Ingo Wegener	Complexity Theoretical Results on Partitioned (Nondeterministic) Binary Decision Diagrams.	Theory Comput. Syst.	1999	DBLP DOI BibTeX RDF
2	Heraldo Maciel França Madeira, Junior Barrera, Roberto Hirata Jr., Nina S. T. Hirata	A New Paradigm for the Architecture of Morphological Machines: Binary Decision Diagrams. (PDF / PS)	SIBGRAPI	1999	DBLP DOI BibTeX RDF	Morphological Machines, Canonical Decomposition, W-operators, Mathematical Morphology, Binary Decision Diagrams
2	Takashi Horiyama, Toshihide Ibaraki	Ordered Binary Decision Diagrams as Knowledge-Bases.	ISAAC	1999	DBLP DOI BibTeX RDF
2	Richard J. Anderson, Paul Beame, William Chan, David Notkin	Experiences with the Application of Symbolic Model Checking to the Analysis of Software Specifications.	Ershov Memorial Conference	1999	DBLP DOI BibTeX RDF	finite state representations, Formal methods, formal verification, binary decision diagrams, symbolic model checking, software specification
2	Sérgio Vale Aguiar Campos, Edmund M. Clarke	Analysis and Verification of Real-Time Systems Using Quantitative Symbolic Algorithms.	STTT	1999	DBLP DOI BibTeX RDF	Quantitative timing analysis, Verus, Real-time systems, Binary decision diagrams, Symbolic model checking
2	Arlindo L. Oliveira, Luca P. Carloni, Tiziano Villa, Alberto L. Sangiovanni-Vincentelli	Exact Minimization of Binary Decision Diagrams Using Implicit Techniques.	IEEE Trans. Computers	1998	DBLP DOI BibTeX RDF	minimization of logic functions, incompletely specified finite state machines, implicit logic computations, Binary decision diagrams, incompletely specified functions, state minimization
2	Clemens Gröpl, Hans Jürgen Prömel, Anand Srivastav	Size and Structure of Random Ordered Binary Decision Diagrams (Extended Abstract).	STACS	1998	DBLP DOI BibTeX RDF
2	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
2	Jean-Francis Michon, Jean-Marc Champarnaud	Automata and Binary Decision Diagrams.	Workshop on Implementing Automata	1998	DBLP DOI BibTeX RDF
2	Kazuo Iwama, Mitsushi Nouzoe, Shuzo Yajima	Optimizing OBDDs Is Still Intractable for Monotone Functions.	MFCS	1998	DBLP DOI BibTeX RDF	NP-completeness, Ordered Binary Decision Diagrams, Monotone Functions
2	MoonBae Song, Hoon Chang	A variable reordering method for fast optimization of binary decision diagrams.	Asian Test Symposium	1997	DBLP DOI BibTeX RDF	variable reordering, distributed reordering algorithm, dynamic variable ordering, window permutation, optimization, binary decision diagrams, computation time, circuit optimisation
2	Beate Bollig, Ingo Wegener	Complexity Theoretical Results on Partitioned (Nondeterministic) Binary Decision Diagrams.	MFCS	1997	DBLP DOI BibTeX RDF
2	Christoph Meinel, Anna Slobodová	A Reducibility Concept for Problems Defined in Terms of Ordered Binary Decision Diagrams.	STACS	1997	DBLP DOI BibTeX RDF
2	Stephan Waack	On the Descriptive and Algorithmic Power of Parity Ordered Binary Decision Diagrams.	STACS	1997	DBLP DOI BibTeX RDF
2	Luc Robert, Grégoire Malandain	Fast Binary Image Processing Using Binary Decision Diagrams.	CVPR	1997	DBLP DOI BibTeX RDF	binary image processing, mathematical morphology, BDD, digital topology
2	Beate Bollig, Ingo Wegener	Read-once Projections and Formal Circuit Verification with Binary Decision Diagrams.	STACS	1996	DBLP DOI BibTeX RDF
2	Craig Damon, Daniel Jackson, Somesh Jha	Checking Relational Specifications With Binary Decision Diagrams.	SIGSOFT FSE	1996	DBLP DOI BibTeX RDF	Z
2	Rajeev K. Ranjan, Jagesh V. Sanghavi, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli	Binary decision diagrams on network of workstation. (PDF / PS)	ICCD	1996	DBLP DOI BibTeX RDF	memory resources, breadth-first technique, verification, Boolean functions, synthesis, binary decision diagram, network of workstations
2	Kazuo Kawakubo, Koji Tanaka, Hiromi Hiraishi	Formal Verification Of Self-Testing Properties Of Combinational Circuits.	Asian Test Symposium	1996	DBLP DOI BibTeX RDF	self-testing properties, logic function manipulation, decision function, output code words, self-checking logic, mutiple-input multiple-output circuit, fault tolerance, formal verification, combinational circuits, combinational circuits, binary decision diagrams, stuck-at faults, satisfiability problem, characteristic functions, Berger code
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	Debashis Bhattacharya, Prathima Agrawal, Vishwani D. Agrawal	Test Generation for Path Delay Faults Using Binary Decision Diagrams.	IEEE Trans. Computers	1995	DBLP DOI BibTeX RDF	Boolean algebraic test generation, redundant delay faults, robust delay tests, scan testing of delay faults, binary decision diagrams, delay faults
2	Bill Lin, Srinivas Devadas	Synthesis of hazard-free multilevel logic under multiple-input changes from binary decision diagrams.	IEEE Trans. on CAD of Integrated Circuits and Systems	1995	DBLP DOI BibTeX RDF
2	Randal E. Bryant	Binary decision diagrams and beyond: enabling technologies for formal verification.	ICCAD	1995	DBLP DOI BibTeX RDF
2	Edmund M. Clarke, Masahiro Fujita, Xudong Zhao	Hybrid decision diagrams.	ICCAD	1995	DBLP DOI BibTeX RDF	MTBDDs, arithmetic circuits verification, boolean vectors, hybrid decision diagrams, linear expressions, multi-terminal binary decision diagrams, symbolic model checking algorithms, computational complexity, time complexity, digital arithmetic, binary decision diagrams, circuit analysis computing, integers, BMDs
2	Soumitra Bose, Vishwani D. Agrawal	Sequential logic path delay test generation by symbolic analysis.	Asian Test Symposium	1995	DBLP DOI BibTeX RDF	sequential logic path delay test generation, two-vector test sequences, non-scan sequential circuit, multivalued algebras, three-vector test sequences combinational logic, value propagation rule, ISCAS89 benchmarks, fault diagnosis, logic testing, delays, Boolean functions, Boolean functions, finite state machines, finite state machines, sequential circuits, encoding, automatic testing, Binary Decision Diagrams, multivalued logic, sequential machines, symbolic analysis, combinational logic, state transitions
2	Frank Poirot, Gerard Tarroux, Ramine Roane	Optimization using implicit techniques for industrial designs.	Great Lakes Symposium on VLSI	1995	DBLP DOI BibTeX RDF	implicit techniques, Boolean functions, Boolean functions, logic synthesis, logic CAD, binary decision diagrams, hardware description languages, hardware description languages, industrial designs, circuit optimisation, optimization techniques, design complexity
2	Rolf Drechsler, Bernd Becker	Dynamic minimization of OKFDDs. (PDF / PS)	ICCD	1995	DBLP DOI BibTeX RDF	dynamic minimization, OKFDDs, small Ordered Kronecker Functional Decision Diagrams, Ordered Functional Decision Diagrams, dynamic variable ordering, decomposition type choice, OKFDD package, Boolean functions, logic design, directed graphs, decision theory, diagrams, minimisation, Ordered Binary Decision Diagrams, PUMA
2	Manish Pandey, Alok Jain, Randal E. Bryant, Derek L. Beatty, Gary York, Samir Jain	Extraction of finite state machines from transistor netlists by symbolic simulation. (PDF / PS)	ICCD	1995	DBLP DOI BibTeX RDF	finite state machine extraction, transistor netlists, clock level finite state machines, gate level representation, circuit clocking, output timing, simulation patterns, next state, output function, equivalent FSM, static storage structures, time multiplexed inputs, time multiplexed outputs, finite state machines, logic design, logic CAD, circuit analysis computing, FSMs, symbolic simulation, symbolic simulator, Ordered Binary Decision Diagrams
2	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
2	Fulvio Corno, Paolo Prinetto, Matteo Sonza Reorda, Uwe Gläser, Heinrich Theodor Vierhaus	Improving topological ATPG with symbolic techniques.	VTS	1995	DBLP DOI BibTeX RDF	topological ATPG, fault diagnosis, logic testing, integrated circuit testing, sequential circuits, sequential circuits, network topology, automatic testing, fault coverage, binary decision diagrams, CPU time, critical areas, symbolic techniques
2	David E. Long, Mahesh A. Iyer, Miron Abramovici	Identifying sequentially untestable faults using illegal states.	VTS	1995	DBLP DOI BibTeX RDF	sequentially untestable faults, illegal states, FILL algorithm, FUNI algorithm, functional partitioning procedure, incremental building, fault diagnosis, logic testing, test generator, integrated circuit testing, sequential circuits, automatic testing, binary decision diagrams, synchronous sequential circuit, logic partitioning, partial solution
2	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	Carl Pixley, Seh-Woong Jeong, Gary D. Hachtel	Exact calculation of synchronizing sequences based on binary decision diagrams.	IEEE Trans. on CAD of Integrated Circuits and Systems	1994	DBLP DOI BibTeX RDF
2	John Harrison	Binary Decision Diagrams as a HOL Derived Rule.	TPHOLs	1994	DBLP DOI BibTeX RDF
2	Kazuhisa Hosaka, Yasuhiko Takenaga, Shuzo Yajima	On the Size of Ordered Binary Decision Diagrams Representing Threshold Functions.	ISAAC	1994	DBLP DOI BibTeX RDF
2	Bill Lin, Srinivas Devadas	Synthesis of hazard-free multi-level logic under multiple-input changes from binary decision diagrams.	ICCAD	1994	DBLP DOI BibTeX RDF
2	Sreejit Chakravarty	A Characterization of Binary Decision Diagrams.	IEEE Trans. Computers	1993	DBLP DOI BibTeX RDF	repeated variables, simulation, complexity, testing, logic testing, Boolean functions, Boolean functions, synthesis, logic design, binary decision diagrams, logic circuits, characterization, computational problems
2	Frederic Mailhot, Giovanni De Micheli	Algorithms for technology mapping based on binary decision diagrams and on Boolean operations.	IEEE Trans. on CAD of Integrated Circuits and Systems	1993	DBLP DOI BibTeX RDF
2	Masahiro Fujita, Hisanori Fujisawa, Yusuke Matsunaga	Variable ordering algorithms for ordered binary decision diagrams and their evaluation.	IEEE Trans. on CAD of Integrated Circuits and Systems	1993	DBLP DOI BibTeX RDF