Using the Breakout Algorithm to Identify Hard and Unsolvable Subproblems

Eisenberg, CarlosFaltings, Boi2006-12-132006-12-132006-12-13200310.1007/978-3-540-45193-8_60https://infoscience.epfl.ch/handle/20.500.14299/238372Using the Breakout Algorithm to Identify Hard and Unsolvable Subproblemstext::conference output::conference proceedings::conference paper