Suchergebnisse - Mathematical Logic and Formal Languages—Logic and Constraint Programming

The Inductive Constraint Programming Loop von 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 …”
Volltext

Extensions to unification grammar for the description of programming languages von 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 …”
Volltext