NDLI: Fourier Elimination for Compiling Constraint Hierarchies

Please wait, while we are loading the content...

Fourier Elimination for Compiling Constraint Hierarchies

Content Provider	Springer Nature Link
Author	Harvey, Warwick Stuckey, Peter J. Borning, Alan
Copyright Year	2002
Abstract	Linear equality and inequality constraints arise naturally in specifying many aspects of user interfaces, such as requiring that one window be to the left of another, requiring that a pane occupy the leftmost 1/3 of a window, or preferring that an object be contained within a rectangle if possible. For interactive use, we need to solve similar constraint satisfaction problems repeatedly for each screen refresh, with each successive problem differing from the previous one only in the position of an input device and the previous state of the system. We present an algorithm for solving such systems of constraints using projection. The solution is compiled into very efficient, constraint-free code, which is parameterized by the new inputs. Producing straight-line, constraint-free code of this sort is important in a number of applications: for example, to provide predictable performance in real-time systems, to allow companies to ship products without including a runtime constraint solver, to compile Java applets that can be downloaded and run remotely (again without having to include a runtime solver), or for applications where runtime efficiency is particularly important. Even for less time-critical user interface applications, the smooth performance of the resulting code is more pleasing than that of code produced using other current techniques.
Starting Page	199
Ending Page	219
Page Count	21
File Format	PDF
ISSN	13837133
Journal	Constraints
Volume Number	7
Issue Number	2
e-ISSN	15729354
Language	English
Publisher	Kluwer Academic Publishers
Publisher Date	2002-01-01
Publisher Place	Boston
Access Restriction	One Nation One Subscription (ONOS)
Subject Keyword	Artificial Intelligence (incl. Robotics) Optimization Operation Research/Decision Theory
Content Type	Text
Resource Type	Article
Subject	Discrete Mathematics and Combinatorics Artificial Intelligence Computational Theory and Mathematics Software

Sl.	Authority	Responsibilities	Communication Details
1	Ministry of Education (GoI), Department of Higher Education	Sanctioning Authority	https://www.education.gov.in/ict-initiatives
2	Indian Institute of Technology Kharagpur	Host Institute of the Project: The host institute of the project is responsible for providing infrastructure support and hosting the project	https://www.iitkgp.ac.in
3	National Digital Library of India Office, Indian Institute of Technology Kharagpur	The administrative and infrastructural headquarters of the project	Dr. B. Sutradhar bsutra@ndl.gov.in
4	Project PI / Joint PI	Principal Investigator and Joint Principal Investigators of the project	Dr. B. Sutradhar bsutra@ndl.gov.in Prof. Saswat Chakrabarti will be added soon
5	Website/Portal (Helpdesk)	Queries regarding NDLI and its services	support@ndl.gov.in
6	Contents and Copyright Issues	Queries related to content curation and copyright issues	content@ndl.gov.in
7	National Digital Library of India Club (NDLI Club)	Queries related to NDLI Club formation, support, user awareness program, seminar/symposium, collaboration, social media, promotion, and outreach	clubsupport@ndl.gov.in
8	Digital Preservation Centre (DPC)	Assistance with digitizing and archiving copyright-free printed books	dpc@ndl.gov.in
9	IDR Setup or Support	Queries related to establishment and support of Institutional Digital Repository (IDR) and IDR workshops	idr@ndl.gov.in

A Foundation of Solution Methods for Constraint Hierarchies

Boosting Search with Variable Elimination in Constraint Optimization and Constraint Satisfaction Problems

Some Challenges for Constraint Programming

Compiling CSPs into Tree-Driven Automata for Interactive Solving

Constraint-Based Facial Animation

Constraint Programming: Strategic Directions

Weighted Constraint Aggregation in Fuzzy Optimization

Constraint Programming for Combinatorial Search Problems

Constraint Techniques for Authoring Multimedia Documents

Fourier Elimination for Compiling Constraint Hierarchies

Similar Documents

A Foundation of Solution Methods for Constraint Hierarchies

Boosting Search with Variable Elimination in Constraint Optimization and Constraint Satisfaction Problems

Some Challenges for Constraint Programming

Compiling CSPs into Tree-Driven Automata for Interactive Solving

Constraint-Based Facial Animation

Constraint Programming: Strategic Directions

Weighted Constraint Aggregation in Fuzzy Optimization

Constraint Programming for Combinatorial Search Problems

Constraint Techniques for Authoring Multimedia Documents

Fourier Elimination for Compiling Constraint Hierarchies