1
Published 1998
Springer US
Table of Contents: ... to Combinatorial Optimization: A Logic Programming Approach -- 3 Disjunctive Programming and Cooperating Solvers...

2
by Barth, Peter
Published 1996
Springer US
Table of Contents: ... Constraint Solving -- 2 Constraint Logic Programming -- 2.1 CLP by Example -- 2.2 Semantics -- 2.3 Constraint...

3
Published 1996
Springer Berlin Heidelberg
Table of Contents: ... maintenance -- Investigations of a constraint logic programming approach to university timetabling -- Building...

4
Published 2004
Springer London
Table of Contents: ... Static Code Analysis -- Estimating PLC Logic Program Reliability -- A Systematic Framework...

5
Published 1988
Springer Berlin Heidelberg
Table of Contents: ... optimization and logic programming -- CREW-OPT: Crew scheduling by column generation -- Aspects of bus crew...

6
Published 1997
Springer US
Table of Contents: ... and Logic Programming -- 8 Houria III: A Solver for Hierarchical Systems of Functional Constraints -- 9 Some...