Skip to content

The Max-Atom Problem and Its Relevance.

Marc Bezem, Robert Nieuwenhuis, Enric Rodrguez-Carbonell

VenueBLPAR
Year2008
ProceedingsLPAR

Browse the full LPAR paper archive.