Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: View-based Propagator Derivation   When implementing a propagator for a constraint, one must decide about
variants: When implementing min, should one also implement max? Should one
implement linear constraints both with unit and non-unit coefficients?
Constraint variants are ubiquitous: implementing them requires considerable (if
not prohibitive) effort and decreases maintainability, but will deliver better
performance than resorting to constraint decomposition.
  This paper shows how to use views to derive perfect propagator variants. A
model for views and derived propagators is introduced. Derived propagators are
proved to be indeed perfect in that they inherit essential properties such as
correctness and domain and bounds consistency. Techniques for systematically
deriving propagators such as transformation, generalization, specialization,
and type conversion are developed. The paper introduces an implementation
architecture for views that is independent of the underlying constraint
programming system. A detailed evaluation of views implemented in Gecode shows
that derived propagators are efficient and that views often incur no overhead.
Without views, Gecode would either require 180 000 rather than 40 000 lines of
propagator code, or would lack many efficient propagator variants. Compared to
8 000 lines of code for views, the reduction in code for propagators yields a
1750% return on investment.

15
The categories of this paper are: nucl-ex
17
The categories of this paper are: q-fin
33
The categories of this paper are: plasm-ph
31
The categories of this paper are: ao-sci
22
The categories of this paper are: chao-dyn
25
The categories of this paper are: patt-sol
2
The categories of this paper are: math
16
The categories of this paper are: stat
23
The categories of this paper are: solv-int
29
The categories of this paper are: funct-an
18
The categories of this paper are: econ
28
The categories of this paper are: alg-geom
4
The categories of this paper are: cond-mat
37
The categories of this paper are: supr-con
30
The categories of this paper are: q-alg
10
The categories of this paper are: q-bio