✦ LIBER ✦

QOCA: A Constraint Solving Toolkit for Interactive Graphical Applications

✍ Scribed by Kim Marriott; Sitt Sen Chok

Book ID: 110396300
Publisher: Springer US
Year: 2002
Tongue: English
Weight: 263 KB
Volume: 7
Category: Article
ISSN: 1383-7133
DOI: 10.1023/a:1020513316058

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

THESEUS++: A high level user interface t

THESEUS++: A high level user interface toolkit for graphical applications

✍ Dennis Dingeldein; Gregor Lux 📂 Article 📅 1993 🏛 Elsevier Science 🌐 English ⚖ 731 KB

Ultraviolet: A Constraint Satisfaction A

Ultraviolet: A Constraint Satisfaction Algorithm for Interactive Graphics

✍ Alan Borning; Bjorn Freeman-Benson 📂 Article 📅 1998 🏛 Springer US 🌐 English ⚖ 227 KB

A New Extreme Point Algorithm and Its Ap

A New Extreme Point Algorithm and Its Application in PSQP Algorithms for Solving Mathematical Programs with Linear Complementarity Constraints

✍ Jianzhong Zhang; Guoshan Liu 📂 Article 📅 2001 🏛 Springer US 🌐 English ⚖ 96 KB

[Lecture Notes in Computer Science] Theo

[Lecture Notes in Computer Science] Theory and Applications of Satisfiability Testing – SAT 2010 Volume 6175 || A System for Solving Constraint Satisfaction Problems with SMT

✍ Strichman, Ofer; Szeider, Stefan 📂 Article 📅 2010 🏛 Springer Berlin Heidelberg 🌐 German ⚖ 134 KB

Annotation. This Book Constitutes The Refereed Proceedings Of The 13th International Conference On Theory And Applications Of Satisfiability Testing, Sat 2010, Held In Edinburgh, Uk, In July 2010 As Part Of The Federated Logic Conference, Floc 2010. The 21 Revised Full Papers Presented Together With