![](https://dblp.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
default search action
Charlotte Truchet
Person information
- affiliation: University of Nantes, LS2N, France
Refine list
![note](https://dblp.uni-trier.de/img/note-mark.dark.12x12.png)
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
- [i5]Alejandro Arbelaez, Charlotte Truchet, Philippe Codognet:
Using Sequential Runtime Distributions for the Parallel Speedup Prediction of SAT Local Search. CoRR abs/2403.08790 (2024) - 2023
- [j12]Mathieu Vavrille, Charlotte Truchet, Charles Prud'homme:
Correction to: Solution sampling with random table constraints. Constraints An Int. J. 28(3): 519 (2023) - 2022
- [j11]Mathieu Vavrille
, Charlotte Truchet
, Charles Prud'homme
:
Solution sampling with random table constraints. Constraints An Int. J. 27(4): 381-413 (2022) - 2021
- [c22]Mathieu Vavrille, Charlotte Truchet, Charles Prud'homme
:
Solution Sampling with Random Table Constraints. CP 2021: 56:1-56:17 - 2020
- [j10]Pierre Talbot
, Éric Monfroy, Charlotte Truchet:
Modular Constraint Solver Cooperation via Abstract Interpretation. Theory Pract. Log. Program. 20(6): 848-863 (2020) - [i4]Pierre Talbot, Éric Monfroy, Charlotte Truchet:
Modular Constraint Solver Cooperation via Abstract Interpretation. CoRR abs/2008.01415 (2020)
2010 – 2019
- 2019
- [j9]Giovanni Lo Bianco
, Xavier Lorca
, Charlotte Truchet, Gilles Pesant:
Revisiting Counting Solutions for the Global Cardinality Constraint. J. Artif. Intell. Res. 66: 411-441 (2019) - [c21]Giovanni Lo Bianco
, Xavier Lorca
, Charlotte Truchet:
Estimating the Number of Solutions of Cardinality Constraints Through \texttt range and \texttt roots Decompositions. CP 2019: 317-332 - [c20]Ghiles Ziat, Alexandre Maréchal, Marie Pelleau, Antoine Miné, Charlotte Truchet:
Combination of Boxes and Polyhedra Abstractions for Constraint Solving. FM Workshops (2) 2019: 119-135 - [c19]Pierre Talbot
, David Cachera, Éric Monfroy, Charlotte Truchet:
Combining Constraint Languages via Abstract Interpretation. ICTAI 2019: 50-58 - 2018
- [j8]Anicet Bart
, Benoît Delahaye
, Paulin Fournier, Didier Lime
, Éric Monfroy, Charlotte Truchet:
Reachability in parametric Interval Markov Chains using constraints. Theor. Comput. Sci. 747: 48-74 (2018) - [c18]Ghiles Ziat, Marie Pelleau, Charlotte Truchet, Antoine Miné:
Finding Solutions by Finding Inconsistencies. CP 2018: 420-435 - 2017
- [j7]Anicet Bart
, Charlotte Truchet, Éric Monfroy:
A global constraint for over-approximation of real-time streams. Constraints An Int. J. 22(3): 463-490 (2017) - [c17]Anicet Bart, Benoît Delahaye
, Didier Lime
, Éric Monfroy, Charlotte Truchet:
Reachability in Parametric Interval Markov Chains Using Constraints. QEST 2017: 173-189 - [i3]Anicet Bart, Benoît Delahaye, Didier Lime, Éric Monfroy, Charlotte Truchet:
Reachability in Parametric Interval Markov Chains using Constraints. CoRR abs/1706.00270 (2017) - 2016
- [j6]Charlotte Truchet, Alejandro Arbelaez
, Florian Richoux, Philippe Codognet:
Estimating parallel runtimes for randomized algorithms in constraint solving. J. Heuristics 22(4): 613-648 (2016) - [c16]Alejandro Arbelaez
, Charlotte Truchet, Barry O'Sullivan:
Learning Sequential and Parallel Runtime Distributions for Randomized Algorithms. ICTAI 2016: 655-662 - [i2]Amine Balafrej, Xavier Lorca
, Charlotte Truchet:
A Probabilistic-Based Model for Binary CSP. CoRR abs/1606.03894 (2016) - 2015
- [c15]Anicet Bart, Charlotte Truchet, Éric Monfroy:
Verifying a Real-Time Language with Constraints. ICTAI 2015: 844-851 - 2014
- [j5]Marie Pelleau, Charlotte Truchet, Frédéric Benhamou:
The octagon abstract domain for continuous constraints. Constraints An Int. J. 19(3): 309-337 (2014) - [j4]Charlotte Truchet:
Introduction. Rev. d'Intelligence Artif. 28(5): 521-522 (2014) - [c14]Bruno Belin, Marc Christie, Charlotte Truchet:
Interactive Design of Sustainable Cities with a Distributed Local Search Solver. CPAIOR 2014: 104-119 - 2013
- [j3]Alejandro Arbelaez
, Charlotte Truchet, Philippe Codognet:
Using sequential runtime distributions for the parallel speedup prediction of SAT local search. Theory Pract. Log. Program. 13(4-5): 625-639 (2013) - [c13]Jérémie Du Boisberranger, Danièle Gardy, Xavier Lorca
, Charlotte Truchet:
When is it worthwhile to propagate a constraint? A probabilistic analysis of AllDifferent. ANALCO 2013: 80-90 - [c12]Charlotte Truchet, Florian Richoux, Philippe Codognet:
Prediction of Parallel Speed-Ups for Las Vegas Algorithms. ICPP 2013: 160-169 - [c11]Marie Pelleau, Antoine Miné, Charlotte Truchet, Frédéric Benhamou:
A Constraint Solver Based on Abstract Domains. VMCAI 2013: 434-454 - 2012
- [i1]Charlotte Truchet, Florian Richoux, Philippe Codognet:
Prediction of Parallel Speed-ups for Las Vegas Algorithms. CoRR abs/1212.4287 (2012) - 2011
- [c10]Marie Pelleau, Charlotte Truchet, Frédéric Benhamou:
Octagonal Domains for Continuous Constraints. CP 2011: 706-720 - 2010
- [c9]Charlotte Truchet, Marie Pelleau, Frédéric Benhamou:
Abstract Domains for Constraint Programming, with the Example of Octagons. SYNASC 2010: 72-79
2000 – 2009
- 2009
- [c8]Magnus Ågren, Nicolas Beldiceanu, Mats Carlsson, Mohamed Sbihi
, Charlotte Truchet, Stéphane Zampelli:
Six Ways of Integrating Symmetries within Non-overlapping Constraints. CPAIOR 2009: 11-25 - [c7]Marie Pelleau, Pascal Van Hentenryck, Charlotte Truchet:
Sonet Network Design Problems. LSCS 2009: 81-95 - 2008
- [c6]Charlotte Truchet, Marc Christie, Jean-Marie Normand
:
A Tabu Search Method for Interval Constraints. CPAIOR 2008: 372-376 - 2007
- [c5]Nicolas Beldiceanu, Mats Carlsson, Emmanuel Poder, R. Sadek, Charlotte Truchet:
A Generic Geometrical Constraint Kernel in Space and Time for Handling Polymorphic k-Dimensional Objects. CP 2007: 180-194 - 2005
- [c4]Nicolas Beldiceanu, Mats Carlsson, Jean-Xavier Rampon, Charlotte Truchet:
Graph Invariants as Necessary Conditions for Global Constraints. CP 2005: 92-106 - 2004
- [j2]Charlotte Truchet, Philippe Codognet:
Musical constraint satisfaction problems solved with adaptive search. Soft Comput. 8(9): 633-640 (2004) - [c3]Charlotte Truchet:
Programmation par contraintes et composition musicale. JFPLC 2004 - 2003
- [j1]Marc Chemillier, Charlotte Truchet:
Computation of words satisfying the "rhythmic oddity property" (after Simha Arom's works). Inf. Process. Lett. 86(5): 255-261 (2003) - 2001
- [c2]Charlotte Truchet, Gérard Assayag, Philippe Codognet:
Visual and Adaptive Constraint Programming in Music. ICMC 2001 - [c1]Charlotte Truchet, Carlos Agón, Gérard Assayag:
Recherche adaptative et contraintes musicales. JFPLC 2001: 91-108
Coauthor Index
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-04-24 22:57 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint