Exploiting Partial Knowledge in Declarative Domain-Specific Heuristics for ASP

by Richard Taupe, Konstantin Schekotihin, Peter Schüller, Antonius Weinzierl, Gerhard Friedrich
Published 2019-09-01

Solver Requirements for Interactive Configuration

by Andreas Falkner, Alois Haselböck, Gerfried Krames, Gottfried Schenner, Herwig Schreiner, Richard Taupe
Published 2020-03-01