Characterising Choiceless Polynomial Time with First-Order Interpretations.

Erich Grädel Wied Pakusa Svenja Schalthöfer Lukasz Kaiser

Published in: LICS (2015)

Keyphrases

polynomial size
higher order
special case
first order logic
function free horn
horn clauses
stochastic dominance
approximation algorithms
quantifier elimination
bounded treewidth
conditional logic
polynomial time complexity
valued logic
optimal planning
real time
linear programming
np hard
genetic algorithm