Dear All, I recently downloaded the WSAT(oip) binaries from http://www.ps.uni-sb.de/~walser/wsatpb/wsatpb.html. However, the dynamic link library for interfacing with Oz seems to be missing. A few days ago, I sent a request for support to the specified email address, but Joachim hasn't been in Saarbrücken for some time now I think.
Do any readers of this list have any practical experiences with using WSAT(oip) and Oz that you'd be willing to share? Could some kind soul, who is still in touch with Dr. Walser, please silently forward this to him? Thanks Much, Chris [EMAIL PROTECTED] Vanderbilt University Nashville, TN ---------- >From the book __Integer_Optimization_by_Local_Search: A_Domain-Independent_Approach__ By: Joachim P. Walser Integer Optimization addresses a wide spectrum of practically important optimization problems and represents a major challenge for algorithmics. The goal of integer optimization is to solve a system of constraints and optimization criteria over discrete variables. Integer Optimization by Local Search introduces a new approach to domain-independent integer optimization, which, unlike traditional strategies, is based on local search. It develops the central concepts and strategies of integer local search and describes possible combinations with classical methods from linear programming. The surprising effectiveness of the approach is demonstrated in a variety of case studies on large-scale, realistic problems, including production planning, timetabling, radar surveillance, and sports scheduling. The monograph is written for practitioners and researchers from artificial intelligence and operations research. _________________________________________________________________________________ mozart-users mailing list [email protected] http://www.mozart-oz.org/mailman/listinfo/mozart-users
