A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2022; you can also visit the original URL.
The file type is application/pdf
.
Constraint Modelling: A Challenge for First Order Automated Reasoning
2009
International Workshops on First Order Theorem Proving
Cadoli et al [BCM04, MC05, CM04] noted the potential of first order automated reasoning for the purpose of analysing constraint models, and reported some encouraging initial experimental results. We are currently pursuing a very similar research program with a view to incorporating deductive technology in a state of the art constraint programming platform. Here we outline our own view of this application direction and discuss new empirical findings on a more extensive range of problems than
dblp:conf/ftp/BaumgartnerS09
fatcat:tayozrojdzfmbkbj73jc2dt66q