126 citations · 298 across the 14 of their papers we have counts for
1 paper · 2 filters
Sergey Paramonov, Christian Bessiere, Anton Dries +1
Answer Set Programming (ASP) is a powerful modeling formalism for combinatorial problems. However, writing ASP models is not trivial. We propose a novel method, called Sketched Ans…