4117 search results - page 45 / 824 » On the Satisfiability of Complex Constraints |
IPL
2000
14 years 11 months ago
2000
We show that stratified context unification, which is one of the most expressive fragments of context unification known to be decidable, is equivalent to the satisfiability proble...
TOG
2008
14 years 11 months ago
2008
This paper presents a new quadrangulation algorithm, extending the spectral surface quadrangulation approach where the coarse quadrangular structure is derived from the Morse-Smal...
ENTCS
2008
14 years 12 months ago
2008
Most well-known algorithms for equational solving are based on quantifier elimination. This technique iteratively eliminates the innermost block of existential/universal quantifie...
CLIMA
2004
15 years 1 months ago
2004
In this paper we extend the Revision Programming framework--a logic-based framework to express and maintain constraints on knowledge bases-with different forms of preferences. Pref...
ICC
2007
IEEE
15 years 6 months ago
2007
IEEE
— In this paper, power efficient signaling over indoor diffuse wireless optical channels is considered. Present-day laser diodes have pulse rates many times higher than the band...