Quasi-Linear-Time Algorithms by Generalisation of Union-Find in CHR
Beitrag zu einer Konferenz
Editor
Fages, F.Rossi, F.
Soliman, S.
Faculties
Fakultät für Ingenieurwissenschaften, Informatik und PsychologieInstitutions
Institut für Programmiermethodik und CompilerbauPublished in
Recent Advances in Constraints: 12th Annual ERCIM Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2007. - Berlin ; Heidelberg : Springer, 2008. - (Lecture Notes in Computer Science ; 5129). - S. 91-108. - ISBN 978-3-540-89811-5, ISBN 978-3-540-89812-2
Link to publication
https://dx.doi.org/10.1007/978-3-540-89812-2_7Conference
International Workshop on Constraint Solving and Constraint Logic Programming, 2007-06-07 - 2007-06-08, Rocquencourt, Frankreich