675 search results - page 3 / 135 » Programming Constraint Inference Engines |
ICSE
2009
IEEE-ACM
14 years 6 months ago
2009
IEEE-ACM
ICTAI
2009
IEEE
14 years 13 days ago
2009
IEEE
Inference in constraint programming is usually based on the deductions generated by individual constraints which are then communicated to other constraints through domain filteri...
INFORMS
1998
13 years 5 months ago
1998
constraint abstractions into integer programming, and to discuss possible combinations of the two approaches. Combinatorial problems are ubiquitous in many real world applications ...
KBSE
2010
IEEE
13 years 4 months ago
2010
IEEE
Decision procedures have long been a fixture in program analysis, and reasoning about string constraints is a key element in many program analyses and testing frameworks. Recent ...
AADEBUG
2000
Springer
13 years 10 months ago
2000
Springer
