Výsledky vyhľadávania - "Multi-level Logic Optimization Boolean Function Synthesis Gröbner Bases"

  • Zobrazené výsledky 1 - 3 z 3
Upresniť hľadanie
  1. 1

    Gröbner Bases for Boolean Function Minimization

    Autori: Faroß, Nicolas Schwarz, Simon Weidenbach, Christoph

    Prispievatelia: Faroß, Nicolas Schwarz, Simon Weidenbach, Christoph

    Zdroj: Mathematics in Computer Science. 19

    Predmety: Multi-level Logic Optimization, [INFO.INFO-LO] Computer Science [cs]/Logic in Computer Science [cs.LO], Boolean Function Synthesis, Gröbner Bases, Multi-level Logic Optimization Boolean Function Synthesis Gröbner Bases

    Popis súboru: application/pdf

    Prístupová URL adresa: https://inria.hal.science/hal-04315477v1

    View record at OpenAIRE Full Text Finder Nájsť tento článok vo Web of Science
    Pridať do obľúbených
  2. 2

    Gröbner Bases for Boolean Function Minimization

    Autori: Faroß, Nicolas Schwarz, Simon Weidenbach, Christoph

    Prispievatelia: Faroß, Nicolas Schwarz, Simon Weidenbach, Christoph

    Predmety: Multi-level Logic Optimization, [INFO.INFO-LO] Computer Science [cs]/Logic in Computer Science [cs.LO], Boolean Function Synthesis, Multi-level Logic Optimization Boolean Function Synthesis Gröbner Bases, Gröbner Bases

    Popis súboru: application/pdf

    Prístupová URL adresa: https://inria.hal.science/hal-04315477v1

    View record at OpenAIRE Nájsť tento článok vo Web of Science
    Pridať do obľúbených
  3. 3

    Gröbner Bases for Boolean Function Minimization

    Autori: Faroß, Nicolas Schwarz, Simon Universität des Saarlandes Saarbrücken a ďalší

    Prispievatelia: Faroß, Nicolas Schwarz, Simon Universität des Saarlandes Saarbrücken a ďalší

    Zdroj: Proceedings of the 8th SC-Square Workshop ; https://inria.hal.science/hal-04315477 ; Proceedings of the 8th SC-Square Workshop, Jul 2024, Tromsø, Norway

    Predmety: Multi-level Logic Optimization Boolean Function Synthesis Gröbner Bases, Multi-level Logic Optimization, Boolean Function Synthesis, Gröbner Bases, [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO]

    Geografické téma: Tromsø, Norway

    Relation: hal-04315477; https://inria.hal.science/hal-04315477; https://inria.hal.science/hal-04315477/document; https://inria.hal.science/hal-04315477/file/short4.pdf

    Dostupnosť: https://inria.hal.science/hal-04315477
    https://inria.hal.science/hal-04315477/document
    https://inria.hal.science/hal-04315477/file/short4.pdf

    View record from BASE Nájsť tento článok vo Web of Science
    Pridať do obľúbených

Vyhľadávacie nástroje: