Erdős-Selfridge Theorem for Nonmonotone CNFs.

Md Lutfar Rahman Thomas Watson

Published in: SWAT (2022)

Keyphrases

recursive least squares
variational inequalities
von neumann
complex valued
data sets
genetic algorithm
learning algorithm
orders of magnitude
sensitivity analysis
digital topology
interactive theorem proving