7892 search results - page 299 / 1579 » Programming with Models |
113
click to vote
AAAI
2008
15 years 4 months ago
2008
In a recent paper, Ferraris, Lee and Lifschitz conjectured that the concept of a stable model of a first-order formula can be used to treat some answer set programming expressions...
107
click to vote
SIGCSE
2002
ACM
15 years 1 months ago
2002
ACM
Innovative teachers are continually looking for creative ideas, both to get their ideas across and to hold the interest of their students. One of the latest trends is the use of L...
114
click to vote
CPAIOR
2004
Springer
15 years 7 months ago
2004
Springer
Abstract. Constraint programming based column generation is a hybrid optimization framework recently proposed that uses constraint programming (CP) to solve column generation subpr...
LPAR
2005
Springer
15 years 7 months ago
2005
Springer
Abstract. The paper presents a combination of interactive and automatic tools in the area of software verification. We have integrated a newly developed software model checker int...
125
click to vote
ICC
2007
IEEE
15 years 8 months ago
2007
IEEE
— Multi-slot resource scheduling in a general two dimensional wireless ad hoc network, is a hard problem with no known polynomial-time solution. Recent optimization theoretic ana...