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