Charlotte Truchet

Available identifiers

Publication	Date of Publication	Type
Correction to: ``Solution sampling with random table constraints	2024-02-14	Paper
Solution sampling with random table constraints	2023-01-11	Paper
Modular Constraint Solver Cooperation via Abstract Interpretation	2020-12-13	Paper
Revisiting Counting Solutions for the Global Cardinality Constraint	2019-10-11	Paper
Reachability in parametric interval Markov chains using constraints	2019-09-17	Paper
When is it worthwhile to propagate a constraint? A probabilistic analysis of A<scp>ll</scp>D<scp>ifferent</scp>	2019-09-17	Paper
Reachability in parametric interval Markov chains using constraints	2018-09-24	Paper
A global constraint for over-approximation of real-time streams	2018-02-23	Paper
The octagon abstract domain for continuous constraints	2015-04-29	Paper
A Constraint Solver Based on Abstract Domains	2014-11-03	Paper
Using sequential runtime distributions for the parallel speedup prediction of SAT local search	2014-02-27	Paper
Six Ways of Integrating Symmetries within Non-overlapping Constraints	2009-06-03	Paper
Computation of words satisfying the ``rhythmic oddity property (after Simha Arom's works)	2009-03-23	Paper
Graph Invariants as Necessary Conditions for Global Constraints	2008-09-09	Paper
A Tabu Search Method for Interval Constraints	2008-05-27	Paper
https://portal.mardi4nfdi.de/entity/Q5315010	2005-09-05	Paper
Musical constraint satisfaction problems solved with adaptive search	2005-04-04	Paper

This page was built for person: Charlotte Truchet