Schwarz, Simon Automation of Logic, MPI for Informatics, Max Planck Society;
short4.pdf (Publisher version), 2MB
Faroß, N., & Schwarz, S. (2023). Gröbner Bases for Boolean Function Minimization. In E. Ábrahám, & T. Sturm (Eds.), Satisfiability Checking and Symbolic Computation 2023 (pp. 61-68). CEUR-WS. Retrieved from https://ceur-ws.org/Vol-3455/short4.pdf.