![Computer programming / Constraint logic programming / Kaleidoscope / Constraint satisfaction problem / Cassowary / Constraint / Prolog / Satisfiability Modulo Theories / Constraint satisfaction / Constraint programming / Declarative programming / Software engineering Computer programming / Constraint logic programming / Kaleidoscope / Constraint satisfaction problem / Cassowary / Constraint / Prolog / Satisfiability Modulo Theories / Constraint satisfaction / Constraint programming / Declarative programming / Software engineering](https://www.pdfsearch.io/img/36bd99092539417cdee943d829c119c4.jpg)
| Document Date: 2014-08-21 12:43:43 Open Document File Size: 1,04 MBShare Result on Facebook
City Ruby / Auckland / / Company Microsoft / / Event Product Issues / / Facility Hasso Plattner Institute / University of Washington / University of Potsdam / Z3 library / / IndustryTerm interactive graphical applications / weighted-sum-better solutions / possible solutions / graphical systems / configuration file management / locally-predicate-better solutions / finds solutions / / OperatingSystem Mac OS X / / Organization University of Potsdam / University of Washington / Hasso Plattner Institute / / Person Alan Borning / Tim Felgentreff / Robert Hirschfeld / / / Position Editor / interpreter / programmer / / Product Kaleidoscope / be expressed using Kaleidoscope / program state / / ProgrammingLanguage Smalltalk / R / Python / Scala / / Technology virtual machine / CAD/CAM / simulation / DSL / GUI / / URL http /
SocialTag |