10718 search results - page 592 / 2144 » On the Circuit Implementation Problem |
171
click to vote
BIRTHDAY
1991
Springer
15 years 10 months ago
1991
Springer
First-order modal logics, as traditionally formulated, are not expressive enough. It is this that is behind the difficulties in formulating a good analog of Herbrand’s Theorem, ...
195
click to vote
IMECS
2007
15 years 8 months ago
2007
Abstract—Implementing binary methods in traditional object-oriented languages is difficult: numerous problems arise, such as typing (covariance vs. contravariance of the argument...
176
click to vote
CSC
2006
15 years 8 months ago
2006
- Symmetric level-index arithmetic was introduced to overcome the problems of overflow and underflow in scientific computations. A hybrid SLI-FLP number system, together with some ...
197
click to vote
FLAIRS
2003
15 years 8 months ago
2003
Over-constrained problems can be solved with the help of soft constraints. Weighted constraints are a typical representation of soft constraints used to minimize weights of unsati...
149
click to vote
CORR
2008
Springer
15 years 7 months ago
2008
Springer
We propose a new quantifier elimination algorithm for the theory of linear real arithmetic. This algorithm uses as subroutines satisfiability modulo this theory and polyhedral pro...