@inproceedings{FarossSC-Square23,
TITLE = {Gr{\"o}bner Bases for {B}oolean Function Minimization},
AUTHOR = {Faro{\ss}, Nicolas and Schwarz, Simon},
LANGUAGE = {eng},
ISSN = {1613-0073},
URL = {https://ceur-ws.org/Vol-3455/short4.pdf; urn:nbn:de:0074-3455-4},
PUBLISHER = {CEUR-WS},
YEAR = {2023},
MARGINALMARK = {$\bullet$},
DATE = {2023},
BOOKTITLE = {Satisfiability Checking and Symbolic Computation 2023 (SC-Sqaure 2023)},
EDITOR = {{\'A}brah{\'a}m, Erika and Sturm, Thomas},
PAGES = {61--68},
SERIES = {CEUR Workshop Proceedings},
VOLUME = {3455},
ADDRESS = {Troms{\o}, Norway},
}