13841 search results - page 107 / 2769 » Algorithms and Constraint Programming |
121
Voted
GPCE
2008
Springer
15 years 3 months ago
2008
Springer
A user interface, such as a dialog, assists a user in synthesising a set of values, typically parameters for a command object. Code for “command parameter synthesis” is usuall...
110
click to vote
INFORMATICALT
2006
15 years 2 months ago
2006
Abstract. The asynchronous techniques that exist within the programming with distributed constraints are characterized by the occurrence of the nogood values during the search for ...
111
Voted
SCAM
2003
IEEE
15 years 7 months ago
2003
IEEE
This paper presents and evaluates a number of techniques to improve the execution time of interprocedural pointer analysis in the context of large C programs. The analysis is form...
135
Voted
CADE
2011
Springer
14 years 2 months ago
2011
Springer
Abstract. Methods exploiting problem symmetries have been very successful in several areas including constraint programming and SAT solving. We here recast a technique to enhance t...
176
Voted
AGP
2010
IEEE
15 years 19 days ago
2010
IEEE
The Italian Logic Programming community has given several contributions to the theory of Concurrent Constraint Programming. In particular, in the topics of semantics, verification,...