Skip to content

Answer Set Programming: Boolean Constraint Solving for Knowledge Representation and Reasoning.

Torsten Schaub

VenueACP
Year2013
ProceedingsCP

Browse the full CP paper archive.