Login / Signup
Unsatisfiable Linear k-CNFs Exist, for every k
Dominik Scheder
Published in:
CoRR (2007)
Keyphrases
</>
phase transition
recursive least squares
closed form
linear systems
cnf formula
relational databases
orders of magnitude
constraint satisfaction
complex valued