Skip to content

Finite Model Computation via Answer Set Programming.

Martin Gebser, Orkunt Sabuncu, Torsten Schaub

VenueA*IJCAI
Year2011
ProceedingsIJCAI

Browse the full IJCAI paper archive.