Back to Results
First PageMeta Content
Software engineering / Constraint satisfaction / Constraint logic programming / Cassowary / Satisfiability Modulo Theories / Constraint graph / Solver / Prolog / ECLiPSe / Constraint programming / Declarative programming / Theoretical computer science


Architectures for Cooperating Constraint Solvers Alan Borning This material is based upon work supported in part by the National Science Foundation under
Add to Reading List

Document Date: 2015-01-21 19:14:21

Open Document

File Size: 237,20 KB

Share Result on Facebook

City

Munich / Heidelberg / Glendale / New York / /

Company

Oriented Simulation Laboratory / Xerox / Hosobe / User Interface Software / /

Country

Germany / /

Facility

VPRI Memo M-2012-003 Viewpoints Research Institute / Oriented Simulation Laboratory / Machine Graphical Communication System / /

/

IndustryTerm

constraint satisfaction algorithm / interface applications / straightforward dataflow solution / graph algorithms / local propagation algorithm / /

Organization

Machine Intelligence / National Science Foundation / VPRI Memo M-2012-003 Viewpoints Research Institute / MIT / Department of Electrical Engineering / Constraint-Oriented Simulation Laboratory / Stanford / /

Person

Hiroshi Hosobe / Ivan Sutherland / Burton Rosenberg / Satoshi Matsuoka / John McCarthy / Molly Wilson / Michel Gangnet / Bjorn Freeman-Benson / Roland Yap / Alan Borning / Jean-Louis Lassez / Derek Oppen / Greg Nelson / Richard Anderson / Spiro Michaylov / Peter Stuckey / Michael Sannella / Patrick Hayes / John Maloney / Akinori Yonezawa / Joxan Jaffar / /

/

Position

author / controller / /

ProgrammingLanguage

Prolog / /

ProvinceOrState

New York / California / /

Technology

graph algorithms / constraint satisfaction algorithm / artificial intelligence / API / local propagation algorithm / simulation / SSL / DeltaBlue algorithm / /

SocialTag