Uni-Logo
English       Login
Professur für Betriebssysteme
        Startseite         |         Institut für Informatik         |         Technische Fakultät
 
Name Christoph Scholl, Prof. Dr. Christoph Scholl, Prof. Dr.
Adresse Technische Fakultät
Albert-Ludwigs-Universität
Georges Köhler Allee, Gebäude 51
79110 Freiburg im Breisgau
Deutschland
Büro Gebäude 51, Raum 02..033
Telefon ++49 +761 203-8152
Fax ++49 +761 203-8142
eMail scholl@informatik.uni-freiburg.de
Website http://abs.informatik.uni-freiburg.de/~scholl/

Christoph Scholl

Jahre: 2023 | 2022 | 2021 | 2020 | 2019 | 2018 | 2017 | 2016 | 2015 | 2014 | 2013 | 2012 | 2011 | 2010 | 2009 | 2008 | 2007 | 2006 | 2005 | 2004 | 2002 | 2001 | 2000 | 1999 | 1998 | 1997 | 1995 | 1994 | 1993

    2023

    Icon: top nach oben zur Jahresübersicht
    • Alexander Konrad, Christoph Scholl, Alireza Mahzoon, Daniel Große, Rolf Drechsler
      Divider Verification Using Symbolic Computer Algebra and Delayed Don’t Care Optimization (extended abstract)
      2023 MBMV
    • Tobias Seufert, Felix Winterer, Christoph Scholl, Karsten Scheibler, Tobias Paxian, Bernd Becker
      Everything You Always Wanted to Know About Generalization of Proof Obligations in PDR
      2023 IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, Band: 42, Nummer: 4, Seiten: 1351 - 1364

    2022

    Icon: top nach oben zur Jahresübersicht
    • Tobias Seufert, Christoph Scholl, Arun Chandrasekharan, Sven Reimer, Tobias Welp
      Making PROGRESS in Property Directed Reachability
      2022 23rd International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI 2022)
    • Alexander Konrad, Christoph Scholl, Alireza Mahzoon, Daniel Große, Rolf Drechsler
      Divider Verification Using Symbolic Computer Algebra and Delayed Don't Care Optimization
      2022 Proceedings of the 22nd Conference on Formal Methods in Computer-Aided Design (FMCAD), TU Wien Academic Press

    2021

    Icon: top nach oben zur Jahresübersicht
    • Tobias Seufert, Felix Winterer, Christoph Scholl, Karsten Scheibler, Tobias Paxian, Bernd Becker
      Everything You Always Wanted to Know About Generalization of Proof Obligations in PDR
      CoRR, Band: 2105.09169, 2021
    • Karsten Scheibler, Felix Winterer, Tobias Seufert, Tino Teige, Christoph Scholl, Bernd Becker
      ICP and IC3
      2021 DATE, IEEE
    • Felix Winterer, Tobias Seufert, Karsten Scheibler, Tino Teige, Christoph Scholl, Bernd Becker
      ICP and IC3 with Stronger Generalization
      2021 MBMV
    • Aile Ge-Ernst, Christoph Scholl, Ralf Wimmer
      Solving Dependency Quantified Boolean Formulas Using Quantifier Localization
      CoRR, Band: 1905.04755, 2021
    • Christoph Scholl, Alexander Konrad, Alireza Mahzoon, Daniel Große, Rolf Drechsler
      Verifying Dividers Using Symbolic Computer Algebra and Don’t Care Optimization
      2021 DATE, IEEE

    2020

    Icon: top nach oben zur Jahresübersicht
    • Christoph Scholl, Alexander Konrad
      Symbolic Computer Algebra and SAT Based Information Forwarding for Fully Automatic Divider Verification
      2020 Design Automation Conf., Seiten: 1 - 6
    • Alireza Mahzoon, Daniel Große, Christoph Scholl, Rolf Drechsler
      Towards Formal Verification of Optimized and Industrial Multipliers
      2020 Conference on Design, Automation and Test in Europe (DATE), Seiten: 544 - 549

    2019

    Icon: top nach oben zur Jahresübersicht
    • Christoph Scholl, Jie-Hong Roland Jiang, Ralf Wimmer, Aile Ge-Ernst
      A PSPACE Subclass of Dependency Quantified Boolean Formulas and Its Effective Solving
      2019 33th AAAI Conference on Artificial Intelligence (AAAI-19)
    • Katalin Fazekas, Armin Biere, Christoph Scholl
      Incremental Inprocessing in SAT Solving
      2019 10th International Conference on Theory and Applications of Satisfiability Testing (SAT), Springer-Verlag, Nummer: 11628, Seiten: 136 - 154
    • Aile Ge-Ernst, Christoph Scholl, Ralf Wimmer
      Localizing Quantifiers for DQBF
      2019 Proceedings of the Conference on Formal Methods in Computer Aided Design (FMCAD), IEEE Computer Society Press
    • Aile Ge-Ernst, Christoph Scholl, Ralf Wimmer
      Quantifier Localization for DQBF
      2019 Int'l Workshop on Logic and Synthesis
    • Ralf Wimmer, Christoph Scholl, Bernd Becker
      The (D)QBF Preprocessor HQSpre – Underlying Theory and Its Implementation
      2019 Journal on Satisfiability, Boolean Modeling and Computation, Band: 11, Nummer: 1, Seiten: 3 - 52
    • Tobias Seufert, Christoph Scholl
      fbPDR: In-depth Combination of Forward and Backward Analysis in Property Directed Reachability
      2019 Conference on Design, Automation and Test in Europe (DATE)
    • Tobias Seufert, Christoph Scholl
      fbPDR: In-depth Combination of Forward and Backward Analysis in Property Directed Reachability (extended abstract)
      2019 GI/ITG/GMM Workshop “Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen”

    2018

    Icon: top nach oben zur Jahresübersicht
    • Ralf Wimmer, Karina Wimmer, Christoph Scholl, Bernd Becker
      Analysis of Incomplete Circuits Using Dependency Quantified Boolean Formulas
      In: Advanced Logic Synthesis
      2018, Springer International Publishing, André Inácio Reis, Rolf Drechsler, Seiten: 151 - 168, André Inácio Reis, Rolf Drechsler, ISBN: 978-3-319-67294-6
    • Tobias Seufert, Christoph Scholl
      Combining PDR and Reverse PDR for Hardware Model Checking
      2018 Conference on Design, Automation and Test in Europe (DATE)
    • Christoph Scholl, Ralf Wimmer
      Dependency Quantified Boolean Formulas: An Overview of Solution Methods and Applications
      2018 13th International Conference on Theory and Applications of Satisfiability Testing (SAT), Springer-Verlag, Nummer: 10929, Seiten: 3 - 16

    2017

    Icon: top nach oben zur Jahresübersicht
    • Ralf Wimmer, Andreas Karrenbauer, Ruben Becker, Christoph Scholl, Bernd Becker
      From DQBF to QBF by Dependency Elimination
      2017 International Conference on Theory and Applications of Satisfiability Testing (SAT), Nummer: 10491, Seiten: 326 - 343
    • Tobias Seufert, Christoph Scholl
      Sequential Verification Using Reverse PDR
      2017 GI/ITG/GMM Workshop “Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen”
    • Bernd Becker, Christoph Scholl, Ralf Wimmer
      Verification of Incomplete Designs
      In: State-of the-Art and Future Trends
      2017, Springer International Publishing, Rolf Drechsler, Seiten: 37 - 72, Rolf Drechsler, ISBN: 978-3-319-57683-1
    • Ernst Althaus, Björn Beber, Werner Damm, Stefan Disch, Willem Hagemann, Astrid Rakow, Christoph Scholl, Uwe Waldmann, Boris Wirtz
      Verification of Linear Hybrid Systems with Large Discrete State Spaces: Exploring the Design Space for Optimization
      Sci Comput Program, Nummer: 148, Seiten: 123 - 160, 2017

    2016

    Icon: top nach oben zur Jahresübersicht
    • Valeriy Balabanov, Jie-Hong Roland Jiang, Christoph Scholl, Alan Mishchenko, Robert K. Brayton
      2QBF: Challenges and Solutions
      2016 International Conference on Theory and Applications of Satisfiability Testing (SAT), Springer-Verlag, Nummer: 9710, Seiten: 453 - 469
    • Ralf Wimmer, Karina Wimmer, Christoph Scholl, Bernd Becker
      Analysis of Incomplete Circuits using Dependency Quantified Boolean Formulas
      2016 Int'l Workshop on Logic and Synthesis
    • Valeriy Balabanov, Jie-Hong R. Jiang, Alan Mishchenko, Christoph Scholl
      Clauses Versus Gates in CEGAR-Based 2QBF Solving
      2016 Workshop of the Thirtieth AAAI Conference on Artificial Intelligence Beyond NP
    • Ralf Wimmer, Christoph Scholl, Karina Wimmer, Bernd Becker
      Dependency Schemes for DQBF
      2016 International Conference on Theory and Applications of Satisfiability Testing (SAT), Nummer: 9710, Seiten: 473 - 489
    • Karina Wimmer, Ralf Wimmer, Christoph Scholl, Bernd Becker
      Skolem Functions for DQBF
      2016 International Symposium on Automated Technology for Verification and Analysis (ATVA)
    • Karina Wimmer, Ralf Wimmer, Christoph Scholl, Bernd Becker
      Skolem Functions for DQBF, Extended Version
      , 2016
    • Martin Böhnert, Christoph Scholl
      Task Variants with Different Scratchpad Memory Consumption in Multi-Task Environments
      2016 International Conference on Architecture of Computing Systems (ARCS), Nummer: 9637, Seiten: 143 - 156
    • Christoph Scholl, Florian Pigorsch
      The QBF Solver AIGSolve
      2016 International Workshop on Quantified Boolean Formulas
    • Ernst Althaus, Björn Beber, Werner Damm, Stefan Disch, Willem Hagemann, Astrid Rakow, Christoph Scholl, Uwe Waldmann, Boris Wirtz
      Verification of Linear Hybrid Systems with Large Discrete State Spaces: Exploring the Design Space for Optimization
      SFB/TR 14 AVACS Technical Report, Nummer: 103, 2016

    2015

    Icon: top nach oben zur Jahresübersicht
    • Georges Morbé, Christoph Scholl
      Fully symbolic TCTL model checking for complete and incomplete real-time systems
      2015 Science of Computer Programming
    • Ernst Althaus, Björn Beber, Joschka Kupilas, Christoph Scholl
      Improving Interpolants for Linear Arithmetic
      2015 13th International Symposium on Automated Technology for Verification and Analysis (ATVA), Springer-Verlag, Nummer: 9364, Seiten: 48 - 63
    • Bernd Becker, Matthias Sauer, Christoph Scholl, Ralf Wimmer
      Modeling Unknown Values in Test and Verification
      In: Formal Modeling and Verification of Cyber-Physical Systems, 1st International Summer School on Methods and Tools for the Design of Digital Systems
      2015, Springer Vieweg, Seiten: 122 - 150, ISBN: 978-3-658-09993-0
    • Ralf Wimmer, Karina Gitina, Jennifer Nist, Christoph Scholl, Bernd Becker
      Preprocessing for DQBF
      2015 10th International Conference on Theory and Applications of Satisfiability Testing (SAT), Springer-Verlag, Nummer: 9340, Seiten: 173 - 190
    • Ralf Wimmer, Karina Gitina, Jennifer Nist, Christoph Scholl, Bernd Becker
      Preprocessing for DQBF
      SFB/TR 14 AVACS Technical Report, Nummer: 110, 2015
    • Ralf Wimmer, Karina Gitina, Jennifer Nist, Christoph Scholl, Bernd Becker
      Preprocessing for DQBF
      SFB/TR 14 AVACS Technical Report, Nummer: 110, 2015
    • Karina Gitina, Ralf Wimmer, Sven Reimer, Matthias Sauer, Christoph Scholl, Bernd Becker
      Solving DQBF Through Quantifier Elimination
      2015 Test in Europe Conference (DATE), Seiten: 1617 - 1622
    • Karina Gitina, Ralf Wimmer, Sven Reimer, Matthias Sauer, Christoph Scholl, Bernd Becker
      Solving DQBF Through Quantifier Elimination
      SFB/TR 14 AVACS Technical Report, Nummer: 107, 2015

    2014

    Icon: top nach oben zur Jahresübersicht
    • Martin Böhnert, Christoph Scholl
      A Dynamic Virtual Memory Management under Real-Time Constraints
      2014 RTCSA, Chongqing, IEEE
    • Georges Morbé, Christian Miller, Christoph Scholl, Bernd Becker
      Combined Bounded and Symbolic Model Checking for Incomplete Timed Systems
      2014 Haifa Haifa Verification Conference (HVC), Yahav, Eran, Band: 8855, Seiten: 30 - 47
    • Georges Morbé, Christoph Scholl
      Fully Symbolic TCTL Model Checking for Complete and Incomplete Real-Time Systems
      2014 AVACS Technical Report, Nummer 104
    • Christoph Scholl, Florian Pigorsch, Stefan Disch, Ernst Althaus
      Simple Interpolants for Linear Arithmetic
      2014 DATE, EDA Consortium San Jose, CA, USA / ACM DL

    2013

    Icon: top nach oben zur Jahresübersicht

    2012

    Icon: top nach oben zur Jahresübersicht

    2011

    Icon: top nach oben zur Jahresübersicht

    2010

    Icon: top nach oben zur Jahresübersicht

    2009

    Icon: top nach oben zur Jahresübersicht

    2008

    Icon: top nach oben zur Jahresübersicht

    2007

    Icon: top nach oben zur Jahresübersicht
    • Stefan Disch, Christoph Scholl
      Combinational Equivalence Checking Using Incremental SAT Solving, Output Ordering, and Resets
      2007 ASP Design Automation Conf.
    • Tobias Nopper, Christoph Scholl, Bernd Becker
      Computation of Minimal Counterexamples by Using Black Box Techniques and Symbolic Methods
      2007 San Jose International Conference on Computer Aided Design (ICCAD), IEEE Computer Society Press
    • Werner Damm, Stefan Disch, Hardi Hungar, Swen Jacobs, Jun Pang, Florian Pigorsch, Christoph Scholl, Uwe Waldmann, Boris Wirtz
      Exact State Set Representations in the Verification of Linear Hybrid Systems with Large Discrete State Space
      2007 Berlin / Heidelberg Automated Technology for Verification and Analysis, Springer, Band: 4762, Seiten: 425 - 440
    • Tobias Nopper, Christoph Scholl
      Symbolic Model Checking for Incomplete Designs with Flexible Modeling of Unknowns
      SFB/TR 14 AVACS Technical Report, Nummer: 31, 2007
    • Axel Rottmann, Matthias Sippel, Thorsten Zitterell, Wolfram Burgard, Leonhard Reindl, Christoph Scholl
      Towards an Experimental Autonomous Blimp Platform
      2007 Proceedings of the 3rd European Conference on Mobile Robots, EMCR 2007
    • Tobias Nopper, Christoph Scholl
      tion for Incomplete Designs
      2007 Erlangen GI/ITG/GMM Workshop“Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen”, Shaker Verlag, Aachen, Seiten: 193 - 202

    2006

    Icon: top nach oben zur Jahresübersicht
    • Marc Herbstritt, Bernd Becker, Christoph Scholl
      Advanced SAT-Techniques for Bounded Model Checking of Blackbox Designs
      2006 Proc. of Microprocessor Test and Verification Workshop (MTV), IEEE Computer Society
    • Florian Pigorsch, Christoph Scholl, Stefan Disch
      Advanced Unbounded CTL Model Checking By Using AIGs, BDD Sweeping, And Quantifier Scheduling
      2006 GI/ITG/GMM Workshop“Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen”
    • Florian Pigorsch, Christoph Scholl, Stefan Disch
      Advanced Unbounded Model Checking Based on AIGs, BDD Sweeping, And Quantifier Scheduling
      2006 Proceedings of the Conference on Formal Methods in Computer Aided Design (FMCAD), IEEE Computer Society Press, Seiten: 89 - 96
    • Werner Damm, Stefan Disch, Hardi Hungar, Jun Pang, Florian Pigorsch, Christoph Scholl, Uwe Waldmann, Boris Wirtz
      Automatic verification of hybrid systems with large discrete state space
      2006 Proceedings of the 4th International Symposium on Automated Technology for Verification and Analysis, Springer-Verlag, Band: 4218

    2005

    Icon: top nach oben zur Jahresübersicht
    • Tobias Nopper, Christoph Scholl
      Flexible Modeling of Unknowns in Model Checking for Incomplete Designs
      2005 8. GI/ITG/GMM Workshop “Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen”

    2004

    Icon: top nach oben zur Jahresübersicht
    • Tobias Nopper, Christoph Scholl
      Approximate Symbolic Model Checking for Incomplete Designs
      2004 Austin, Texas Formal Methods in Computer-Aided Design, Springer Verlag, Band: 3312, Seiten: 290 - 305
    • Tobias Nopper, Christoph Scholl
      Approximate Symbolic Model Checking of Incomplete Designs
      2004 13th Int’l Workshop on Logic Synth., Band: 13, Seiten: 377 - 384
    • Christoph Scholl, Matthias Büche
      Filter Based Diagnosis for Multiple Design Errors
      2004 GI/ITG/GMM-Workshop “Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen”
    • Tobias Nopper, Christoph Scholl
      Symbolic Model Checking of Incomplete Designs
      Technical Report Albert-Ludwigs-University, Nummer: 201, 2004

    2002

    Icon: top nach oben zur Jahresübersicht
    • Christoph Scholl, Bernd Becker
      Checking Equivalence for Circuits Containing Incompletely Specified Boxes
      2002 Int’l Conf. on Comp. Design
    • Christoph Scholl, Bernd Becker
      Equivalence Checking in the Presence of Incompletely Specified Boxes
      2002 ITG/GI/GMM-Workshop “Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen”
    • Christoph Scholl, Bernd Becker, Thomas Weis
      On WLCDs and the Complexity of Word-Level Decision Diagrams - A Lower Bound for Division
      2002 Formal Methods in System Design, Band: 20, Nummer: 3, Seiten: 311 - 326

    2001

    Icon: top nach oben zur Jahresübersicht
    • Christoph Scholl, Bernd Becker
      Checking Equivalence for Partial Implementations
      2001 ITG/GI/GMM-Workshop “Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen”, Seiten: 31 - 43
    • Christoph Scholl, Bernd Becker
      Checking Equivalence for Partial Implementations
      2001 Design Automation Conf., Seiten: 238 - 243
    • Christoph Scholl, Marc Herbstritt, Bernd Becker
      Don’t Care Minimization of *BMDs
      2001 ITG/GI/GMM-Workshop “Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen”, Seiten: 45 - 57
    • Christoph Scholl, Marc Herbstritt, Bernd Becker
      Exploiting Don’t Cares to Minimize *BMDs
      2001 Int’l Symp. Circ. and Systems
    • Kluwer Academic Publishers
      Functional Decomposition with Application to FPGA Synthesis

      Christoph Scholl
    • Christoph Scholl, Bernd Becker, Andreas Brogle
      The Multiple Variable Order Problem for Binary Decision Diagrams
      2001 ASP Design Automation Conf.

    2000

    Icon: top nach oben zur Jahresübersicht
    • Christoph Scholl, Bernd Becker
      Checking Equivalence for Partial Implementations
      Technical Report Albert-Ludwigs-University, Nummer: 145, 2000
    • Andreas Hett, Christoph Scholl, Bernd Becker
      Distance Driven Finite State Machine Traversal
      2000 Design Automation Conf., Seiten: 39 - 42
    • Christoph Scholl, Marc Herbstritt, Bernd Becker
      Exploiting Don’t Cares to Minimize *BMDs
      Technical Report Albert-Ludwigs-University, Nummer: 141, 2000
    • Christoph Scholl, Bernd Becker
      On the Generation of Multiplexer Circuits for Pass Transistor Logic
      2000 Design, Automation and Test in Europe, Seiten: 372 - 378
    • Andreas Hett, Christoph Scholl, Bernd Becker
      State Traversal guided by Hamming Distance Profiles
      2000 ITG/GI/GMM-Workshop “Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen´´, VDE Verlag, Seiten: 57 - 66

    1999

    Icon: top nach oben zur Jahresübersicht
    • Christoph Scholl, Dirk Möller, Paul Molitor, Rolf Drechsler
      BDD Minimization Using Symmetries
      1999 IEEE Trans. on CAD, Band: 18, Nummer: 2, Seiten: 81 - 100
    • B.G. Teubner
      Datenstrukturen und effiziente Algorithmen fuer die Logiksynthese kombinatorischer Schaltungen

      Paul Molitor, Christoph Scholl
    • Christoph Scholl, Bernd Becker
      On the Generation of Multiplexer Circuits for Pass Transistor Logic
      1999 Int’l Workshop on Logic Synth.
    • Christoph Scholl, Bernd Becker, Andreas Brogle
      Solving the Multiple Variable Order Problem for Binary Decision Diagram by Use of Dynamic Reordering Techniques
      1999 Int’l Workshop on Logic Synth.
    • Christoph Scholl, Bernd Becker, Andreas Brogle
      Solving the Multiple Variable Order Problem for Binary Decision Diagram by Use of Dynamic Reordering Techniques
      Technical Report Albert-Ludwigs-University, Nummer: 130, 1999

    1998

    Icon: top nach oben zur Jahresübersicht
    • Christoph Scholl
      Multi-output Functional Decomposition with Exploitation of Don’t Cares
      1998 Design, Automation and Test in Europe, Seiten: 743 - 748
    • Christoph Scholl, Bernd Becker, Thomas Weis
      Word-Level Decision Diagrams, WLCDs and Division
      1998 Int’l Conf. on CAD, Seiten: 672 - 677

    1997

    Icon: top nach oben zur Jahresübersicht
    • Christoph Scholl, Dirk Möller, Paul Molitor, Rolf Drechsler
      BDD Minimization Using Symmetries
      Technical Report, Institute for Computer Science, University Halle, Band: 97-32, 1997
    • Christoph Scholl
      Functional Decomposition with Integrated Test Generation
      1997 GI/ITG Workshop “Testmethoden und Zuverlässigkeit von Schaltungen und Systemen”
    • Christoph Scholl, Rolf Drechsler, Bernd Becker
      Functional Simulation Using Binary Decision Diagrams
      1997 Int’l. Conf. on Computer Aided Design, Seiten: 8 - 12
    • Christoph Scholl, Rolf Drechsler, Bernd Becker
      Functional Simulation using Binary Decision Diagrams
      1997 GI/ITG/GME Workshop “Methoden des Entwurfs und der Verifikation digitaler Systeme”
    • Christoph Scholl, Rolf Drechsler, Bernd Becker
      Functional Simulation using Binary Decision Diagrams
      1997 Int’l Workshop on Logic Synth.
    • Christoph Scholl, Stefan Melchior, Günter Hotz, Paul Molitor
      Minimizing ROBDD Sizes of Incompletely Specified Boolean Functions by Exploiting Strong Symmetries
      1997 Test Conf., Seiten: 229 - 234
    • Christoph Scholl
      Multi-output Functional Decomposition with Exploitation of Don’t Cares
      1997 Int’l Workshop on Logic Synth.

    1995

    Icon: top nach oben zur Jahresübersicht
    • Christoph Scholl, Paul Molitor
      Communication Based FPGA Synthesis for Multi-Output Boolean Functions
      1995 ASP Design Automation Conf., Seiten: 279 - 287
    • Christoph Scholl, Paul Molitor
      Efficient ROBDD based computation of common decomposition functions of multioutput boolean functions
      In: Novel Approaches in Logic and Architecture Synthesis
      1995, \,Hall, Seiten: 57 - 63,

    1994

    Icon: top nach oben zur Jahresübersicht
    • Paul Molitor, Christoph Scholl
      Communication Based Multilevel Synthesis for Multi-Output Boolean Functions
      1994 Great Lakes Symp. VLSI, Seiten: 101 - 104
    • Paul Molitor, Christoph Scholl
      Communication Based Multilevel Synthesis for Multi-Output Boolean Functions
      Informatik-Berichte Humbold-University, Nummer: 29, 1994
    • Christoph Scholl, Paul Molitor
      Efficient ROBDD Based Computation of Common Decomposition Functions of Multi-Output Boolean Functions
      1994 IFIP Workshop on Logic and Architecture Synthesis, Grenoble, Seiten: 61 - 70

    1993

    Icon: top nach oben zur Jahresübersicht