Search Results - "Multi-level Logic Optimization Boolean Function Synthesis Gröbner Bases"
-
1
Authors:
Contributors:
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
-
2
Authors:
Contributors:
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
-
3
Authors: et al.
Contributors: 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]
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
Full Text Finder
Nájsť tento článok vo Web of Science