2 citations · 3 across the 2 of their papers we have counts for
2 papers
cs.LO2012★ 2 cited
ASP modulo CSP: The clingcon system
Max Ostrowski, Torsten Schaub
We present the hybrid ASP solver clingcon, combining the simple modeling language and the high performance Boolean solving capacities of Answer Set Programming (ASP) with technique…
cs.LG2011★ 1 cited
Automatic Network Reconstruction using ASP
Max Ostrowski, Torsten Schaub, Markus Durzinsky +2
Building biological models by inferring functional dependencies from experimental data is an im- portant issue in Molecular Biology. To relieve the biologist from this traditionall…