2 research outputs found
Declarative Statistics
In this work we introduce declarative statistics, a suite of declarative
modelling tools for statistical analysis. Statistical constraints represent the
key building block of declarative statistics. First, we introduce a range of
relevant counting and matrix constraints and associated decompositions, some of
which novel, that are instrumental in the design of statistical constraints.
Second, we introduce a selection of novel statistical constraints and
associated decompositions, which constitute a self-contained toolbox that can
be used to tackle a wide range of problems typically encountered by
statisticians. Finally, we deploy these statistical constraints to a wide range
of application areas drawn from classical statistics and we contrast our
framework against established practices.Comment: The modeling framework and the examples used in this work are
available at https://gwr3n.github.io/syat-choco
A Microkernel Architecture for Constraint Programming
This paper presents a microkernel architecture for constraint programming
organized around a number of small number of core functionalities and minimal
interfaces. The architecture contrasts with the monolithic nature of many
implementations. Experimental results indicate that the software engineering
benefits are not incompatible with runtime efficiency