New Logical and Complexity Results for Signed-SAT.

Carlos Ansótegui Felip Manyà

Published in: ISMVL (2003)

Keyphrases

computational complexity
worst case
satisfiability problem
boolean satisfiability
neural network
computational cost
upper bound
decision problems
search strategies