no code implementations • 23 Sep 2020 • Gökberk Koçak, Özgür Akgün, Nguyen Dang, Ian Miguel
The contribution of this work is to enable a native interaction between SAT solvers and the automated modelling system Savile Row to support efficient incremental modelling and solving.
1 code implementation • 1 Oct 2019 • Gökberk Koçak, Özgür Akgün, Tias Guns, Ian Miguel
In this paper, in addition to specifying a dominance relation, we introduce the ability to specify an incomparability condition.