Polynomial-Time Satisfiability Tests for 'Small' Membership Theories.

Domenico Cantone Pietro Maugeri

Published in: ICTCS (2019)

Keyphrases

computational complexity
special case
small number

worst case
theoretical framework
logic programs

np complete
propositional logic
defeasible logic

decision procedures
propositional theories