Logic programming : systematic program development

von Deville, Yves
Veröffentlicht 1990

Logic programming : systematic program development

von Deville, Yves
Veröffentlicht 1990

Operational semantics of constraint logic programming over finite domains

von Hentenryck, Pascal Van
Veröffentlicht 1990

The cardinality operator : a new logical conneective for constraint logic programming

von Hentenryck, Pascal Van
Veröffentlicht 1990

Efficient Arc consistency algorithm for a class of CSP problems

von Deville, Yves
Veröffentlicht 1990

A Framework to Understand, Analyse and Describe Online and Open Education in Higher Education

von Jacqmot, Christine
Veröffentlicht in CSEDU (12. : 2020 : Online) CSEDU 2020 ; Volume 1 (2020)

Numerica : a modeling language for global optimization

von Van Hentenryck, Pascal
Veröffentlicht 1997

Design, implementations, and evaluation of the constraint language CC(FD)

von Hentenryck, Pascal Van
Veröffentlicht 1993

Exact methods for solving the elementary shortest and longest path problems

von Quoc Trung Bui
Veröffentlicht in Annals of operations research ; volume 244, number 2 (September 2016) (2016)

A multistage very large-scale neighborhood search for the vehicle routing problem with soft time windows

Veröffentlicht in Transportation science (2015)

Logic program synthesis and transformation : proceedings of LOPSTR 93, International Workshop on Logic Program Synthesis and Transformation, Louvain-la-Neuve, Belgium, 7 - 9 July...

Veröffentlicht 1994

The Sixth International Symposium on Information and Communication Technology, SoICT 2015 : was held in Hue Royal city, Vietnam, during December 3-4th, 2015

Veröffentlicht 2016

Symposium on Information and Communication Technology, SoICT 2016 : was held in Hochiminh city, Vietnam, during December 8-9th, in 2016

Veröffentlicht 2017