1274 search results - page 64 / 255 » N-fold integer programming |
FPLE
1995
14 years 1 months ago
1995
Abstract. A hierarchy of six important structures from abstract algebra (groups, rings, fields etc.) is introduced as Gofer class definitions and laws about them. Many instance d...
AMAI
2005
Springer
13 years 10 months ago
2005
Springer
Using the ideas from current investigations in Knowledge Representation we study the use of a class of logic programs for reasoning about infinite sets. Our programs reason about t...
AMAI
2008
Springer
13 years 10 months ago
2008
Springer
The paper studies the relationship between logic programs with the stable model semantics and difference logic recently considered in the Satisfiability Modulo Theories framework....
APVIS
2004
13 years 11 months ago
2004
We describe a modelling language, called XML:LP, for presenting linear and integer programs in XML, with related tools for displaying models and their solutions in web browsers. O...
CORR
2000
Springer
13 years 9 months ago
2000
Springer
For logic programs with arithmetic predicates, showing termination is not easy, since the usual order for the integers is not well-founded. A new method, easily incorporated in th...