Skip to content

Splitting heuristics for disjunctive numerical constraints.

Thomas Douillard, Christophe Jermann

Year2008
ProceedingsSAC

Browse the full SAC paper archive.