Pages that link to "Item:Q3541720"

The following pages link to Deciding Effectively Propositional Logic Using DPLL and Substitution Sets (Q3541720):

Displaying 3 items.

• Semantically-guided goal-sensitive reasoning: model representation (Q287333) (← links)
• On the verification of security-aware E-services (Q429592) (← links)
• Deciding effectively propositional logic using DPLL and substitution sets (Q972432) (← links)