Hard Combinatorial Problems: A Challenge for Satisfiability.

Ilias S. Kotsireas

Published in: SC-Square@FLOC (2018)

Keyphrases

np complete
satisfiability problem
propositional logic
computer vision
phase transition
databases
computational complexity
orders of magnitude
randomly generated
real time
machine learning
information systems
data structure
decision procedures