On conversions from CNF to ANF
From MaRDI portal
Publication:2307626
DOI10.1016/j.jsc.2019.07.023zbMath1432.68600MaRDI QIDQ2307626
Publication date: 24 March 2020
Published in: Journal of Symbolic Computation (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.jsc.2019.07.023
resolution; SAT solving; Boolean polynomial; algebraic normal form; conjunctive normal form; Boolean Gröbner basis
68W30: Symbolic computation and algebraic computation
13P10: Gröbner bases; other bases for ideals and modules (e.g., Janet and border bases)
06E30: Boolean functions
94D10: Boolean functions
68R07: Computational aspects of satisfiability
Uses Software