The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Searching for phrase binary decision diagrams (changed automatically) with no syntactic query expansion in all metadata.

Publication years (Num. hits)
1978-1990 (21) 1991-1992 (17) 1993-1994 (46) 1995 (29) 1996 (37) 1997 (38) 1998 (33) 1999 (47) 2000 (47) 2001 (44) 2002 (36) 2003 (43) 2004 (49) 2005 (48) 2006 (56) 2007 (40) 2008 (60) 2009 (27) 2010 (17) 2011-2012 (20) 2013-2014 (33) 2015-2016 (20) 2017 (17) 2018-2019 (15)
Publication types (Num. hits)
article(275) book(2) incollection(5) inproceedings(547) phdthesis(11)
Venues (Conferences, Journals, ...)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 726 occurrences of 377 keywords

Results
Found 840 publication records. Showing 840 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
69Daniel Král Polynomial-Size Binary Decision Diagrams for the Exactly Half-d-Hyperclique Problem Reading Each Input Bit Twice. Search on Bibsonomy Theory Comput. Syst. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Free binary decision diagrams, Binary decision diagrams
62Andrei Rimsa, Luis E. Zárate, Mark A. J. Song Evaluation of Different BDD Libraries to Extract Concepts in FCA - Perspectives and Limitations. Search on Bibsonomy ICCS (1) The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Zero-Supressed Binary Decision Diagrams, Formal Concept Analysis, Binary Decision Diagrams, Formal Context, Formal Concept
62Philippe Chatalic, Laurent Simon Multi-resolution on compressed sets of clauses. Search on Bibsonomy ICTAI The full citation details ... 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
55Andreas Sewe, Christoph Bockisch, Mira Mezini Redundancy-free residual dispatch: using ordered binary decision diagrams for efficient dispatch. Search on Bibsonomy FOAL The full citation details ... 2008 DBLP  DOI  BibTeX  RDF dispatch functions, residual dispatch, aspect-oriented programming, ordered binary decision diagrams, advice, pointcuts
55P. W. Chandana Prasad, Ali Assi, Azam Beg Binary Decision Diagrams and neural networks. Search on Bibsonomy The Journal of Supercomputing The full citation details ... 2007 DBLP  DOI  BibTeX  RDF BDD complexity, Neural network, Binary decision diagrams, Complexity estimation
55Louis Kruger, Somesh Jha, Eu-Jin Goh, Dan Boneh Secure function evaluation with ordered binary decision diagrams. Search on Bibsonomy ACM Conference on Computer and Communications Security The full citation details ... 2006 DBLP  DOI  BibTeX  RDF binary decision diagrams, secure function evaluation
55Elsa Loekito, James Bailey Fast mining of high dimensional expressive contrast patterns using zero-suppressed binary decision diagrams. Search on Bibsonomy KDD The full citation details ... 2006 DBLP  DOI  BibTeX  RDF contrast patterns, disjunctive emerging patterns, zero-suppressed binary decision diagrams
55Jon T. Butler, Tsutomu Sasao, Munehiro Matsuura Average Path Length of Binary Decision Diagrams. Search on Bibsonomy IEEE Trans. Computers The full citation details ... 2005 DBLP  DOI  BibTeX  RDF average path length, worst-case path length, APL, Binary decision diagrams, BDD
55John Whaley, Monica S. Lam Cloning-based context-sensitive pointer alias analysis using binary decision diagrams. Search on Bibsonomy PLDI The full citation details ... 2004 DBLP  DOI  BibTeX  RDF inclusion-based, Java, scalable, logic programming, program analysis, Datalog, binary decision diagrams, cloning, pointer analysis, context-sensitive
55Barbara J. Czerny, Mats Per Erik Heimdahl Identifying Domain Axioms Using Binary Decision Diagrams. Search on Bibsonomy HASE The full citation details ... 1999 DBLP  DOI  BibTeX  RDF Static Requirements Analysis, Domain Axioms, Spurious Errors, Completeness Analysis, False Positives, Consistency Analysis, Binary Decision Diagrams (BDDs)
55Christoph Scholl, Rolf Drechsler, Bernd Becker 0001 Functional simulation using binary decision diagrams. Search on Bibsonomy ICCAD The full citation details ... 1997 DBLP  DOI  BibTeX  RDF Binary Decision Diagrams, Functional simulation
52Beate Bollig, Ingo Wegener Read-once Projections and Formal Circuit Verification with Binary Decision Diagrams. Search on Bibsonomy STACS The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
52Rolf Drechsler, Bernd Becker 0001 Dynamic minimization of OKFDDs. Search on Bibsonomy ICCD The full citation details ... 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
51Edmund M. Clarke, Masahiro Fujita, Xudong Zhao Hybrid decision diagrams. Search on Bibsonomy ICCAD The full citation details ... 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
48François Macé, François-Xavier Standaert, Jean-Jacques Quisquater, Jean-Didier Legat A Design Methodology for Secured ICs Using Dynamic Current Mode Logic. Search on Bibsonomy PATMOS The full citation details ... 2005 DBLP  DOI  BibTeX  RDF Differential Pull Down Networks, Side-channel attack, Differential Power Analysis, Binary Decision Diagrams
48Albert Nymeyer, Kairong Qian Heuristic Search Algorithms Based on Symbolic Data Structures. Search on Bibsonomy Australian Conference on Artificial Intelligence The full citation details ... 2003 DBLP  DOI  BibTeX  RDF shortest path, Heuristic search, binary decision diagrams
48Kazuo Iwama, Mitsushi Nouzoe, Shuzo Yajima Optimizing OBDDs Is Still Intractable for Monotone Functions. Search on Bibsonomy MFCS The full citation details ... 1998 DBLP  DOI  BibTeX  RDF NP-completeness, Ordered Binary Decision Diagrams, Monotone Functions
48Edmund M. Clarke, Orna Grumberg, David E. Long Verification Tools for Finite-State Concurrent Systems. Search on Bibsonomy REX School/Symposium The full citation details ... 1993 DBLP  DOI  BibTeX  RDF model checking, temporal logic, binary decision diagrams, automatic verification
47Fabio Somenzi Efficient manipulation of decision diagrams. Search on Bibsonomy STTT The full citation details ... 2001 DBLP  DOI  BibTeX  RDF Strong canonical form, Variable reordering, Binary decision diagrams
44Stergios Stergiou, Jawahar Jain Dynamically resizable binary decision diagrams. Search on Bibsonomy ACM Great Lakes Symposium on VLSI The full citation details ... 2010 DBLP  DOI  BibTeX  RDF binary decision diagrams, compact
44Shinobu Nagayama, Tsutomu Sasao, Jon T. Butler Numerical Function Generators Using Edge-Valued Binary Decision Diagrams. Search on Bibsonomy ASP-DAC The full citation details ... 2007 DBLP  DOI  BibTeX  RDF multiterminal BDD, numerical function generators, edge-valued binary decision diagrams, segment index encoder
44Heraldo 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. Search on Bibsonomy SIBGRAPI The full citation details ... 1999 DBLP  DOI  BibTeX  RDF Morphological Machines, Canonical Decomposition, W-operators, Mathematical Morphology, Binary Decision Diagrams
44Arlindo L. Oliveira, Luca P. Carloni, Tiziano Villa, Alberto L. Sangiovanni-Vincentelli Exact Minimization of Binary Decision Diagrams Using Implicit Techniques. Search on Bibsonomy IEEE Trans. Computers The full citation details ... 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
44MoonBae Song, Hoon Chang A variable reordering method for fast optimization of binary decision diagrams. Search on Bibsonomy Asian Test Symposium The full citation details ... 1997 DBLP  DOI  BibTeX  RDF variable reordering, distributed reordering algorithm, dynamic variable ordering, window permutation, optimization, binary decision diagrams, computation time, circuit optimisation
44Debashis Bhattacharya, Prathima Agrawal, Vishwani D. Agrawal Test Generation for Path Delay Faults Using Binary Decision Diagrams. Search on Bibsonomy IEEE Trans. Computers The full citation details ... 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
44Ingo Wegener Comments on "A Characterization of Binary Decision Diagrams". Search on Bibsonomy IEEE Trans. Computers The full citation details ... 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
44Sreejit Chakravarty A Characterization of Binary Decision Diagrams. Search on Bibsonomy IEEE Trans. Computers The full citation details ... 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
44Magdy S. Abadir, Hassan K. Reghbati Functional Test Generation for Digital Circuits Described Using Binary Decision Diagrams. Search on Bibsonomy IEEE Trans. Computers The full citation details ... 1986 DBLP  DOI  BibTeX  RDF fault detection, fault model, Binary decision diagrams, functional faults, functional test generation, D algorithm
43Shinobu Nagayama, Tsutomu Sasao Complexities of Graph-Based Representations for Elementary Functions. Search on Bibsonomy IEEE Trans. Computers The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
42Eric A. Hansen, Rong Zhou 0001, Zhengzhu Feng Symbolic Heuristic Search Using Decision Diagrams. Search on Bibsonomy SARA The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
41Amelia Shen, Srinivas Devadas, Abhijit Ghosh Probabilistic manipulation of Boolean functions using free Boolean diagrams. Search on Bibsonomy IEEE Trans. on CAD of Integrated Circuits and Systems The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
41Zhengdao Xu, Hans-Arno Jacobsen Expressive Location-Based Continuous Query Evaluation with Binary Decision Diagrams. Search on Bibsonomy ICDE The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
41Jan Kára, Daniel Král Free binary decision diagrams for the computation of EARn. Search on Bibsonomy Computational Complexity The full citation details ... 2006 DBLP  DOI  BibTeX  RDF Subject classification, 94C10
41Jan Kára, Daniel Král Optimal Free Binary Decision Diagrams for Computation of EARn. Search on Bibsonomy MFCS The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
39Shinobu Nagayama, Tsutomu Sasao On the optimization of heterogeneous MDDs. Search on Bibsonomy IEEE Trans. on CAD of Integrated Circuits and Systems The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
39Marta Z. Kwiatkowska, Gethin Norman, David Parker 0001 Probabilistic symbolic model checking with PRISM: a hybrid approach. Search on Bibsonomy STTT The full citation details ... 2004 DBLP  DOI  BibTeX  RDF Binary decision diagrams, Symbolic model checking, Probabilistic model checking
39Kazuo Kawakubo, Koji Tanaka, Hiromi Hiraishi Formal Verification Of Self-Testing Properties Of Combinational Circuits. Search on Bibsonomy Asian Test Symposium The full citation details ... 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
38Frank Schmiedle, Wolfgang Günther 0001, Rolf Drechsler Dynamic Re-Encoding During MDD Minimization. Search on Bibsonomy ISMVL The full citation details ... 2000 DBLP  DOI  BibTeX  RDF variable grouping, MDD, BDD, sifting
37Rolf Drechsler, Detlef Sieling Binary decision diagrams in theory and practice. Search on Bibsonomy STTT The full citation details ... 2001 DBLP  DOI  BibTeX  RDF data structure, Boolean function, Binary decision diagram, VLSI CAD, Branching program
36Beate Bollig On the OBDD Complexity of Threshold Functions and the Variable Ordering Problem. Search on Bibsonomy SOFSEM The full citation details ... 2009 DBLP  DOI  BibTeX  RDF variable ordering problem, Computational complexity, ordered binary decision diagrams, threshold functions
36Andrei Rimsa, Luis E. Zárate, Mark A. J. Song Handling Large Formal Context Using BDD - Perspectives and Limitations. Search on Bibsonomy ICFCA The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Formal Concept Analysis, Binary Decision Diagrams, Formal Context, Formal Concept
36Raffaella Gentilini, Carla Piazza, Alberto Policriti Symbolic Graphs: Linear Solutions to Connectivity Related Problems. Search on Bibsonomy Algorithmica The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Massive graphs, Model checking, Ordered binary decision diagrams, Biconnected components, Strongly connected components
36Ondrej Lhoták, Laurie J. Hendren Relations as an abstraction for BDD-based program analysis. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Boolean formula satisfiability, physical domain assignment, Java, program analysis, Binary decision diagrams, language design, relations, points-to analysis
36Beate Bollig, Niko Range, Ingo Wegener Exact OBDD Bounds for Some Fundamental Functions. Search on Bibsonomy SOFSEM The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Computational complexity, lower bounds, ordered binary decision diagrams
36Nathan Segerlind On the Relative Efficiency of Resolution-Like Proofs and Ordered Binary Decision Diagram Proofs. Search on Bibsonomy IEEE Conference on Computational Complexity The full citation details ... 2008 DBLP  DOI  BibTeX  RDF lower bounds, resolution, ordered binary decision diagrams, propositional proof complexity
36Beate Bollig On the OBDD Complexity of the Most Significant Bit of Integer Multiplication. Search on Bibsonomy TAMC The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Computational complexity, lower bounds, ordered binary decision diagrams, integer multiplication
36Wendy Johnston, Kirsten Winter, Lionel van den Berg, Paul A. Strooper, Peter J. Robinson 0001 Model-Based Variable and Transition Orderings for Efficient Symbolic Model Checking. Search on Bibsonomy FM The full citation details ... 2006 DBLP  DOI  BibTeX  RDF partitioned transition relations, clustering, Binary Decision Diagrams, Symbolic model checking, image computation, railway interlockings
36Santosh Biswas, Siddhartha Mukhopadhyay, Amit Patra A Formal Approach to On-Line Monitoring of Digital VLSI Circuits: Theory, Design and Implementation. Search on Bibsonomy J. Electronic Testing The full citation details ... 2005 DBLP  DOI  BibTeX  RDF detection latency, discrete event systems, ordered binary decision diagrams, fault detection and diagnosis
36Jianwen Zhu Towards scalable flow and context sensitive pointer analysis. Search on Bibsonomy DAC The full citation details ... 2005 DBLP  DOI  BibTeX  RDF high-level synthesis, binary decision diagrams, pointer analysis
36Ondrej Lhoták, Laurie J. Hendren Jedd: a BDD-based relational extension of Java. Search on Bibsonomy PLDI The full citation details ... 2004 DBLP  DOI  BibTeX  RDF boolean formula satisfiability, Java, program analysis, binary decision diagrams, language design, relations
36Jürgen Ruf, Thomas Kropf Symbolic Verification and Analysis of Discrete Timed Systems. Search on Bibsonomy Formal Methods in System Design The full citation details ... 2003 DBLP  DOI  BibTeX  RDF multi terminal binary decision diagrams, real-time systems, formal verification, symbolic model checking
36Amit Goel, Gagan Hasteer, Randal E. Bryant Symbolic representation with ordered function templates. Search on Bibsonomy DAC The full citation details ... 2003 DBLP  DOI  BibTeX  RDF function templates, logic design verification, boolean functions, binary decision diagrams, symbolic simulation
36Marc Berndl, Ondrej Lhoták, Feng Qian, Laurie J. Hendren, Navindra Umanee Points-to analysis using BDDs. Search on Bibsonomy PLDI The full citation details ... 2003 DBLP  DOI  BibTeX  RDF binary decision diagrams, points-to analysis
36Maria K. Michael, Spyros Tragoudas ATPG tools for delay faults at the functional level. Search on Bibsonomy ACM Trans. Design Autom. Electr. Syst. The full citation details ... 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
36William Chan 0001, Richard J. Anderson, Paul Beame, David H. Jones, David Notkin, William E. Warner Optimizing Symbolic Model Checking for Statecharts. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 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
36Laura Heinrich-Litan, Paul Molitor Least Upper Bounds for the Size of OBDDs Using Symmetry Properties. Search on Bibsonomy IEEE Trans. Computers The full citation details ... 2000 DBLP  DOI  BibTeX  RDF upper worst case bounds, partial symmetric Boolean functions, Binary decision diagrams, variable ordering
36Sérgio Vale Aguiar Campos, Edmund M. Clarke Analysis and Verification of Real-Time Systems Using Quantitative Symbolic Algorithms. Search on Bibsonomy STTT The full citation details ... 1999 DBLP  DOI  BibTeX  RDF Quantitative timing analysis, Verus, Real-time systems, Binary decision diagrams, Symbolic model checking
36Richard J. Anderson, Paul Beame, William Chan 0001, David Notkin Experiences with the Application of Symbolic Model Checking to the Analysis of Software Specifications. Search on Bibsonomy Ershov Memorial Conference The full citation details ... 1999 DBLP  DOI  BibTeX  RDF finite state representations, Formal methods, formal verification, binary decision diagrams, symbolic model checking, software specification
36Mats Per Erik Heimdahl, Barbara J. Czerny Using PVS to analyze hierarchical state-based requirements for completeness and consistency. Search on Bibsonomy HASE The full citation details ... 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
36Frank Poirot, Gerard Tarroux, Ramine Roane Optimization using implicit techniques for industrial designs. Search on Bibsonomy Great Lakes Symposium on VLSI The full citation details ... 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
36Fulvio Corno, Paolo Prinetto, Matteo Sonza Reorda, Uwe Gläser, Heinrich Theodor Vierhaus Improving topological ATPG with symbolic techniques. Search on Bibsonomy VTS The full citation details ... 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
36David E. Long, Mahesh A. Iyer, Miron Abramovici Identifying sequentially untestable faults using illegal states. Search on Bibsonomy VTS The full citation details ... 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
36Soumitra Bose, Vishwani D. Agrawal Sequential logic path delay test generation by symbolic analysis. Search on Bibsonomy Asian Test Symposium The full citation details ... 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
36Silvano Gai, Maurizio Rebaudengo, Matteo Sonza Reorda An improved data parallel algorithm for Boolean function manipulation using BDDs. Search on Bibsonomy PDP The full citation details ... 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
36Manish Pandey, Alok Jain, Randal E. Bryant, Derek L. Beatty, Gary York, Samir Jain Extraction of finite state machines from transistor netlists by symbolic simulation. Search on Bibsonomy ICCD The full citation details ... 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
35Rajeev K. Ranjan, Jagesh V. Sanghavi, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli Binary decision diagrams on network of workstation. Search on Bibsonomy ICCD The full citation details ... 1996 DBLP  DOI  BibTeX  RDF memory resources, breadth-first technique, verification, Boolean functions, synthesis, binary decision diagram, network of workstations
35Kazuhisa Hosaka, Yasuhiko Takenaga, Shuzo Yajima On the Size of Ordered Binary Decision Diagrams Representing Threshold Functions. Search on Bibsonomy ISAAC The full citation details ... 1994 DBLP  DOI  BibTeX  RDF
35Luc Robert, Grégoire Malandain Fast Binary Image Processing Using Binary Decision Diagrams. Search on Bibsonomy CVPR The full citation details ... 1997 DBLP  DOI  BibTeX  RDF binary image processing, mathematical morphology, BDD, digital topology
35Andrew S. Miner, David Parker 0001 Symbolic Representations and Analysis of Large Probabilistic Systems. Search on Bibsonomy Validation of Stochastic Systems The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
35Constantinos Kotsokalis, Ramin Yahyapour, Miguel Angel Rojas González Modeling Service Level Agreements with Binary Decision Diagrams. Search on Bibsonomy ICSOC/ServiceWave The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
35Esben Rune Hansen Encoding CSPs with Zero-Suppressed Decision Diagrams. Search on Bibsonomy ICTAI (1) The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
34Bernd Becker 0001, Rolf Drechsler, Michael Theobald OKFDDs versus OBDDs and OFDDs. Search on Bibsonomy ICALP The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
33Norbert Lehmann Shared Ordered Binary Decision Diagrams for Dempster-Shafer Theory. Search on Bibsonomy ECSQARU The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
32Takashi Horiyama, Toshihide Ibaraki Translation among CNFs, Characteristic Models and Ordered Binary Decision Diagrams. Search on Bibsonomy ISAAC The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
32Carl Pixley, Seh-Woong Jeong, Gary D. Hachtel Exact calculation of synchronizing sequences based on binary decision diagrams. Search on Bibsonomy IEEE Trans. on CAD of Integrated Circuits and Systems The full citation details ... 1994 DBLP  DOI  BibTeX  RDF
32Masahiro Fujita, Hisanori Fujisawa, Yusuke Matsunaga Variable ordering algorithms for ordered binary decision diagrams and their evaluation. Search on Bibsonomy IEEE Trans. on CAD of Integrated Circuits and Systems The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
30Jean-Michel Couvreur, Yann Thierry-Mieg Hierarchical Decision Diagrams to Exploit Model Structure. Search on Bibsonomy FORTE The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
30Dragan Jankovic, Radomir S. Stankovic, Rolf Drechsler Reduction of Sizes of Multi-Valued Decision Diagrams by Copy Propertie. Search on Bibsonomy ISMVL The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
30Tsutomu Sasao, Jon T. Butler Planar Multiple-Valued Decision Diagrams. Search on Bibsonomy ISMVL The full citation details ... 1995 DBLP  DOI  BibTeX  RDF planar multiple-valued decision diagrams, monotone increasing functions, binary functions, field programmable gate arrays, programmable logic arrays, multivalued logic circuits, threshold logic, symmetric functions, threshold functions
30Osnat Keren Reduction of Average Path Length in Binary Decision Diagrams by Spectral Methods. Search on Bibsonomy IEEE Trans. Computers The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Logic Design, Spectral methods, Automatic synthesis
30Gary Hardy, Corinne Lucet, Nikolaos Limnios K-Terminal Network Reliability Measures With Binary Decision Diagrams. Search on Bibsonomy IEEE Trans. Reliability The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
30Tarik Hadzic, John N. Hooker Cost-Bounded Binary Decision Diagrams for 0-1 Programming. Search on Bibsonomy CPAIOR The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
30Richard Mark Downing Evolving Binary Decision Diagrams with Emergent Variable Orderings. Search on Bibsonomy PPSN The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
30Sungroh Yoon, Christine Nardini, Luca Benini, Giovanni De Micheli Discovering Coherent Biclusters from Gene Expression Data Using Zero-Suppressed Binary Decision Diagrams. Search on Bibsonomy IEEE/ACM Trans. Comput. Biology Bioinform. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF Clustering, logic design, life and medical sciences, bioinformatics (genome or protein) databases
30John Whaley, Dzintars Avots, Michael Carbin, Monica S. Lam Using Datalog with Binary Decision Diagrams for Program Analysis. Search on Bibsonomy APLAS The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
30Richard Mark Downing Evolving binary decision diagrams using implicit neutrality. Search on Bibsonomy Congress on Evolutionary Computation The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
30Wolfgang Lenders, Christel Baier Genetic Algorithms for the Variable Ordering Problem of Binary Decision Diagrams. Search on Bibsonomy FOGA The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
30Guoli Li, Shuang Hou, Hans-Arno Jacobsen A Unified Approach to Routing, Covering and Merging in Publish/Subscribe Systems Based on Modified Binary Decision Diagrams. Search on Bibsonomy ICDCS The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
30Christophe Mues, Jan Vanthienen Efficient Rule Base Verification Using Binary Decision Diagrams. Search on Bibsonomy DEXA The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
30Christophe Mues, Jan Vanthienen Improving the Scalability of Rule Base Verification Using Binary Decision Diagrams: An Empirical Study. Search on Bibsonomy KI The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
30Xiangyu Zhang 0001, Rajiv Gupta 0001, Youtao Zhang Efficient Forward Computation of Dynamic Slices Using Reduced Ordered Binary Decision Diagrams. Search on Bibsonomy ICSE The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
30Franco Raimondi, Alessio Lomuscio Verification of Multiagent Systems via Ordered Binary Decision Diagrams: An Algorithm and Its Implementation. Search on Bibsonomy AAMAS The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
30Wolfgang Günther 0001, Rolf Drechsler Efficient Minimization and Manipulation of Linearly Transformed Binary Decision Diagrams. Search on Bibsonomy IEEE Trans. Computers The full citation details ... 2003 DBLP  DOI  BibTeX  RDF formal verification, Binary decision diagram, minimization, linear transformation
30Christoph Scholl, Bernd Becker 0001, Andreas Brogle The multiple variable order problem for binary decision diagrams: theory and practical application. Search on Bibsonomy ASP-DAC The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
30Rudolf Berghammer, Barbara Leoniuk, Ulf Milanese Implementation of Relational Algebra Using Binary Decision Diagrams. Search on Bibsonomy RelMiCS The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
30Jan Friso Groote, Hans Zantema Resolution and Binary Decision Diagrams Cannot Simulate Each Other Polynomially. Search on Bibsonomy Ershov Memorial Conference The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
30Steffen Hölldobler, Hans-Peter Störr Solving the Entailment Problem in the Fluent Calculus Using Binary Decision Diagrams. Search on Bibsonomy Computational Logic The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
30Jan Friso Groote, Jaco van de Pol Equational Binary Decision Diagrams. Search on Bibsonomy LPAR The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
30Daniel Král Algebraic and Uniqueness Properties of Parity Ordered Binary Decision Diagrams and Their Generalization. Search on Bibsonomy MFCS The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
30Beate Bollig, Ingo Wegener Complexity Theoretical Results on Partitioned (Nondeterministic) Binary Decision Diagrams. Search on Bibsonomy Theory Comput. Syst. The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #100 of 840 (100 per page; Change: )
Pages: [1][2][3][4][5][6][7][8][9][>>]
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license