Model-driven visualizations of constraint-based local search
暂无分享,去创建一个
[1] Pascal Van Hentenryck,et al. The Constraint Logic Programming Language CHIP , 1988, FGCS.
[2] Pascal Van Hentenryck,et al. The OPL Studio Modeling System , 2004 .
[3] Hiroshi Hosobe,et al. A Scalable Linear Constraint Solver for User Interface Construction , 2000, CP.
[4] Lee Naish. Oz Explorer: A Visual Constraint Programming Tool , 1997 .
[5] Jan Maluszynski,et al. Analysis and visualization tools for constraint programming : constraint debugging , 2000 .
[6] Frédéric Goualard,et al. Debugging Constraint Programs by Store Inspection , 2000, Analysis and Visualization Tools for Constraint Programming.
[7] Manuel V. Hermenegildo,et al. Tools for Search-Tree Visualisation: The APT Tool , 2000, Analysis and Visualization Tools for Constraint Programming.
[8] Alan Borning,et al. The Programming Language Aspects of ThingLab, a Constraint-Oriented Simulation Laboratory , 1981, TOPL.
[9] Kim Marriott,et al. Declarative Graphics , 1986, ICLP.
[10] Manuel V. Hermenegildo,et al. Tools for Constraint Visualisation: The VIFID/TRIFID Tool , 2000, Analysis and Visualization Tools for Constraint Programming.
[11] Barry O'Sullivan,et al. Trends in Constraint Programming , 2007 .
[12] Ivan E. Sutherland,et al. Sketchpad: a man-machine graphical communication system , 1899, AFIPS '63 (Spring).
[13] Pascal Van Hentenryck. Constraint Programming as Declarative Algorithmics , 2010 .
[14] Helmut Simonis,et al. Search-Tree Visualisation , 2000, Analysis and Visualization Tools for Constraint Programming.
[15] Eric Bourreau,et al. Complex Constraint Abstraction: Global Constraint Visualisation , 2000, Analysis and Visualization Tools for Constraint Programming.
[16] Pascal Van Hentenryck,et al. Synthesis of Constraint-Based Local Search Algorithms from High-Level Models , 2007, AAAI.
[17] Jan Maluszynski,et al. Analysis and Visualization Tools for Constraint Programming , 2000, Lecture Notes in Computer Science.
[18] Ivan E. Sutherland,et al. Sketchpad a Man-Machine Graphical Communication System , 1899, Outstanding Dissertations in the Computer Sciences.
[19] Micha Meier. Debugging Constraint Programs , 1995, CP.