Testing the Satisfiability of Algebraic Formulas over the Field of Two Elements.

Mikhail N. Vyalyi

Published in: Probl. Inf. Transm. (2023)

Keyphrases

data mining
computational complexity
propositional logic
cnf formula
database
artificial intelligence
np complete
constraint satisfaction problems
phase transition
latest developments
propositional formulas
conjunctive normal form