<--- Back to Details
First PageDocument Content
Operations research / Classical mechanics / Constraint satisfaction / Energy minimization / Mathematical optimization / Derivative / Control theory / Constraint programming / Constraint / Generalizations of the derivative / Loop quantum gravity / Constraint logic programming
Date: 2006-01-18 15:03:30
Operations research
Classical mechanics
Constraint satisfaction
Energy minimization
Mathematical optimization
Derivative
Control theory
Constraint programming
Constraint
Generalizations of the derivative
Loop quantum gravity
Constraint logic programming

[To Appear in the SIGGRAPH 94 Conference Proceedings] TBAG: A High Level Framework for Interactive, Animated 3D Graphics Applications Conal Elliott, Greg Schechter, Ricky Yeung, and Salim Abi-Ezzi SunSoft, Inc. *

Add to Reading List

Source URL: conal.net

Download Document from Source Website

File Size: 403,42 KB

Share Document on Facebook

Similar Documents

Constraint programming / Mathematics / Lattice theory / Mathematical optimization / Applied mathematics / Constraint satisfaction / Local consistency / Semilattice / Linear programming / Optimization problem / Constraint / Feasible region

in Knowledge Engineering Reviews, 2001 Synthesis of EÆcient Constraint Satisfaction Programs Stephen J. Westfold and Douglas R. Smith Kestrel Institute 3260 Hillview Avenue

DocID: 1xVgq - View Document

Computational complexity theory / Complexity classes / Theory of computation / NP / Probabilistically checkable proof / IP / Proof of knowledge / Reduction / NC / Craig interpolation / EXPTIME / Combinatory logic

Fast Reductions from RAMs to Delegatable Succinct Constraint Satisfaction Problems∗ Eli Ben-Sasson† Alessandro Chiesa†

DocID: 1xTDp - View Document

A Dichotomy Theorem for the Resolution Complexity of Random Constraint Satisfaction Problems Siu On Chan and Michael Molloy Department of Computer Science University of Toronto {siuon,molloy}@cs.toronto.edu

DocID: 1uD4W - View Document

1 Overview • This talk is about: – The Boolean Satisfiability Problem (SAT) – The Constraint Satisfaction Problem (CSP)

DocID: 1ukgD - View Document

5 CONSTRAINT SATISFACTION PROBLEMS In which we see how treating states as more than just little black boxes leads to the

DocID: 1uf9a - View Document