Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
17 | Sajed Miremadi, Bengt Lennartson, Knut Åkesson |
A BDD-Based Approach for Modeling Plant and Supervisor by Extended Finite Automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Control. Syst. Technol. ![In: IEEE Trans. Control. Syst. Technol. 20(6), pp. 1421-1435, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
17 | Stefan Edelkamp, Peter Kissmann, Álvaro Torralba |
Lex-Partitioning: A New Option for BDD Search ![Search on Bibsonomy](Pics/bibsonomy.png) |
GRAPHITE ![In: Proceedings First Workshop on GRAPH Inspection and Traversal Engineering, GRAPHITE 2012, Tallinn, Estonia, 1st April 2012., pp. 66-82, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
17 | Liudong Xing, Honggang Wang 0001, Chaonan Wang, Yujie Wang |
BDD-based two-party trust sensitivity analysis for social networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Secur. Networks ![In: Int. J. Secur. Networks 7(4), pp. 242-251, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
17 | Truong Khanh Nguyen, Jun Sun 0001, Yang Liu 0003, Jin Song Dong |
Symbolic Model-Checking of Stateful Timed CSP Using BDD and Digitization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFEM ![In: Formal Methods and Software Engineering - 14th International Conference on Formal Engineering Methods, ICFEM 2012, Kyoto, Japan, November 12-16, 2012. Proceedings, pp. 398-413, 2012, Springer, 978-3-642-34280-6. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
17 | Mathieu Giorgino, Martin Strecker |
Correctness of Pointer Manipulating Algorithms Illustrated by a Verified BDD Construction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FM ![In: FM 2012: Formal Methods - 18th International Symposium, Paris, France, August 27-31, 2012. Proceedings, pp. 202-216, 2012, Springer, 978-3-642-32758-2. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
17 | Truong Khanh Nguyen, Jun Sun 0001, Yang Liu 0003, Jin Song Dong, Yan Liu 0012 |
Improved BDD-Based Discrete Analysis of Timed Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FM ![In: FM 2012: Formal Methods - 18th International Symposium, Paris, France, August 27-31, 2012. Proceedings, pp. 326-340, 2012, Springer, 978-3-642-32758-2. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
17 | Dirk Beyer 0001, Andreas Stahlbauer |
BDD-Based Software Model Checking with CPAchecker. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MEMICS ![In: Mathematical and Engineering Methods in Computer Science, 8th International Doctoral Workshop, MEMICS 2012, Znojmo, Czech Republic, October 25-28, 2012, Revised Selected Papers, pp. 1-11, 2012, Springer, 978-3-642-36044-2. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
17 | Rajeev Goré, Jimmy Thomson 0001 |
BDD-based automated reasoning in propositional non-classical logics: progress report. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PAAR@IJCAR ![In: Third Workshop on Practical Aspects of Automated Reasoning, PAAR-2012, Manchester, UK, June 30 - July 1, 2012, pp. 43-57, 2012, EasyChair. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
17 | Rajeev Goré, Jimmy Thomson 0001 |
BDD-Based Automated Reasoning for Propositional Bi-Intuitionistic Tense Logics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IJCAR ![In: Automated Reasoning - 6th International Joint Conference, IJCAR 2012, Manchester, UK, June 26-29, 2012. Proceedings, pp. 301-315, 2012, Springer, 978-3-642-31364-6. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
17 | Elena Dubrova, Shohreh Sharif Mansouri |
A BDD-Based Approach to Constructing LFSRs for Parallel CRC Encoding. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISMVL ![In: 42nd IEEE International Symposium on Multiple-Valued Logic, ISMVL 2012, Victoria, BC, Canada, May 14-16, 2012, pp. 128-133, 2012, IEEE Computer Society, 978-1-4673-0908-0. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
17 | Tatsuhiro Tsuchiya |
A BDD-Based Approach to Reliability Optimal Module Allocation in Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PRDC ![In: IEEE 18th Pacific Rim International Symposium on Dependable Computing, PRDC 2012, Niigata, Japan, November 18-19, 2012, pp. 121-126, 2012, IEEE Computer Society, 978-1-4673-4849-2. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
17 | Guanfeng Lv, Yao Chen, Yachao Feng, Qingliang Chen, Kaile Su |
A Succinct and Efficient Implementation of a 2^32 BDD Package. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TASE ![In: Sixth International Symposium on Theoretical Aspects of Software Engineering, TASE 2012, 4-6 July 2012, Beijing, China, pp. 241-244, 2012, IEEE Computer Society, 978-0-7695-4751-0. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
17 | Artur Meski, Wojciech Penczek, Agata Pólrola |
BDD-based Bounded Model Checking for Temporal Properties of 1-Safe Petri Nets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Fundam. Informaticae ![In: Fundam. Informaticae 109(3), pp. 305-321, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
17 | Chi-Chou Kao |
BDD-based synthesis for mixed CMOS/PTL logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Circuit Theory Appl. ![In: Int. J. Circuit Theory Appl. 39(9), pp. 923-932, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
17 | Orna Grumberg, Shlomi Livne, Shaul Markovitch |
Learning to Order BDD Variables in Verification ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1107.0020, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP BibTeX RDF |
|
17 | Christian Appold |
Improving BDD Based Symbolic Model Checking with Isomorphism Exploiting Transition Relations ![Search on Bibsonomy](Pics/bibsonomy.png) |
GandALF ![In: Proceedings of Second International Symposium on Games, Automata, Logics and Formal Verification, GandALF 2011, Minori, Italy, 15-17th June 2011., pp. 17-30, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
17 | Michael A. Kochte, Sandip Kundu, Kohei Miyase, Xiaoqing Wen, Hans-Joachim Wunderlich |
Efficient BDD-based Fault Simulation in Presence of Unknown Values. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Asian Test Symposium ![In: Proceedings of the 20th IEEE Asian Test Symposium, ATS 2011, New Delhi, India, November 20-23, 2011, pp. 383-388, 2011, IEEE Computer Society, 978-1-4577-1984-4. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
17 | André Gießler, Jörg Ritter 0002, Paul Molitor |
BDD-based Analysis of Test Cases for PLC-based Railway Interlocking Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MBMV ![In: Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), Oldenburg, Germany, February 21-23, 2011, pp. 133-143, 2011, OFFIS-Institut für Informatik. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP BibTeX RDF |
|
17 | Christelle Jacob, Didier Dubois, Janette Cardoso |
Uncertainty Handling in Quantitative BDD-Based Fault-Tree Analysis by Interval Computation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SUM ![In: Scalable Uncertainty Management - 5th International Conference, SUM 2011, Dayton, OH, USA, October 10-13, 2011. Proceedings, pp. 205-218, 2011, Springer, 978-3-642-23962-5. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
17 | Sajed Miremadi, Bengt Lennartson, Knut Åkesson |
BDD-based supervisory control on extended finite automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CASE ![In: IEEE Conference on Automation Science and Engineering, CASE 2011, Trieste, Italy, Aug. 24-27, 2011, pp. 25-31, 2011, IEEE, 978-1-4577-1730-7. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
17 | Kotb Jabeur, Nataliya Yakymets, Ian O'Connor, Sébastien Le Beux |
Ambipolar double-gate FET binary-decision- diagram (Am-BDD) for reconfigurable logic cells. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NANOARCH ![In: Proceedings of the 2011 IEEE/ACM International Symposium on Nanoscale Architectures, NANOARCH 2011, San Diego, CA, USA, June 8-9, 2011, pp. 162-168, 2011, IEEE Computer Society, 978-1-4577-0993-7. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
17 | Michael Rose, Thomas Plantard, Willy Susilo |
Improving BDD Cryptosystems in General Lattices. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISPEC ![In: Information Security Practice and Experience - 7th International Conference, ISPEC 2011, Guangzhou, China, May 30 - June 1, 2011. Proceedings, pp. 152-167, 2011, Springer, 978-3-642-21030-3. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
17 | Oswaldo Olivo, E. Allen Emerson |
A More Efficient BDD-Based QBF Solver. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: Principles and Practice of Constraint Programming - CP 2011 - 17th International Conference, CP 2011, Perugia, Italy, September 12-16, 2011. Proceedings, pp. 675-690, 2011, Springer, 978-3-642-23785-0. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
17 | Sergei A. Lozhkin, Alexander E. Shiganov |
High Accuracy Asymptotic Bounds on the BDD Size and Weight of the Hardest Functions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Fundam. Informaticae ![In: Fundam. Informaticae 104(3), pp. 239-253, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
17 | Yung-Ruei Chang, Chin-Yu Huang, Sy-Yen Kuo |
Performance assessment and reliability analysis of dependable and distributed computing systems based on BDD and recursive merge. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Appl. Math. Comput. ![In: Appl. Math. Comput. 217(1), pp. 403-413, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
17 | Graeme Gange, Peter J. Stuckey, Vitaly Lagoon |
Fast Set Bounds Propagation Using a BDD-SAT Hybrid. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Artif. Intell. Res. ![In: J. Artif. Intell. Res. 38, pp. 307-338, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
17 | P. N. Bibilo, P. V. Leonchik |
Experimental investigation of the BDD optimization procedure effect on combinational CMOS circuit energy consumption. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Autom. Control. Comput. Sci. ![In: Autom. Control. Comput. Sci. 44(5), pp. 302-307, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
17 | Robert Wille, Rolf Drechsler |
BDD-Based Synthesis of Reversible Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Appl. Metaheuristic Comput. ![In: Int. J. Appl. Metaheuristic Comput. 1(4), pp. 25-41, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
17 | Gopal Paul, Rohit Reddy, Chittaranjan A. Mandal, Bhargab B. Bhattacharya |
A BDD-Based Design of an Area-Power Efficient Asynchronous Adder. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISVLSI ![In: IEEE Computer Society Annual Symposium on VLSI, ISVLSI 2010, 5-7 July 2010, Lixouri Kefalonia, Greece, pp. 29-34, 2010, IEEE Computer Society, 978-0-7695-4076-4. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
17 | Yuqing Tang 0001, Timothy J. Norman, Simon Parsons |
Computing Argumentation in Polynomial Number of BDD Operations: A Preliminary Report. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ArgMAS ![In: Argumentation in Multi-Agent Systems - 7th International Workshop, ArgMAS 2010, Toronto, ON, Canada, May 10, 2010 Revised, Selected and Invited Papers, pp. 268-285, 2010, Springer, 978-3-642-21939-9. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
17 | Tobias Nopper, Christian Miller, Matthew Lewis 0004, Bernd Becker 0001, Christoph Scholl 0001 |
SAT Modulo BDD -- A Combined Verification Approach for Incomplete Designs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MBMV ![In: Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), Dresden, Germany, February 22-24, 2010, pp. 107-116, 2010, Fraunhofer Verlag. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP BibTeX RDF |
|
17 | Hiroshi Kawai, Masao Ogino, Ryuji Shioya, Shinobu Yoshimura |
A Parallel Skyline Solver for Coarse Grid Correction of BDD Pre-conditioning in Domain Decomposition Method. ![Search on Bibsonomy](Pics/bibsonomy.png) |
BWCCA ![In: Proceedings of the Fifth International Conference on Broadband and Wireless Computing, Communication and Applications, BWCCA 2010, November 4-6, 2010, Fukuoka Institute of Technology, Fukuoka, Japan (In conjunction with the 3PGCIC-2010 International Conference), pp. 310-314, 2010, IEEE Computer Society, 978-0-7695-4236-2. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
17 | Quang Dinh, Deming Chen, Martin D. F. Wong |
BDD-based circuit restructuring for reducing dynamic power. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCD ![In: 28th International Conference on Computer Design, ICCD 2010, 3-6 October 2010, Amsterdam, The Netherlands, Proceedings, pp. 548-554, 2010, IEEE Computer Society, 978-1-4244-8936-7. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
17 | Gopal Paul, Santosh Biswas, Chittaranjan A. Mandal, Bhargab B. Bhattacharya |
A BDD-based approach to design power-aware on-line detectors for digital circuits. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SoCC ![In: Annual IEEE International SoC Conference, SoCC 2010, September 27-29, 2010, Las Vegas, NV, USA, Proceedings, pp. 343-346, 2010, IEEE, 978-1-4244-6682-5. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
17 | Sol Swords, Warren A. Hunt Jr. |
A Mechanically Verified AIG-to-BDD Conversion Algorithm. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ITP ![In: Interactive Theorem Proving, First International Conference, ITP 2010, Edinburgh, UK, July 11-14, 2010. Proceedings, pp. 435-449, 2010, Springer, 978-3-642-14051-8. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
17 | Andrew V. Jones, Alessio Lomuscio |
Distributed BDD-based BMC for the verification of multi-agent systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AAMAS ![In: 9th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2010), Toronto, Canada, May 10-14, 2010, Volume 1-3, pp. 675-682, 2010, IFAAMAS, 978-0-9826571-1-9. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP BibTeX RDF |
|
17 | Danai Chasaki, Tilman Wolf |
Fast regular expression matching in hardware using NFA-BDD combination. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ANCS ![In: Proceedings of the 2010 ACM/IEEE Symposium on Architecture for Networking and Communications Systems, ANCS 2010, San Diego, California, USA, October 25-26, 2010, pp. 12, 2010, ACM, 978-1-4503-0379-8. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
17 | Robert Wille, Rolf Drechsler |
Effect of BDD Optimization on Synthesis of Reversible and Quantum Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RC@ETAPS ![In: Proceedings of the Workshop on Reversible Computation, RC@ETAPS 2009, York, UK, March 22, 2009, pp. 57-70, 2009, Elsevier. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
17 | Yuchang Mo |
Variable Ordering to Improve BDD Analysis of Phased-Mission Systems With Multimode Failures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Reliab. ![In: IEEE Trans. Reliab. 58(1), pp. 53-57, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
17 | Yuchang Mo |
New Insights Into the BDD-Based Reliability Analysis of Phased-Mission Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Reliab. ![In: IEEE Trans. Reliab. 58(4), pp. 667-678, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
17 | Suzana Stojkovic, Milena Stankovic, Radomir S. Stankovic |
Transformation of BDD into Heterogeneous MDD with Minimal Cost. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEICE Trans. Fundam. Electron. Commun. Comput. Sci. ![In: IEICE Trans. Fundam. Electron. Commun. Comput. Sci. 92-A(10), pp. 2580-2587, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
17 | Petr Mikusek |
Multi-terminal BDD synthesis and applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FPL ![In: 19th International Conference on Field Programmable Logic and Applications, FPL 2009, August 31 - September 2, 2009, Prague, Czech Republic, pp. 721-722, 2009, IEEE, 978-1-4244-3892-1. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
17 | Rüdiger Ebendt, Rolf Drechsler |
Approximate BDD Minimization by Weighted A. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISCAS ![In: International Symposium on Circuits and Systems (ISCAS 2009), 24-17 May 2009, Taipei, Taiwan, pp. 2974-2977, 2009, IEEE, 978-1-4244-3827-3. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
17 | Wannes Meert, Jan Struyf, Hendrik Blockeel |
CP-Logic Theory Inference with Contextual Variable Elimination and Comparison to BDD Based Inference Methods. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ILP ![In: Inductive Logic Programming, 19th International Conference, ILP 2009, Leuven, Belgium, July 02-04, 2009. Revised Papers, pp. 96-109, 2009, Springer, 978-3-642-13839-3. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
17 | Yi Ren 0003, Linlin Liu, Shengkui Zeng |
Fault Tree Data Structure Based on XML and the Conversion Method to BDD. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSIE (2) ![In: CSIE 2009, 2009 WRI World Congress on Computer Science and Information Engineering, March 31 - April 2, 2009, Los Angeles, California, USA, 7 Volumes, pp. 264-268, 2009, IEEE Computer Society, 978-0-7695-3507-4. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
17 | Changqian Wang, Chenghua Wang |
A Method for Logic Circuit Test Generation Based on Boolean Partial Derivative and BDD. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSIE (3) ![In: CSIE 2009, 2009 WRI World Congress on Computer Science and Information Engineering, March 31 - April 2, 2009, Los Angeles, California, USA, 7 Volumes, pp. 499-504, 2009, IEEE Computer Society, 978-0-7695-3507-4. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
17 | Watis Leelapatra, Kanchana Kanchanasut, Chidchanok Lursinsap |
Displacement BDD and geometric transformations of binary decision diagram encoded images. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Pattern Recognit. Lett. ![In: Pattern Recognit. Lett. 29(4), pp. 438-456, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
17 | Veronika Ortner, Norbert Schirmer |
BDD Normalisation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Arch. Formal Proofs ![In: Arch. Formal Proofs 2008, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP BibTeX RDF |
|
17 | Tarik Hadzic, David Lesaint, Deepak Mehta 0001, Barry O'Sullivan, Luis Quesada 0001, Nic Wilson |
A BDD Approach to the Feature Subscription Problem. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECAI ![In: ECAI 2008 - 18th European Conference on Artificial Intelligence, Patras, Greece, July 21-25, 2008, Proceedings, pp. 698-702, 2008, IOS Press, 978-1-58603-891-5. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
17 | Soumya Eachempati, Vinay Saripalli, Narayanan Vijaykrishnan, Suman Datta |
Reconfigurable BDD based quantum circuits. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NANOARCH ![In: 2008 IEEE International Symposium on Nanoscale Architectures, NANOARCH 2008, Anaheim, CA, USA, June 12-13, 2008, pp. 61-67, 2008, IEEE Computer Society, 978-1-4244-2552-5. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
17 | Wilsin Gosti, Tiziano Villa, Alexander Saldanha, Alberto L. Sangiovanni-Vincentelli |
FSM Encoding for BDD Representations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Appl. Math. Comput. Sci. ![In: Int. J. Appl. Math. Comput. Sci. 17(1), pp. 113-124, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
17 | Munehiro Matsuura, Tsutomu Sasao |
BDD Representation for Incompletely Specified Multiple-Output Logic Functions and Its Applications to the Design of LUT Cascades. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEICE Trans. Fundam. Electron. Commun. Comput. Sci. ![In: IEICE Trans. Fundam. Electron. Commun. Comput. Sci. 90-A(12), pp. 2762-2769, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
17 | Tarik Hadzic, Rune Møller Jensen, Henrik Reif Andersen |
Calculating Valid Domains for BDD-Based Interactive Configuration ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/0704.1394, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP BibTeX RDF |
|
17 | Ralf Wimmer 0001, Marc Herbstritt, Bernd Becker 0001 |
Forwarding, Splitting, and Block Ordering to Optimize BDD-based Bisimulation Computation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MBMV ![In: Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), Erlangen, Germany, March 5-7, 2007, pp. 203-212, 2007, Shaker, 978-3-8322-5956-3. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP BibTeX RDF |
|
17 | Sang-Young Cho, Minna Lee, Yoojin Chung |
A Microcanonical Optimization Algorithm for BDD Minimization Problem. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEA/AIE ![In: New Trends in Applied Artificial Intelligence, 20th International Conference on Industrial, Engineering and Other Applications of Applied Intelligent Systems, IEA/AIE 2007, Kyoto, Japan, June 26-29, 2007, Proceedings, pp. 992-1001, 2007, Springer, 978-3-540-73322-5. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
17 | Magdalena Kacprzak, Alessio Lomuscio, Artur Niewiadomski 0001, Wojciech Penczek, Franco Raimondi, Maciej Szreter |
Comparing BDD and SAT Based Techniques for Model Checking Chaum's Dining Cryptographers Protocol. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Fundam. Informaticae ![In: Fundam. Informaticae 72(1-3), pp. 215-234, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP BibTeX RDF |
|
17 | Guoqiang Pan, Ulrike Sattler, Moshe Y. Vardi |
BDD-based decision procedures for the modal logic K. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Appl. Non Class. Logics ![In: J. Appl. Non Class. Logics 16(1-2), pp. 169-208, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
17 | Watis Leelapatra, Kanchana Kanchanasut, Chidchanok Lursinsap |
Translation and Orthogonal Rotation of BDD Encoded Image. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IMECS ![In: Proceedings of the International MultiConference of Engineers and Computer Scientists 2006, IMECS '06, June 20-22, 2006, Hong Kong, China, pp. 525-530, 2006, Newswood Limited, 988-98671-3-3. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP BibTeX RDF |
|
17 | Florian Pigorsch, Christoph Scholl 0001, Stefan Disch |
Advanced Unbounded CTL Model Checking By Using AIGs, BDD Sweeping, and Quantifier Scheduling. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MBMV ![In: Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), Dresden, Germany, February 20-22, 2006, pp. 135-144, 2006, Fraunhofer Institut für Integrierte Schaltungen. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP BibTeX RDF |
|
17 | Gary Hardy, Corinne Lucet, Nikolaos Limnios |
A BDD-Based Heuristic Algorithm for Design of Reliable Networks with Minimal Cost. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MSN ![In: Mobile Ad-hoc and Sensor Networks, Second International Conference, MSN 2006, Hong Kong, China, December 13-15, 2006, Proceedings, pp. 244-255, 2006, Springer, 3-540-49932-6. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
17 | Tarik Hadzic, Henrik Reif Andersen |
A BDD-Based Polytime Algorithm for Cost-Bounded Interactive Configuration. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AAAI ![In: Proceedings, The Twenty-First National Conference on Artificial Intelligence and the Eighteenth Innovative Applications of Artificial Intelligence Conference, July 16-20, 2006, Boston, Massachusetts, USA, pp. 62-67, 2006, AAAI Press. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP BibTeX RDF |
|
17 | Rolf Drechsler, Görschwin Fey, Sebastian Kinder |
An Integrated Approach for Combining BDD and SAT Provers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VLSI Design ![In: 19th International Conference on VLSI Design (VLSI Design 2006), 3-7 January 2006, Hyderabad, India, pp. 237-242, 2006, IEEE Computer Society, 0-7695-2502-4. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
17 | Marc Fontaine, Stefan Burkhardt, Juha Kärkkäinen |
Bdd-based analysis of gapped q-gram Filters. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Found. Comput. Sci. ![In: Int. J. Found. Comput. Sci. 16(6), pp. 1121-1134, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
17 | Rüdiger Ebendt, Görschwin Fey, Rolf Drechsler |
Advanced BDD optimization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2005 |
DOI RDF |
|
17 | Witold Pedrycz, Zenon A. Sosnowski |
Genetic BDD-oriented Pattern Classifiers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Information Processing and Security Systems ![In: Information Processing and Security Systems., pp. 257-268, 2005, Springer, 978-0-387-25091-5. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
17 | Rüdiger Ebendt, Rolf Drechsler |
Exact BDD Minimization for Path-Related Objective Functions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VLSI-SoC ![In: VLSI-SoC: From Systems To Silicon, Proceedings of IFIP TC 10, WG 10.5, Thirteenth International Conference on Very Large Scale Integration of System on Chip (VLSI-SoC 2005), October 17-19, 2005, Perth, Australia, pp. 299-315, 2005, Springer, 978-0-387-73660-0. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
17 | Valavan Manohararajah, Deshanand P. Singh, Stephen Dean Brown |
Post-Placement BDD-Based Decomposition for FPGAs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FPL ![In: Proceedings of the 2005 International Conference on Field Programmable Logic and Applications (FPL), Tampere, Finland, August 24-26, 2005, pp. 31-38, 2005, IEEE, 0-7803-9362-7. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
17 | Erik Meer |
A BDD-Based Interactive Configurator for Modular Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: Principles and Practice of Constraint Programming - CP 2005, 11th International Conference, CP 2005, Sitges, Spain, October 1-5, 2005, Proceedings, pp. 883-883, 2005, Springer, 3-540-29238-1. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
17 | Gabriel P. Bischoff, Karl S. Brace, Gianpiero Cabodi, Sergio Nocco, Stefano Quer |
Exploiting Target Enlargement and Dynamic Abstraction within Mixed BDD and SAT Invariant Checking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
BMC@CAV ![In: Proceedings of the 2nd International Workshop on Bounded Model Checking, BMC@CAV 2004, Boston, MA, USA, July 18, 2004, pp. 33-49, 2004, Elsevier. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
17 | Woo Sik Jung, Sang-Hoon Han, Jaejoo Ha |
A fast BDD algorithm for large coherent fault trees analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Reliab. Eng. Syst. Saf. ![In: Reliab. Eng. Syst. Saf. 83(3), pp. 369-374, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
17 | Gianpiero Cabodi, Sergio Nocco, Stefano Quer |
Improving SAT-based Bounded Model Checking by Means of BDD-based Approximate Traversals. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Univers. Comput. Sci. ![In: J. Univers. Comput. Sci. 10(12), pp. 1696-1730, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
17 | Fadi A. Aloul, Igor L. Markov, Karem A. Sakallah |
MINCE: A Static Global Variable-Ordering Heuristic for SAT Search and BDD Manipulation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Univers. Comput. Sci. ![In: J. Univers. Comput. Sci. 10(12), pp. 1562-1596, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
17 | Rüdiger Ebendt, Wolfgang Günther 0001, Rolf Drechsler |
Combining ordered best-first search with branch and bound for exact BDD minimization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASP-DAC ![In: Proceedings of the 2004 Conference on Asia South Pacific Design Automation: Electronic Design and Solution Fair 2004, Yokohama, Japan, January 27-30, 2004, pp. 875-878, 2004, IEEE Computer Society, 0-7803-8175-0. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
17 | Rüdiger Ebendt, Rolf Drechsler |
A Tight Lower Bound for Dynamic BDD Reordering. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MBMV ![In: Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), Kaiserslautern, Germany, February 24-25, 2004, pp. 233-242, 2004, Shaker. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP BibTeX RDF |
|
17 | Marc Fontaine, Stefan Burkhardt, Juha Kärkkäinen |
BDD-Based Analysis of Gapped q-Gram Filters. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Stringology ![In: Proceedings of the Prague Stringology Conference 2004, Prague, Czech Republic, August 30 - September 1, 2004, pp. 56-68, 2004, Department of Computer Science and Engineering, Faculty of Electrical Engineering, Czech Technical University, 80-01-03050-4. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP BibTeX RDF |
|
17 | P. W. Chandana Prasad, Ali Assi 0001, Mohamed Raseen, Adnan Harb |
BDD Based Method for Fast Equivalence Checking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
International Conference on Computational Intelligence ![In: International Conference on Computational Intelligence, ICCI 2004, December 17-19, 2004, Istanbul, Turkey, Proceedings, pp. 474-477, 2004, International Computational Intelligence Society, 975-98458-1-4. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP BibTeX RDF |
|
17 | Mark G. Karpovsky, Radomir S. Stankovic, Jaakko Astola |
Construction of linearly transformed planar BDD by Walsh coefficients. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISCAS (4) ![In: Proceedings of the 2004 International Symposium on Circuits and Systems, ISCAS 2004, Vancouver, BC, Canada, May 23-26, 2004, pp. 517-520, 2004, IEEE, 0-7803-8251-X. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP BibTeX RDF |
|
17 | Tarik Hadzic |
A BDD-Based Approach to Interactive Configuration. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: Principles and Practice of Constraint Programming - CP 2004, 10th International Conference, CP 2004, Toronto, Canada, September 27 - October 1, 2004, Proceedings, pp. 797, 2004, Springer, 3-540-23241-9. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
17 | P. W. Chandana Prasad, Ali Assi 0001, Mohamed Raseen |
BDD Minimization Using Graph Parameter Permutation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESA/VLSI ![In: Proceedings of the International Conference on Embedded Systems and Applications, ESA '04 & Proceedings of the International Conference on VLSI, VLSI '04, June 21-24, 2004, Las Vegas, Nevada, USA, pp. 491-496, 2004, CSREA Press, 1-932415-41-6. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP BibTeX RDF |
|
17 | Masahito Kurihara, Hisashi Kondo |
Efficient BDD Encodings for Partial Order Constraints with Application to Expert Systems in Software Verification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEA/AIE ![In: Innovations in Applied Artificial Intelligence, 17th International Conference on Industrial and Engineering Applications of Artificial Intelligence and Expert Systems, IEA/AIE 2004, Ottawa, Canada, May 17-20, 2004. Proceedings, pp. 827-837, 2004, Springer, 3-540-22007-0. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
17 | Anuj Goel, Khurram Sajid, Hai Zhou 0001, Adnan Aziz, Vigyan Singhal |
BDD Based Procedures for a Theory of Equality with Uninterpreted Functions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Methods Syst. Des. ![In: Formal Methods Syst. Des. 22(3), pp. 205-224, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
logic of equality, BDDs, uninterpreted functions |
17 | Orna Grumberg, Shlomi Livne, Shaul Markovitch |
Learning to Order BDD Variables in Verification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Artif. Intell. Res. ![In: J. Artif. Intell. Res. 18, pp. 83-116, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
17 | Farn Wang |
Symbolic Parametric Analysis of Embedded Systems with BDD-like Data-Structures ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR cs.DS/0306113, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP BibTeX RDF |
|
17 | Tomas Bengtsson, Andrés Martinelli, Elena Dubrova |
A BDD-based fast heuristic algorithm for disjoint decomposition. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASP-DAC ![In: Proceedings of the 2003 Asia and South Pacific Design Automation Conference, ASP-DAC '03, Kitakyushu, Japan, January 21-24, 2003, pp. 191-196, 2003, ACM, 0-7803-7660-9. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
17 | Sivaram Gopalakrishnan, Vijay Durairaj, Priyank Kalla |
Integrating CNF and BDD based SAT solvers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HLDVT ![In: Eighth IEEE International High-Level Design Validation and Test Workshop 2003, San Francisco, CA, USA, November 12-14, 2003, pp. 51-56, 2003, IEEE Computer Society, 0-7803-8236-6. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
17 | Daniel Große, Rolf Drechsler |
BDD-based verification of scalable designs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HLDVT ![In: Eighth IEEE International High-Level Design Validation and Test Workshop 2003, San Francisco, CA, USA, November 12-14, 2003, pp. 123-128, 2003, IEEE Computer Society, 0-7803-8236-6. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
17 | Junhao Shi, Görschwin Fey, Rolf Drechsler |
BDD Based Synthesis of Symmetric Functions with Full Path-Delay Fault Testability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Asian Test Symposium ![In: 12th Asian Test Symposium (ATS 2003), 17-19 November 2003, Xian, China, pp. 290-293, 2003, IEEE Computer Society, 0-7695-1951-2. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
17 | Hung-Yau Lin, Sy-Yen Kuo, Fu-Min Yeh |
Minimal Cutset Enumeration and Network Reliability Evaluation by Recursive Merge and BDD. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISCC ![In: Proceedings of the Eighth IEEE Symposium on Computers and Communications (ISCC 2003), 30 June - 3 July 2003, Kiris-Kemer, Turkey, pp. 1341-1346, 2003, IEEE Computer Society, 0-7695-1961-X. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
17 | Sanath Jayasena |
Bdd-Based Engineering-Change Logic Synthesis ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2003 |
RDF |
|
17 | Michael Baldamus, Klaus Schneider 0001 |
The BDD Space Complexity of Different Forms of Concurrency. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Fundam. Informaticae ![In: Fundam. Informaticae 50(2), pp. 111-133, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP BibTeX RDF |
|
17 | Rakesh M. Verma, Sarah Hwang |
On the Structure of Counterexamples to Symmetric Orderings for BDD's. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CATS ![In: Computing: the Australasian Theory Symposium, CATS 2002, Melbourne, Australia, pp. 84-100, 2002, Elsevier. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
17 | Michael J. C. Gordon |
Programming Combinations of Deduction and BDD-based Symbolic Calculation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LMS J. Comput. Math. ![In: LMS J. Comput. Math. 5, pp. 56-76, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
17 | Rolf Drechsler, Jochen Römmler |
Implementation and Visualization of a BDD Package in JAVA. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MBMV ![In: Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), Tübingen, Germany, February 25-27, 2002, pp. 219-228, 2002, Shaker. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP BibTeX RDF |
|
17 | Rune Møller Jensen, Randal E. Bryant, Manuela M. Veloso |
SetA*: An Efficient BDD-Based Heuristic Search Algorithm. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AAAI/IAAI ![In: Proceedings of the Eighteenth National Conference on Artificial Intelligence and Fourteenth Conference on Innovative Applications of Artificial Intelligence, July 28 - August 1, 2002, Edmonton, Alberta, Canada., pp. 668-673, 2002, AAAI Press / The MIT Press. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP BibTeX RDF |
|
17 | Matthias Krause 0001 |
BDD-Based Cryptanalysis of Keystream Generators. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EUROCRYPT ![In: Advances in Cryptology - EUROCRYPT 2002, International Conference on the Theory and Applications of Cryptographic Techniques, Amsterdam, The Netherlands, April 28 - May 2, 2002, Proceedings, pp. 222-237, 2002, Springer, 3-540-43553-0. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
17 | Fadi A. Aloul, Igor L. Markov, Karem A. Sakallah |
Improving the Efficiency of Circuit-to-BDD Conversion by Gate and Input Ordering. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCD ![In: 20th International Conference on Computer Design (ICCD 2002), VLSI in Computers and Processors, 16-18 September 2002, Freiburg, Germany, Proceedings, pp. 64-69, 2002, IEEE Computer Society, 0-7695-1700-5. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
17 | Mikael Kerttu, Per Lindgren, Rolf Drechsler, Mitchell A. Thornton |
Low Power Optimization Techniques for BDD Mapped Finite State Machines. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IWLS ![In: 11th IEEE/ACM International Workshop on Logic & Synthesis, IWLS 2002, June 4-7, 2002, New Orleans, Louisiana, USA., pp. 143-148, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP BibTeX RDF |
|
17 | Federico Politi |
Recognition of Transistor Level Complex Sequential and Dynamic Circuits using State Based BDD's. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IWLS ![In: 11th IEEE/ACM International Workshop on Logic & Synthesis, IWLS 2002, June 4-7, 2002, New Orleans, Louisiana, USA., pp. 221-226, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP BibTeX RDF |
|
17 | Fadi A. Aloul, Igor L. Markov, Karem A. Sakallah |
Efficient Gate and Input Ordering for Circuit-to-BDD Conversion. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IWLS ![In: 11th IEEE/ACM International Workshop on Logic & Synthesis, IWLS 2002, June 4-7, 2002, New Orleans, Louisiana, USA., pp. 137-142, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP BibTeX RDF |
|
17 | Christoph Meinel, Harald Sack, Arno Wagner |
WWW.BDD-PORTAL.ORG: An Experimentation Platform for Binary Decision Diagram Algorithms ![Search on Bibsonomy](Pics/bibsonomy.png) |
Universität Trier, Mathematik/Informatik, Forschungsbericht ![In: Universität Trier, Mathematik/Informatik, Forschungsbericht 01-09, 2001. The full citation details ...](Pics/full.jpeg) |
2001 |
RDF |
|