Pages that link to "Item:Q4649734"

The following pages link to On the Implementation of Weight Constraint Rules in Conflict-Driven ASP Solvers (Q4649734):

Displayed 2 items.

• Conflict-driven answer set solving: from theory to practice (Q1761291) ‎ (← links)
• Improving the Normalization of Weight Rules in Answer Set Programs (Q2938492) ‎ (← links)