Solving Problems by Formula Manipulation in Logic and Linear Inequalities.

Louis Hodes

Browse the full IJCAI paper archive.