The following pages link to Logic Programming (Q5191481):
Displaying 7 items.
- Generating all maximal models of a Boolean expression (Q294760) (← links)
- On the tractability of minimal model computation for some CNF theories (Q490649) (← links)
- Computing minimal models by partial instantiation (Q672131) (← links)
- On the number of minimal transversals in 3-uniform hypergraphs (Q932689) (← links)
- Reasoning with minimal models: efficient algorithms and applications (Q1127346) (← links)
- On computing minimal models (Q1380414) (← links)
- An incremental algorithm for generating all minimal models (Q2457647) (← links)