Placing quantified variants of 3-SAT and Not-All-Equal 3-SAT in the polynomial hierarchy.

Janosch Döcker Britta Dorn Simone Linz Charles Semple

Published in: CoRR (2019)

Keyphrases

sat solvers
satisfiability problem
polynomial hierarchy
phase transition
search algorithm
search strategies
artificial intelligence
expert systems
special case
orders of magnitude