Publication
-
Solving Non-Binary CSPs Using the Hidden Variable Encoding In Proceedings
January 2001 -
Flexible and scalable digital library search In Proceedings
January 2001 -
Experiences with IR Top N optimization in a main memory DBMS: applying `the database approach' in new domains In Proceedings
January 2001 -
January 2001
-
January 2001 -
Verifying termination and error-freedom of logic programs with block declarations Article
Theory and Practice of Logic Programming, 1(4), 447-486.January 2001 -
Pattern forming systems: universal and specific Miscellaneous
January 2001 -
Pattern Formation in Electric Discharges Miscellaneous
January 2001