Pages that link to "Item:Q4589188"

The following pages link to Answer Set Programming Modulo Acyclicity* (Q4589188):

Displaying 8 items.

• Treewidth-aware reductions of normal \textsc{ASP} to \textsc{SAT} - is normal \textsc{ASP} Harder than \textsc{SAT} after all? (Q2667835) (← links)
• Efficient computation of answer sets via SAT modulo acyclicity and vertex elimination (Q2694569) (← links)
• Analysis of cyclic fault propagation via ASP (Q2694609) (← links)
• plasp 3: Towards Effective ASP Planning (Q4957186) (← links)
• The Seventh Answer Set Programming Competition: Design and Results (Q4957192) (← links)
• The External Interface for Extending WASP (Q4957194) (← links)
• Inconsistency Proofs for ASP: The ASP - DRUPE Format (Q5108508) (← links)
• Exploiting Database Management Systems and Treewidth for Counting (Q6063876) (← links)