Pages that link to "Item:Q4645233"

The following pages link to Minimal model generation with positive unit hyper-resolution tableaux (Q4645233):

Displaying 8 items.

• Reasoning under minimal upper bounds in propositional logic (Q861253) (← links)
• Efficient model generation through compilation. (Q1854374) (← links)
• Simplifying and generalizing formulae in tableaux. Pruning the search space and building models (Q4610336) (← links)
• A tableau calculus for minimal model reasoning (Q4645243) (← links)
• Efficient model generation through compilation (Q4647539) (← links)
• Non-horn magic sets to incorporate top-down inference into bottom-up theorem proving (Q5234700) (← links)
• Theorem proving techniques for view deletion in databases (Q5927980) (← links)
• Combining enumeration and deductive techniques in order to increase the class of constructible infinite models (Q5927982) (← links)