Enumeration Problems Related to Ground Horn Theories

Nachum Dershowitz Mitchell A. Harris Guan-Shieng Huang

Published in: CoRR (2006)

Keyphrases

decision problems
np complete
problems involving
databases
high level
horn theories