Charlotte Truchet

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Correction to: ``Solution sampling with random table constraints Constraints	2024-02-14	Paper
Solution sampling with random table constraints Constraints	2023-01-11	Paper
Modular constraint solver cooperation via abstract interpretation Theory and Practice of Logic Programming	2020-12-13	Paper
Revisiting counting solutions for the global cardinality constraint Journal of Artificial Intelligence Research	2019-10-11	Paper
When is it worthwhile to propagate a constraint? A probabilistic analysis of \textsc{AllDifferent} 2013 Proceedings of the Tenth Workshop on Analytic Algorithmics and Combinatorics (ANALCO)	2019-09-17	Paper
Reachability in parametric interval Markov chains using constraints Lecture Notes in Computer Science	2019-09-17	Paper
Reachability in parametric interval Markov chains using constraints Theoretical Computer Science	2018-09-24	Paper
A global constraint for over-approximation of real-time streams Constraints	2018-02-23	Paper
The octagon abstract domain for continuous constraints Constraints	2015-04-29	Paper
A constraint solver based on abstract domains Lecture Notes in Computer Science	2014-11-03	Paper
Using sequential runtime distributions for the parallel speedup prediction of SAT local search Theory and Practice of Logic Programming	2014-02-27	Paper
Six Ways of Integrating Symmetries within Non-overlapping Constraints Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems	2009-06-03	Paper
Computation of words satisfying the ``rhythmic oddity property (after Simha Arom's works) Information Processing Letters	2009-03-23	Paper
Graph Invariants as Necessary Conditions for Global Constraints Principles and Practice of Constraint Programming - CP 2005	2008-09-09	Paper
A Tabu Search Method for Interval Constraints Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems	2008-05-27	Paper
scientific article; zbMATH DE number 2202931 (Why is no real title available?)	2005-09-05	Paper
Musical constraint satisfaction problems solved with adaptive search Soft Computing	2005-04-04	Paper

Research outcomes over time

This page was built for person: Charlotte Truchet