Pages that link to "Item:Q2694569"
From MaRDI portal
The following pages link to Efficient computation of answer sets via SAT modulo acyclicity and vertex elimination (Q2694569):
Displaying 2 items.
The following pages link to Efficient computation of answer sets via SAT modulo acyclicity and vertex elimination (Q2694569):
Displaying 2 items.