The aim of Air Traffic Flow Management (ATFM) is to enhance the capacity of the airspace while satisfying Air Traffic Control constraints and airlines requests to optimize their operating costs. Thisâ€¦ (More)

The Social Golfer Problem has been extensively used by the constraint community in recent years as an example of a highly symmetric problem. It is an excellent problem for benchmarking symmetryâ€¦ (More)

The Social Golfer Problem has been extensively used in recent years by the constraint community as an example of highly symmetric problem. It is an excellent problem for benchmarking symmetryâ€¦ (More)

Current European Air Traffic Control system is far exceeded b y the demand and the resulting delays are a financial and psychological burden for airlines and pas sengers. The Central Flow Managementâ€¦ (More)

A new system for atmospheric measurements in the lower troposphere has been developed and successfully tested. The presented Small Unmanned Meteorological Observer (SUMO) is based on a light-weightedâ€¦ (More)

Metastructures and metaterms have been proposed to extend Prolog systems 6, 5]. They enable special purpose uniications to be speciied. They are useful to implement for example coroutining and newâ€¦ (More)

Prolog is a logic programming language accepting a more general clause form than standard Prolog (namely hereditary Harrop formulas instead of Horn formulas) and using simply typed-terms as a termâ€¦ (More)

FaCiLe is an open source constraint programming library over integer nite domain written in OCaml, a functional language of the ML family. It o ers all usual constraint system facilities to createâ€¦ (More)

The usual way to implement an efficient CLP system is to define a set of primitive constraints which can be accessed from Prolog and to code them very efficiently, e.g. in C. This approach producesâ€¦ (More)