SAT Solving Using XOR-OR-AND Normal Forms

MaRDI QIDQ6457687zbMATH OpenFDO

Authors Bernhard Andraschko, Julian Danner, Martin Kreuzer

Publication date 1 November 2023

Has companion code repository https://github.com/j-danner/2xnf_sat_solving

Mathematics Subject Classification ID

Logic in computer science (03B70) Applications of graph theory (05C90) Solving polynomial systems; resultants (13P15) Cryptography (94A60)

This page was built for publication: SAT Solving Using XOR-OR-AND Normal Forms

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6457687)