-
1Academic Journal
Authors: Faroß, Nicolas, Schwarz, Simon
Contributors: 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
-
2Conference
Authors: Faroß, Nicolas, Schwarz, Simon
Contributors: 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
-
3Conference
Authors: Faroß, Nicolas, Schwarz, Simon
Contributors: Universität des Saarlandes Saarbrücken, Max-Planck-Institut für Informatik (MPII), Max-Planck-Gesellschaft, Modeling and Verification of Distributed Algorithms and Systems (VERIDIS), Max-Planck-Gesellschaft-Max-Planck-Gesellschaft-Inria Nancy - Grand Est, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-Department of Formal Methods (LORIA - FM), Laboratoire Lorrain de Recherche en Informatique et ses Applications (LORIA), Institut National de Recherche en Informatique et en Automatique (Inria)-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS)-Institut National de Recherche en Informatique et en Automatique (Inria)-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS)-Laboratoire Lorrain de Recherche en Informatique et ses Applications (LORIA), Institut National de Recherche en Informatique et en Automatique (Inria)-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS)-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS)
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]
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