Sign in

BOSPORUS: Überbrückung von ANF- und CNF-Lösern

By Davin Choo and others
Algebraische Normalform (ANF) und konjunktive Normalform (CNF) werden häufig verwendet, um Probleme in der booleschen Algebra zu kodieren. ANFs werden typischerweise über Gr "-Basisalgorithmen gelöst, wobei oft mehr Speicher als möglich verwendet wird. während CNFs mit SAT-Lösern gelöst werden, die die Algebra von Polynomen auf natürliche Weise nicht ausnutzen können.... Show more
December 11, 2018
=
0
Loading PDF…
Loading full text...
Similar articles
Loading recommendations...
=
0
x1
BOSPHORUS: Bridging ANF and CNF Solvers
Click on play to start listening