Search Results - Mathematical Logic and Formal Languages—Logic and Constraint Programming

The Inductive Constraint Programming Loop by BESSIERE, Christian, de Raedt, Luc, Guns, Tias, Kotthoff, Lars, Nanni, Mirco, Nijssen, Siegfried, O'Sullivan, Barry, Paparrizou, Anastasia, Pedreschi, Dino, Simonis, Helmut

“…Constraint programming is used for a variety of real-world optimization problems, such as planning, scheduling and resource allocation problems…”
Get full text

Extensions to unification grammar for the description of programming languages by Moshier, Michael Andrew

“…; so we do not say "The rocks weighs too much." Likewise, in programming languages such as Pascal, we can not write "x: = f(y, z…”
Get full text