Eingang zum Volltext
Home | Suche | BrowsenURN: urn:nbn:de:kobv:517-opus-41431
URL: http://opus.kobv.de/ubp/volltexte/2010/4143/
Zhou, Neng-Fa
Gesellschaft für Logische Programmierung e.V.
What I have learned from all these solver competitions
| pdf-Format: |
|
Kurzfassung auf Englisch
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.
| RVK - Regensburger Verbundklassifikation | ST 304 | |
| Collection | Universität Potsdam / Tagungen / Proceedings of the 23rd Workshop on (Constraint) Logic Programming 2009 / Invited Talks | |
| Institut: | Extern | |
| DDC-Sachgruppe: | Informatik | |
| Dokumentart: | c InProceedings (Aufsatz / Paper einer Konferenz etc.) | |
| Quelle: | Proceedings of the 23rd Workshop on (Constraint) Logic Programming 2009 / Geske, Ulrich; Wolf, Armin (Hrsg.). - Potsdam : Universitätsverlag, 2010. - S. 17 - 34 | |
| Sprache: | Englisch | |
| Erstellungsjahr: | 2010 | |
| Publikationsdatum: | 04.03.2010 | |
| Lizenz: | Diese Nutzungsbedingung gilt nicht, wenn in den Metadaten eine modifizierende Lizenz genannt ist. Keine Nutzungslizenz vergeben - es gilt das deutsche Urheberrecht |
Home | Leitlinien | Impressum | Haftungsausschluss | Statistik | Universitätsverlag | Universitätsbibliothek
| Ihr Kontakt für Fragen und
Anregungen: Universitätsbibliothek Potsdam |
 
|