Integration and Optimization of Rule-based Constraint Solvers
Erstveröffentlichung
2004Editor
Bruynooghe, M.
Beitrag zu einer Konferenz
Published in
Logic-based Program Synthesis and Transformation (LOPSTR'03) ; 2003 (2004). - S. 198-213. - ISBN 978-3-540-22174-6, ISBN 978-3-540-25938-1
Link to publication
https://dx.doi.org/10.1007/978-3-540-25938-1_17Faculties
Fakultät für Ingenieurwissenschaften, Informatik und PsychologieInstitutions
Institut für Programmiermethodik und CompilerbauConference
International Symposium on Logic-Based Program Synthesis and Transformation, 2003-08-25 - 2003-08-28, Uppsala,