The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Charlotte Truchet" ( http://dblp.L3S.de/Authors/Charlotte_Truchet )

URL (Homepage):  http://www.normalesup.org/~truchet/  Author page on DBLP  Author page in RDF  Community of Charlotte Truchet in ASPL-2

Publication years (Num. hits)
2001-2013 (17) 2014-2019 (14)
Publication types (Num. hits)
article(12) inproceedings(19)
Venues (Conferences, Journals, ...)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
No Growbag Graphs found.

Results
Found 32 publication records. Showing 31 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Giovanni Lo Bianco, Xavier Lorca, Charlotte Truchet, Gilles Pesant Revisiting Counting Solutions for the Global Cardinality Constraint. Search on Bibsonomy J. Artif. Intell. Res. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Giovanni Lo Bianco, Xavier Lorca, Charlotte Truchet Estimating the Number of Solutions of Cardinality Constraints Through \texttt range and \texttt roots Decompositions. Search on Bibsonomy CP The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Anicet Bart, Benoît Delahaye, Paulin Fournier, Didier Lime, Eric Monfroy, Charlotte Truchet Reachability in parametric Interval Markov Chains using constraints. Search on Bibsonomy Theor. Comput. Sci. The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Ghiles Ziat, Marie Pelleau, Charlotte Truchet, Antoine Miné Finding Solutions by Finding Inconsistencies. Search on Bibsonomy CP The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Anicet Bart, Benoît Delahaye, Didier Lime, Eric Monfroy, Charlotte Truchet Reachability in Parametric Interval Markov Chains using Constraints. Search on Bibsonomy CoRR The full citation details ... 2017 DBLP  BibTeX  RDF
1Anicet Bart, Charlotte Truchet, Eric Monfroy A global constraint for over-approximation of real-time streams. Search on Bibsonomy Constraints The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Anicet Bart, Benoît Delahaye, Didier Lime, Eric Monfroy, Charlotte Truchet Reachability in Parametric Interval Markov Chains Using Constraints. Search on Bibsonomy QEST The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Amine Balafrej, Xavier Lorca, Charlotte Truchet A Probabilistic-Based Model for Binary CSP. Search on Bibsonomy CoRR The full citation details ... 2016 DBLP  BibTeX  RDF
1Charlotte Truchet, Alejandro Arbelaez, Florian Richoux, Philippe Codognet Estimating parallel runtimes for randomized algorithms in constraint solving. Search on Bibsonomy J. Heuristics The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Alejandro Arbelaez, Charlotte Truchet, Barry O'Sullivan Learning Sequential and Parallel Runtime Distributions for Randomized Algorithms. Search on Bibsonomy ICTAI The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Anicet Bart, Charlotte Truchet, Eric Monfroy Verifying a Real-Time Language with Constraints. Search on Bibsonomy ICTAI The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Charlotte Truchet Introduction. Search on Bibsonomy Revue d'Intelligence Artificielle The full citation details ... 2014 DBLP  BibTeX  RDF
1Marie Pelleau, Charlotte Truchet, Frédéric Benhamou The octagon abstract domain for continuous constraints. Search on Bibsonomy Constraints The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Bruno Belin, Marc Christie, Charlotte Truchet Interactive Design of Sustainable Cities with a Distributed Local Search Solver. Search on Bibsonomy CPAIOR The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Alejandro Arbelaez, Charlotte Truchet, Philippe Codognet Using sequential runtime distributions for the parallel speedup prediction of SAT local search. Search on Bibsonomy TPLP The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Jérémie Du Boisberranger, Danièle Gardy, Xavier Lorca, Charlotte Truchet When is it worthwhile to propagate a constraint? A probabilistic analysis of AllDifferent. Search on Bibsonomy ANALCO The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Charlotte Truchet, Florian Richoux, Philippe Codognet Prediction of Parallel Speed-Ups for Las Vegas Algorithms. Search on Bibsonomy ICPP The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Marie Pelleau, Antoine Miné, Charlotte Truchet, Frédéric Benhamou A Constraint Solver Based on Abstract Domains. Search on Bibsonomy VMCAI The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Charlotte Truchet, Florian Richoux, Philippe Codognet Prediction of Parallel Speed-ups for Las Vegas Algorithms Search on Bibsonomy CoRR The full citation details ... 2012 DBLP  BibTeX  RDF
1Marie Pelleau, Charlotte Truchet, Frédéric Benhamou Octagonal Domains for Continuous Constraints. Search on Bibsonomy CP The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Charlotte Truchet, Marie Pelleau, Frédéric Benhamou Abstract Domains for Constraint Programming, with the Example of Octagons. Search on Bibsonomy SYNASC The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Marie Pelleau, Pascal Van Hentenryck, Charlotte Truchet Sonet Network Design Problems Search on Bibsonomy LSCS The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Magnus Ågren 0002, Nicolas Beldiceanu, Mats Carlsson, Mohamed Sbihi, Charlotte Truchet, Stéphane Zampelli Six Ways of Integrating Symmetries within Non-overlapping Constraints. Search on Bibsonomy CPAIOR The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Charlotte Truchet, Marc Christie, Jean-Marie Normand A Tabu Search Method for Interval Constraints. Search on Bibsonomy CPAIOR The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Nicolas Beldiceanu, Mats Carlsson, Emmanuel Poder, R. Sadek, Charlotte Truchet A Generic Geometrical Constraint Kernel in Space and Time for Handling Polymorphic k-Dimensional Objects. Search on Bibsonomy CP The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Nicolas Beldiceanu, Mats Carlsson, Jean-Xavier Rampon, Charlotte Truchet Graph Invariants as Necessary Conditions for Global Constraints. Search on Bibsonomy CP The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Charlotte Truchet, Philippe Codognet Musical constraint satisfaction problems solved with adaptive search. Search on Bibsonomy Soft Comput. The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Charlotte Truchet Programmation par contraintes et composition musicale. Search on Bibsonomy JFPLC The full citation details ... 2004 DBLP  BibTeX  RDF
1Marc Chemillier, Charlotte Truchet Computation of words satisfying the "rhythmic oddity property" (after Simha Arom's works). Search on Bibsonomy Inf. Process. Lett. The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
1Charlotte Truchet, Gérard Assayag, Philippe Codognet Visual and Adaptive Constraint Programming in Music. Search on Bibsonomy ICMC The full citation details ... 2001 DBLP  BibTeX  RDF
1Charlotte Truchet, Carlos Agón, Gérard Assayag Recherche adaptative et contraintes musicales. Search on Bibsonomy JFPLC The full citation details ... 2001 DBLP  BibTeX  RDF
Displaying result #1 - #31 of 31 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license