Logical Machinery of Heuristics (Preliminary Report)


This paper is a preliminary report on a new declarative language that allows the programmer to specify heuristics (problem-specific inference methods) about the problem that is being solved. The heuristics that are defined in our language control and/or change the behavior of the underlying solver. In this way, we are able to attain problem-specific solvers… (More)


3 Figures and Tables

Slides referencing similar topics