SAT Solving Using XOR-OR-AND Normal Forms.

Bernhard Andraschko Julian Danner Martin Kreuzer

Published in: CoRR (2023)

Keyphrases

normal form
sat solving
sat solvers
relational databases
boolean satisfiability
database design
functional dependencies
sat problem
nested relations
search tree
databases
max sat
orders of magnitude
constraint satisfaction
search strategies