Reformulation of global constraints based on constraints checkers

Gespeichert in:

Bibliographische Detailangaben
Veröffentlicht in:	Constraints (Dordrecht) 2005-10, Vol.10 (4), p.339-362
Hauptverfasser:	BELDICEANU, Nicolas, CARLSSON, Mats, DEBRUYNE, Romuald, PETIT, Thierry
Format:	Artikel
Sprache:	eng
Schlagworte:	Applied sciences Automata. Abstract machines. Turing machines Computer science control theory systems Exact sciences and technology Theoretical computing
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!