Scheduling, vehicle routing and timetabling are all examples of constraint problems, and methods ...

This textbook offers an introduction to the Eclipse system and a guide to problem-solving for stu...

Investigating meta-programming within the logic programming paradigm, Meta-Logics and Logic Progr...

The cooperation test [Apt, Francez & de Roever] was originally conceived to capture the proof the...

A collection of lectures on various aspects of game theory relevant for computer scientists.

Upper-division textbook covering foundations of constraint programming and applications to schedu...

This collection of current research presents results from a three-year, ESPRIT-funded effort to e...

Logic Programming was founded 25 years ago. This exciting new text reveals both the evolution of ...

A comprehensive undergraduate textbook covering both theory and practical design issues, with an ...

HIS BOOK CONTAINS a most comprehensive text that presents syntax-directed and compositional metho...

Constraint programming is the fruit of several decades of research carried out in mathematical lo...

HIS BOOK CONTAINS a most comprehensive text that presents syntax-directed and compositional metho...