Rewriting numeric constraint satisfaction problems for consistency algorithms (short paper)
Lottaz, Claudio (1999) Rewriting numeric constraint satisfaction problems for consistency algorithms (short paper). In: Jaffar, Joxan, (ed.) Principles and Practice of Constraint Programming – CP’99. Lecture Notes in Computer Science, 1713. Springer, Berlin, S. 486-487. ISBN 978-3-540-48085-3 (online). 978-3-540-66626-4 (print).Veröffentlichungsdatum dieses Volltextes: 30 Jul 2020 06:53
Buchkapitel
Alternative Links zum Volltext
Beteiligte Einrichtungen
Details
| Dokumentenart | Buchkapitel | ||||
| ISBN | 978-3-540-48085-3 (online). 978-3-540-66626-4 (print) | ||||
| Buchtitel: | Principles and Practice of Constraint Programming – CP’99 | ||||
|---|---|---|---|---|---|
| Verlag: | Springer | ||||
| Ort der Veröffentlichung: | Berlin | ||||
| Sonstige Reihe: | Lecture Notes in Computer Science | ||||
| Band: | 1713 | ||||
| Seitenbereich: | S. 486-487 | ||||
| Datum | 1999 | ||||
| Institutionen | Medizin > Institut für Funktionelle Genomik > Lehrstuhl für Statistische Bioinformatik (Prof. Spang) Informatik und Data Science > Fachbereich Bioinformatik > Lehrstuhl für Statistische Bioinformatik (Prof. Spang) | ||||
| Identifikationsnummer |
| ||||
| Stichwörter / Keywords | consistency algorithm numeric constraint satisfaction problem short paper numeric csps mathematical expression ternary constraint exponential complexity unnecessary variable common procedure constraint satisfaction problem arity csps csp arity low arity csps several consistency algorithm present algorithm high arity csps original csp constraint satisfaction theoretical view much work discrete domain introduced auxiliary variable auxiliary variable binary csps binary operator binary form | ||||
| Dewey-Dezimal-Klassifikation | 600 Technik, Medizin, angewandte Wissenschaften > 610 Medizin | ||||
| Status | Veröffentlicht | ||||
| Begutachtet | Unbekannt / Keine Angabe | ||||
| An der Universität Regensburg entstanden | Nein | ||||
| Dokumenten-ID | 43517 |
Bibliographische Daten exportieren
Nur für Besitzer und Autoren: Kontrollseite des Eintrags
Altmetric
Altmetric