Constraints with Variables'~Annotations and Constraint Hierarchies

RUDOVÁ, Hana. Constraints with Variables' Annotations and Constraint Hierarchies. In SOFSEM'98: Theory and Practice of Informatics. Berlin Heidelberg: Springer, 1998, s. 409-418. LNCS 1521. ISBN 3-540-65260-4.

Základní údaje

Originální název

Constraints with Variables'~Annotations and Constraint Hierarchies

Autoři

RUDOVÁ, Hana

Vydání

Berlin Heidelberg, SOFSEM'98:~Theory and Practice of Informatics, s. 409-418, LNCS 1521, 1998

Nakladatel

Springer

---

Další údaje

Jazyk

angličtina

Typ výsledku

Stať ve sborníku

Obor

20206 Computer hardware and architecture

Stát vydavatele

Německo

Utajení

není předmětem státního či obchodního tajemství

Organizační jednotka

Fakulta informatiky

ISBN

3-540-65260-4

Klíčová slova anglicky

constraint solving; over-constrained problems

Štítky

constraint solving, over-constrained problems