16091 search results - page 175 / 3219 » Solving |
105
Voted
PLILP
1994
Springer
15 years 7 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...
100
Voted
ISSAC
1992
Springer
15 years 7 months ago
1992
Springer
For a parametric polynomial system: p1 = 0,
87
Voted
AII
1989
15 years 7 months ago
1989
92
Voted
COMPGEOM
1990
ACM
15 years 7 months ago
1990
ACM
121
Voted
CSCW
1990
ACM
15 years 7 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 ...