Skip to content

Solving Existentially Quantified Constraints with One Equality and Arbitrarily Many Inequalities.

Stefan Ratschan

VenueACP
Year2003
ProceedingsCP

Browse the full CP paper archive.