论文信息 - SaLSA : a Specifiction Language for Search Algorithms - 字舞流文

SaLSA : a Specifiction Language for Search Algorithms

François Laburthe | Yves Caseau

[1] Shlomo Zilberstein,et al. Operational Rationality through Compilation of Anytime Algorithms , 1995, AI Mag..

[2] Gert Smolka,et al. Encapsulated Search for Higher-order Concurrent Constraint Programming , 1994, ILPS.

[3] Pascal Van Hentenryck,et al. Localizer: A Modeling Language for Local Search , 1999, INFORMS J. Comput..

[4] Krzysztof R. Apt,et al. Search and imperative programming , 1997, POPL '97.

[5] François Laburthe,et al. Disjunctive Scheduling with Task Intervals , 1995 .

[6] David B. Shmoys,et al. A New Approach to Computing Optimal Schedules for the Job-Shop Scheduling Problem , 1996, IPCO.

[7] Christian Schulte. Oz Explorer: A Visual Constraint Programming Tool , 1996, PLILP.