10666 search results - page 1601 / 2134 » Quantum programming languages |
197
click to vote
TPHOL
2005
IEEE
16 years 15 days ago
2005
IEEE
We have definitionally extended Isabelle/HOLCF to support axiomatic Haskell-style constructor classes. We have subsequently defined the functor and monad classes, together with t...
176
click to vote
CP
2005
Springer
16 years 14 days ago
2005
Springer
Local search is a powerful and well-established method for solving hard combinatorial problems. Yet, until recently, it has provided very little user support, leading to time-consu...
188
click to vote
CP
2005
Springer
16 years 14 days ago
2005
Springer
In this paper we overview our recent work and outline our current line of research: First, we describe the WCSP framework and its related local consistencies. Second, the Max-SAT p...
146
click to vote
CP
2005
Springer
16 years 14 days ago
2005
Springer
Abstract. The automatic modelling tool Conjure generates CSP models from problem specifications. The generated models may contain multiple alternative (redundant) representations ...
161
click to vote
CP
2005
Springer
16 years 14 days ago
2005
Springer
Abstract. Subquadrangles are a natural way in which to represent constraints as they do not restrict any subset of their scope. There are already known methods for converting any g...