4224 search results - page 7 / 845 » Reasoning about Choice |
130
click to vote
CADE
2009
Springer
16 years 29 days ago
2009
Springer
In recent years researchers have developed a wide range of powerful automated reasoning systems. We have leveraged these systems to build Jahob, a program specification, analysis, ...
CPAIOR
2004
Springer
15 years 5 months ago
2004
Springer
We describe using Case Based Reasoning to explore structure at the instance level as a means to distinguish whether to use CP or IP to solve instances of the Bid Evaluation Problem...
111
Voted
KR
1998
Springer
15 years 4 months ago
1998
Springer
87
Voted
KR
1994
Springer
15 years 4 months ago
1994
Springer
76
Voted
DLOG
1996
15 years 1 months ago
1996