16091 search results - page 175 / 3219 » Solving |
142
click to vote
PLILP
1994
Springer
15 years 10 months ago
1994
Springer
We present the design and the implementation of clp(B): a boolean constraint solver inside the Constraint Logic Programming paradigm. This solver is based on local propagation meth...
131
click to vote
ISSAC
1992
Springer
15 years 10 months ago
1992
Springer
For a parametric polynomial system: p1 = 0,
146
click to vote
CSCW
1990
ACM
15 years 10 months ago
1990
ACM
In contrast to the common view of spreadsheetsas "single-user" programs, we have found that spreadsheetsoffer surprisingly strong support for cooperative development of ...