Search Results - "Multi-level Logic Optimization Boolean Function Synthesis Gröbner Bases"

  • Showing 1 - 3 results of 3
Refine Results
  1. 1

    Gröbner Bases for Boolean Function Minimization

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

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

    Source: Mathematics in Computer Science. 19

    Subject Terms: 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

    File Description: application/pdf

    Access URL: https://inria.hal.science/hal-04315477v1

    View record at OpenAIRE Full Text Finder Nájsť tento článok vo Web of Science
    Save to List
  2. 2

    Gröbner Bases for Boolean Function Minimization

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

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

    Subject Terms: 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

    File Description: application/pdf

    Access URL: https://inria.hal.science/hal-04315477v1

    View record at OpenAIRE Nájsť tento článok vo Web of Science
    Save to List
  3. 3

    Gröbner Bases for Boolean Function Minimization

    Authors: Faroß, Nicolas Schwarz, Simon Universität des Saarlandes Saarbrücken et al.

    Contributors: Faroß, Nicolas Schwarz, Simon Universität des Saarlandes Saarbrücken et al.

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

    Subject Terms: 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]

    Subject Geographic: 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

    Availability: 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
    Save to List

Search Tools: