What I have learned from all these solver competitions

In this talk, I would like to share my experiences gained from participating in four CSP solver competitions and the second ASP solver competition. In particular, I’ll talk about how various programming techniques can make huge differences in solving some of the benchmark problems used in the competitions. These techniques include global constraints, table constraints, and problem-specific propagators and labeling strategies for selecting variables and values. I’ll present these techniques with experimental results from B-Prolog and other CLP(FD) systems.

Metadaten
Verfasserangaben:	Neng-Fa Zhou
URN:	urn:nbn:de:kobv:517-opus-41431
Publikationstyp:	Konferenzveröffentlichung
Sprache:	Englisch
Erscheinungsjahr:	2010
Veröffentlichende Institution:	Universität Potsdam
Beteiligte Körperschaft:	Gesellschaft für Logische Programmierung e.V.
Datum der Freischaltung:	04.03.2010
Quelle:	Proceedings of the 23rd Workshop on (Constraint) Logic Programming 2009 / Geske, Ulrich; Wolf, Armin (Hrsg.). - Potsdam : Universitätsverlag, 2010. - S. 17 - 34
RVK - Regensburger Verbundklassifikation:	ST 304
Organisationseinheiten:	Extern / Extern
DDC-Klassifikation:	0 Informatik, Informationswissenschaft, allgemeine Werke / 00 Informatik, Wissen, Systeme / 004 Datenverarbeitung; Informatik
Sammlung(en):	Universität Potsdam / Tagungsbände/Proceedings (nicht fortlaufend) / Proceedings of the 23rd Workshop on (Constraint) Logic Programming 2009 / Invited Talks
Lizenz (Deutsch):	Keine öffentliche Lizenz: Unter Urheberrechtsschutz