Brown University, May 1999. Local search is a traditional technique to solve...  @ NUS Home/Search
Context
Related
| uconn.edu/~ldm/thesis.ps.gz Cached: PS.gz PS PDF Image Update Help From: uconn.edu/~ldm/publi (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: Builtin Data Types . . . . . . . . . . . . . . . . . . . . . . 49 4.11.2 Graph Invariants . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 53 5 A Denotational Semantics of Localizer 55 5.1 Little Localizer . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 55 5.2 Notations and Conventions . . . . . . . . . . . . . . . . . . . . . . . . . . . 57 5.3 Semantic Algebras . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 58 5.4 The Semantics . . . . . . . . . . . . ... (Update)
Similar documents (at the sentence level):
5.1%: Localizer - Michel, Van Hentenryck (1998) (Correct)
Active bibliography (related documents): More All
0.6: Localizer++: An Open Library for Local Search - Michel, Van Hentenryck (2001) (Correct)
0.5: Design, Implementation, and Evaluation of the.. - Van Hentenryck.. (1994) (Correct)
0.3: A Document Manipulation System based on Natural Semantics - Arnon, Attali (1995) (Correct)
Similar documents based on text: More All
0.2: Automated Verification of State-based specifications against.. - Bontemps (2001) (Correct)
0.2: Fault Localization with Nearest Neighbor Queries - Renieris, Reiss (2003) (Correct)
0.1: Localizer: A Modeling Language for Local Search - Michel, van Hentenryck (1997) (Correct)
BibTeX entry: (Update)
@misc{ -unknown,
title = "Unknown",
url = "citeseer.comp.nus.edu.sg/663840.html" }
Citations (may not include all citations):3972 Introduction to Algorithms (context) - Cormen, Leiserson et al. - 1990
1527 Optimization by Simulated Annealing - Kirkpatrick, Gelatt et al. - 1983
643 Equation of state calculations by fast computing machines (context) - Metropolis, Rosenbluth et al. - 1953
482 Combinatorial Optimization: Algorithms and Complexity (context) - Papadimitriou, Steiglitz - 1982
371 Optimization by Simulated Annealing: An Experimental Evaluat.. (context) - Johnson, Aragon et al. - 1989
371 Optimization by Simulated Annealing: An Experimental Evaluat.. (context) - Johnson, Aragon et al. - 1991
267 The Constraint Logic Programming Language CHIP (context) - Dincbas, Van Hentenryck et al. - 1988
261 An Introduction to Prolog III (context) - Colmerauer - 1990
218 AMPL: A Modeling Language for Mathematical Programming (context) - Fourer, Gay et al. - 1993
135 Solving Large-Scale Constraint Satisfaction and Scheduling P.. (context) - Minton, Johnston et al. - 1990
112 A Computational Study of the Job Shop Scheduling Problem (context) - Applegate, Cook - 1991
96 Lisp and Symbolic Computation (context) - Borning, Freeman-Benson et al. - 1992
84 How easy is local search (context) - Johnson, Papadimitriou et al. - 1988
81 Constraint-Directed Search: A Case Study of Job-Shop Schedul.. - Fox - 1983
76 ORSA Journal on Computing (context) - Glover - 1990
76 ORSA Journal on Computing (context) - Glover - 1989
72 ACM Transaction on Programming Languages and Systems (context) - Borning, Language et al. - 1981
65 Implementation of CLP (context) - Puget - 1994
63 Rete Fast Algorithm Many PatternMany Object Pattern Match Pr.. (context) - Fast, the et al. - 1982
62 Generating Language-based Environments (context) - Reps - 1984
61 Incremental Context-Dependent Analysis for Language-based Ed.. (context) - Reps, Teitelbaum et al.
49 Incremental evaluation of computational circuits (context) - Alpern, Hoover et al. - 1990
42 the Development of a General Algebraic Modeling System in a .. (context) - Bisschop, Meeraus - 1982
41 A Tabu Search Heuristic for the Vehicle Routing Problem (context) - Gendreau, Hertz et al. - 1994
40 Metastrategy Simulated Annealing and Tabu Search for Combina.. (context) - Osman - 1991
40 Metastrategy Simulated Annealing and Tabu Search Algorithms .. (context) - Osman - 1993
39 Scheduling of vehicles from a central depot to a number of d.. (context) - Clarke, Wright - 1964
35 ACM Transactions on Programming Languages and Systems (context) - Paige, Koenig et al. - 1982
34 Programming with invariants (context) - Paige - 1986
33 Bounded Incremental Computation (context) - Ramalingam - 1993
33 Updating distances in dynamic graphs (context) - Even, Gazit - 1985
30 Localizer: A modeling language for local search - Michel, Van Hentenryck - 1997
30 Localizer: A Modeling Language for Local Search - Michel, Van Hentenryck - 1998
23 The Vehicle Routing Problem: An overview of exact and approx.. (context) - Laporte - 1992
20 highly-interactive user interface: The garnet user interface.. (context) - Myers, for - 1990
15 Applying Tabu Search to the Job-Shop Scheduling Problem (context) - Dell'Amico, Trubian - 1993
13 the computational complexity of incremental algorithms (context) - Ramalingam, On - 1991
13 Incremental computation and the incremental evaluation of fu.. (context) - Pugh - 1988
12 WileyInterscience Series in Discrete Mathematics and Optimiz.. (context) - Aarts, Lenstra et al. - 1997
9 On competitive on-line algorithms for the dynamic priority-o.. (context) - Ramalingam, Reps - 1994
9 Genius-cp: A generic single-vehicle routing algorithm - Pesant, Gendreau et al. - 1997
8 on Programming Languages and Systems (context) - Ja, Michaylov et al. - 1992
8 The garnet user interface development environment; a proposa.. (context) - Myers - 1988
7 Incremental algorithms in graph theory (context) - Cheston - 1976
5 Making structured graphics and constraints practical for lar.. (context) - Myers, Giuse et al. - 1994
4 Recon gurable architectures: A new vision for optimization p.. (context) - Hamadi, Merceron - 1997
3 Attribute grammars in constraint-based graphics system (context) - Barford, Zanden - 1989
2 Constraint Programming: An Ecient and Practical Approach to .. (context) - Colombani - 1996
1 chapter The vehicle routing problem (context) - des, Mingozzi et al. - 1979
1 Localizer: A Modeling Language for Local Search and its Impl.. (context) - Michel - 1998
1 Formal Di erentiation (context) - Paige - 1981
1 Ecole normale superieure (context) - Caseau, Laburthe et al. - 1995
1 Sublinear-space evaluation algorithms for attribute grammars (context) - Reps, Demers
1 a programming language for multi-agent systems (context) - Henz, Smolka et al. - 1993
1 An adaptative memory heuristic for a class of vehicle routin.. (context) - Golden, Laporte et al. - 1995
Documents on the same site (http://www.cse.uconn.edu/~ldm/publi.html): More
A Constraint-Based Architecture for Local Search - Michel, Van Hentenryck (2002) (Correct)
A Decomposition-Based Implementation of Search Strategies - Michel, Van Hentenryck (2002) (Correct)
Proceedings CPAIOR'03 - Simulated Annealing Approach (Correct)
Online articles have much greater impact More about CiteSeer.IST at NUS Add search form to your site Submit documents Feedback
CiteSeer.IST at NUS - Copyright Penn State and NEC. Hosted by the School of Computing, National University of Singapore.