Thomas Schiex - RankMe

107 papers A* 12A 20B 3C 1Misc 2Journal 54Unranked 10

Year	Rank	Type	Title / Venue / Authors
2026	A*	`conf`	Assignment Problems in Cost Function Networks. AAAI Guidio Sewa, David Allouche, Simon de Givry, George Katsirelos, Pierre Montalbano, Thomas Schiex
2026	J	`jnl`	Scaling Neuro-symbolic Problem Solving: Solver-Free Learning of Constraints and Objectives. J. Artif. Intell. Res. Marianne Defresne, Romain Gambardella, Sophie Barbe, Thomas Schiex
2025	J	`jnl`	Efficient Neuro-Symbolic Learning of Constraints and Objective. CoRR Marianne Defresne, Romain Gambardella, Sophie Barbe, Thomas Schiex
2024	—	`conf`	Bi-objective Discrete Graphical Model Optimization. CPAIOR (1) Samuel Buchet, David Allouche, Simon de Givry, Thomas Schiex
2023	A	`conf`	Coupling CP with Deep Learning for Molecular Design and SARS-CoV2 Variants Exploration (Invited Talk). CP Thomas Schiex
2023	A*	`conf`	Scalable Coupling of Deep Learning with Logical Reasoning. IJCAI Marianne Defresne, Sophie Barbe, Thomas Schiex
2023	J	`jnl`	Scalable Coupling of Deep Learning with Logical Reasoning. CoRR Marianne Defresne, Sophie Barbe, Thomas Schiex
2022	A*	`conf`	Efficient Low Rank Convex Bounds for Pairwise Discrete Graphical Models. ICML Valentin Durante, George Katsirelos, Thomas Schiex
2022	—	`ed.`	PAIS 2022 - 11th Conference on Prestigious Applications of Artificial Intelligence, 25 July 2022, Vienna, Austria (co-located with IJCAI-ECAI 2022) PAIS@ECAI Andrea Passerini, Thomas Schiex
2021	J	`jnl`	Efficient semidefinite bounds for multi-label discrete graphical models. CoRR Valentin Durante, George Katsirelos, Thomas Schiex
2021	J	`jnl`	Guaranteed Diversity and Optimality in Cost Function Network Based Computational Protein Design Methods. Algorithms Manon Ruffini, Jelena Vucinic, Simon de Givry, George Katsirelos, Sophie Barbe, Thomas Schiex
2020	A	`conf`	Graphical Models: Queries, Complexity, Algorithms (Tutorial). STACS Martin C. Cooper, Simon de Givry, Thomas Schiex
2020	J	`jnl`	Positive multistate protein design. Bioinform. Jelena Vucinic, David Simoncini, Manon Ruffini, Sophie Barbe, Thomas Schiex
2020	A	`conf`	Pushing Data into CP Models Using Graphical Model Learning and Solving. CP Céline Brouard, Simon de Givry, Thomas Schiex
2020	—	`ch.`	Valued Constraint Satisfaction Problems. A Guided Tour of Artificial Intelligence Research (2) (II) Martin C. Cooper, Simon de Givry, Thomas Schiex
2019	J	`jnl`	A structural homology approach for computational protein design with flexible backbone. Bioinform. David Simoncini, Kam Y. J. Zhang, Thomas Schiex, Sophie Barbe
2019	B	`conf`	Guaranteed Diversity & Quality for the Weighted CSP. ICTAI Manon Ruffini, Jelena Vucinic, Simon de Givry, George Katsirelos, Sophie Barbe, Thomas Schiex
2019	A	`ed.`	Principles and Practice of Constraint Programming - 25th International Conference, CP 2019, Stamford, CT, USA, September 30 - October 4, 2019, Proceedings CP Thomas Schiex, Simon de Givry
2019	J	`jnl`	Variable Neighborhood Search with Cost Function Networks To Solve Large Computational Protein Design Problems. J. Chem. Inf. Model. Antoine Charpentier, David Mignon, Sophie Barbe, Juan Cortés, Thomas Schiex, Thomas Simonson, David Allouche
2018	J	`jnl`	Cost function network-based design of protein-protein interactions: predicting changes in binding affinity. Bioinform. Clément Viricel, Simon de Givry, Thomas Schiex, Sophie Barbe
2018	A	`conf`	Fitness landscape analysis around the optimum in computational protein design. GECCO David Simoncini, Sophie Barbe, Thomas Schiex, Sébastien Vérel
2017	J	`jnl`	Triangle-based consistencies for cost function networks. Constraints An Int. J. Hiep Nguyen, Christian Bessiere, Simon de Givry, Thomas Schiex
2016	J	`jnl`	Fast search algorithms for computational protein design. J. Comput. Chem. Seydou Traoré, Kyle E. Roberts, David Allouche, Bruce Randall Donald, Isabelle André, Thomas Schiex, Sophie Barbe
2016	A	`conf`	Guaranteed Weighted Counting for Affinity Computation: Beyond Determinism and Structure. CP Clément Viricel, David Simoncini, Sophie Barbe, Thomas Schiex
2016	J	`jnl`	Multi-language evaluation of exact solvers in graphical model discrete optimization. Constraints An Int. J. Barry Hurley, Barry O'Sullivan, David Allouche, George Katsirelos, Thomas Schiex, Matthias Zytnicki, Simon de Givry
2016	J	`jnl`	Tractability-preserving transformations of global cost functions. Artif. Intell. David Allouche, Christian Bessiere, Patrice Boizumault, Simon de Givry, Patricia Gutierrez, Jimmy H. M. Lee, Ka Lun Leung, Samir Loudni, Jean-Philippe Métivier, Thomas Schiex, Yi Wu
2015	A	`conf`	Anytime Hybrid Best-First Search with Tree Decomposition for Weighted CSP. CP David Allouche, Simon de Givry, George Katsirelos, Thomas Schiex, Matthias Zytnicki
2015	—	`conf`	Approximate Counting with Deterministic Guarantees for Affinity Computation. MCO (2) Clément Viricel, David Simoncini, David Allouche, Simon de Givry, Sophie Barbe, Thomas Schiex
2015	J	`jnl`	Exact and approximate inference in graphical models: variable elimination and beyond. CoRR Nathalie Peyrard, Simon de Givry, Alain Franc, Stéphane Robin, Régis Sabbadin, Thomas Schiex, Matthieu Vignes
2015	J	`jnl`	Strong consistencies for weighted constraint satisfaction problems. Constraints An Int. J. Thi Hong Hiep Nguyen, Thomas Schiex, Christian Bessiere
2015	J	`jnl`	Tractability and Decompositions of Global Cost Functions. CoRR David Allouche, Christian Bessiere, Patrice Boizumault, Simon de Givry, Patricia Gutierrez, Jimmy H. M. Lee, Ka Lun Leung, Samir Loudni, Jean-Philippe Métivier, Thomas Schiex, Yi Wu
2014	J	`jnl`	Bounds Arc Consistency for Weighted CSPs. CoRR Matthias Zytnicki, Christine Gaspin, Simon de Givry, Thomas Schiex
2014	J	`jnl`	Computational protein design as an optimization problem. Artif. Intell. David Allouche, Isabelle André, Sophie Barbe, Jessica Davies, Simon de Givry, George Katsirelos, Barry O'Sullivan, Steven D. Prestwich, Thomas Schiex, Seydou Traoré
2014	J	`jnl`	EuGene-PP: a next-generation automated annotation pipeline for prokaryotic genomes. Bioinform. Erika Sallet, Jérôme Gouzy, Thomas Schiex
2014	B	`conf`	Maintaining Virtual Arc Consistency Dynamically during Search. ICTAI Hiep Nguyen, Simon de Givry, Thomas Schiex, Christian Bessiere
2013	J	`jnl`	A Constraint Satisfaction Approach to Decision under Uncertainty CoRR Hélène Fargier, Jérôme Lang, Roger Martin-Clouaire, Thomas Schiex
2013	J	`jnl`	A new framework for computational protein design through cost function network optimization. Bioinform. Seydou Traoré, David Allouche, Isabelle André, Simon de Givry, George Katsirelos, Thomas Schiex, Sophie Barbe
2013	Misc	`conf`	Dynamic virtual arc consistency. SAC Hiep Nguyen, Thomas Schiex, Christian Bessiere
2013	J	`jnl`	Penalty logic and its Link with Dempster-Shafer Theory CoRR Florence Dupin de Saint-Cyr, Jérôme Lang, Thomas Schiex
2013	J	`jnl`	Possibilistic Constraint Satisfaction Problems or "How to handle soft constraints?" CoRR Thomas Schiex
2012	A	`conf`	Computational Protein Design as a Cost Function Network Optimization Problem. CP David Allouche, Seydou Traoré, Isabelle André, Simon de Givry, George Katsirelos, Sophie Barbe, Thomas Schiex
2012	J	`jnl`	Detecting long tandem duplications in genomic sequences. BMC Bioinform. Eric Audemard, Thomas Schiex, Thomas Faraut
2012	A*	`conf`	Filtering Decomposable Global Cost Functions. AAAI David Allouche, Christian Bessiere, Patrice Boizumault, Simon de Givry, Patricia Gutierrez, Samir Loudni, Jean-Philippe Métivier, Thomas Schiex
2012	J	`jnl`	From influence diagrams to multi-operator cluster DAGs. CoRR Cédric Pralet, Thomas Schiex, Gérard Verfaillie
2011	J	`jnl`	An Algebraic Graphical Model for Decision with Uncertainties, Feasibilities, and Utilities CoRR Cédric Pralet, Thomas Schiex, Gérard Verfaillie
2011	A*	`conf`	Pairwise Decomposition for Combinatorial Optimization in Graphical Models. IJCAI Aurélie Favier, Simon de Givry, Andrés Legarra, Thomas Schiex
2010	J	`jnl`	Introduction to the special issue on Constraint-based approaches to Preference Modelling and Reasoning. Constraints An Int. J. Pedro Meseguer, Francesca Rossi, Thomas Schiex
2010	J	`jnl`	Le cadre PFU, un modèle et des algorithmes génériques pour la décision séquentielle incluant incertitudes, faisabilités et utilités. Tech. Sci. Informatiques Cédric Pralet, Gérard Verfaillie, Thomas Schiex
2010	J	`jnl`	Soft arc consistency revisited. Artif. Intell. Martin C. Cooper, Simon de Givry, Martí Sánchez-Fibla, Thomas Schiex, Matthias Zytnicki, Tomás Werner
2010	A	`conf`	Towards Parallel Non Serial Dynamic Programming for Solving Hard Weighted CSP. CP David Allouche, Simon de Givry, Thomas Schiex
2009	J	`jnl`	Bounds Arc Consistency for Weighted CSPs. J. Artif. Intell. Res. Matthias Zytnicki, Christine Gaspin, Simon de Givry, Thomas Schiex
2009	—	`ch.`	Constraint Satisfaction Problems. Decision-making Process Gérard Verfaillie, Thomas Schiex
2009	J	`jnl`	FrameDP: sensitive peptide detection on noisy matured sequences. Bioinform. Jérôme Gouzy, Sébastien Carrère, Thomas Schiex
2009	A*	`conf`	Russian Doll Search with Tree Decomposition. IJCAI Martí Sánchez-Fibla, David Allouche, Simon de Givry, Thomas Schiex
2009	—	`book`	Sequential Decision-Making Problems - Representation and Solution. Cédric Pralet, Thomas Schiex, Gérard Verfaillie
2008	J	`jnl`	2006 and 2007 Max-SAT Evaluations: Contributed Instances. J. Satisf. Boolean Model. Comput. Federico Heras, Javier Larrosa, Simon de Givry, Thomas Schiex
2008	J	`jnl`	DARN! A Weighted Constraint Solver for RNA Motif Localization. Constraints An Int. J. Matthias Zytnicki, Christine Gaspin, Thomas Schiex
2008	J	`jnl`	LeARN: a platform for detecting, clustering and annotating non-coding RNAs. BMC Bioinform. Céline Noirot, Christine Gaspin, Thomas Schiex, Jérôme Gouzy
2008	J	`jnl`	Mendelian Error Detection in Complex Pedigrees Using Weighted Constraint Satisfaction Techniques. Constraints An Int. J. Martí Sánchez-Fibla, Simon de Givry, Thomas Schiex
2008	A*	`conf`	Virtual Arc Consistency for Weighted CSP. AAAI Martin C. Cooper, Simon de Givry, Martí Sánchez-Fibla, Thomas Schiex, Matthias Zytnicki
2007	J	`jnl`	A comparative genome approach to marker ordering. Bioinform. Thomas Faraut, Simon de Givry, Patrick Chabrier, Thomas Derrien, Francis Galibert, Christophe Hitte, Thomas Schiex
2007	J	`jnl`	Algorithmes et complexités génériques pour différents cadres de décision séquentielle dans l'incertain. Rev. d'Intelligence Artif. Cédric Pralet, Thomas Schiex, Gérard Verfaillie
2007	J	`jnl`	An Algebraic Graphical Model for Decision with Uncertainties, Feasibilities, and Utilities. J. Artif. Intell. Res. Cédric Pralet, Gérard Verfaillie, Thomas Schiex
2007	—	`conf`	Mendelian error detection in complex pedigrees using weighted constraint satisfaction techniques. CCIA Martí Sánchez-Fibla, Simon de Givry, Thomas Schiex
2007	A*	`conf`	Optimal Soft Arc Consistency. IJCAI Martin C. Cooper, Simon de Givry, Thomas Schiex
2007	J	`jnl`	Un cadre graphique et algébrique pour les problèmes de décision incluant incertitudes, faisabilités et utilités. Rev. d'Intelligence Artif. Cédric Pralet, Cédric Verfaillie, Thomas Schiex
2006	Misc	`conf`	A new local consistency for weighted CSP dedicated to long domains. SAC Matthias Zytnicki, Christine Gaspin, Thomas Schiex
2006	A	`conf`	Decision with Uncertainties, Feasibilities, and Utilities: Towards a Unified Algebraic Framework. ECAI Cédric Pralet, Gérard Verfaillie, Thomas Schiex
2006	A	`conf`	Decomposition of Multi-operator Queries on Semiring-Based Graphical Models. CP Cédric Pralet, Thomas Schiex, Gérard Verfaillie
2006	A*	`conf`	Exploiting Tree Decomposition and Soft Local Consistency In Weighted CSP. AAAI Simon de Givry, Thomas Schiex, Gérard Verfaillie
2006	A	`conf`	From Influence Diagrams to Multi-operator Cluster DAGs. UAI Cédric Pralet, Thomas Schiex, Gérard Verfaillie
2006	J	`jnl`	Searching RNA motifs and their intermolecular contacts with constraint networks. Bioinform. Patricia Thébault, Simon de Givry, Thomas Schiex, Christine Gaspin
2006	—	`ch.`	Soft Constraints. Handbook of Constraint Programming Pedro Meseguer, Francesca Rossi, Thomas Schiex
2005	J	`jnl`	CAR Bioinform. Simon de Givry, Martin Bouchez, Patrick Chabrier, Denis Milan, Thomas Schiex
2005	J	`jnl`	Integrating alternative splicing detection into gene prediction. BMC Bioinform. Sylvain Foissac, Thomas Schiex
2004	J	`jnl`	Arc consistency for soft constraints. Artif. Intell. Martin C. Cooper, Thomas Schiex
2004	J	`jnl`	Solving weighted CSP by maintaining arc consistency. Artif. Intell. Javier Larrosa, Thomas Schiex
2003	J	`jnl`	EUGÈNE'HOM: a generic similarity-based gene finder using multiple homologous sequences. Nucleic Acids Res. Sylvain Foissac, Philippe Bardou, Annick Moisan, Marie-Josée Cros, Thomas Schiex
2003	J	`jnl`	FrameD: a flexible program for quality check and gene prediction in prokaryotic genomes and noisy matured eukaryotic sequences. Nucleic Acids Res. Thomas Schiex, Jérôme Gouzy, Annick Moisan, Yannick de Oliveira
2003	A*	`conf`	In the quest of the best form of local consistency for Weighted CSP. IJCAI Javier Larrosa, Thomas Schiex
2003	A	`conf`	Solving Max-SAT as Weighted CSP. CP Simon de Givry, Javier Larrosa, Pedro Meseguer, Thomas Schiex
2001	J	`jnl`	Arc consistency for soft constraints CoRR Martin C. Cooper, Thomas Schiex
2001	C	`conf`	Boosting EM for Radiation Hybrid and Genetic Mapping. WABI Thomas Schiex, Patrick Chabrier, Martin Bouchez, Denis Milan
2000	A	`conf`	Arc Consistency for Soft Constraints. CP Thomas Schiex
2000	—	`conf`	EUGÈNE: An Eukaryotic Gene Finder That Combines Several Sources of Evidence. JOBIM Thomas Schiex, Annick Moisan, Pierre Rouzé
1999	J	`jnl`	Maintaining Reversible DAC for Max-CSP. Artif. Intell. Javier Larrosa, Pedro Meseguer, Thomas Schiex
1999	J	`jnl`	Radio Link Frequency Assignment. Constraints An Int. J. Bertrand Cabon, Simon de Givry, Lionel Lobjois, Thomas Schiex, Joost P. Warners
1999	J	`jnl`	Semiring-Based CSPs and Valued CSPs: Frameworks, Properties, and Comparison. Constraints An Int. J. Stefano Bistarelli, Ugo Montanari, Francesca Rossi, Thomas Schiex, Gérard Verfaillie, Hélène Fargier
1998	J	`jnl`	Introduction to a Benchmark Column in CONSTRAINTS. Constraints An Int. J. Claude Le Pape, James M. Crawford, Barry Fox, Thomas Schiex
1998	J	`jnl`	Nonmonotonic Reasoning: From Complexity to Algorithms. Ann. Math. Artif. Intell. Claudette Cayrol, Marie-Christine Lagasquie-Schiex, Thomas Schiex
1998	—	`conf`	Reversible DAC and Other Improvements for Solving Max-CSP. AAAI/IAAI Javier Larrosa, Pedro Meseguer, Thomas Schiex, Gérard Verfaillie
1997	A	`conf`	Bounding the Optimum of Constraint Optimization Problems. CP Simon de Givry, Gérard Verfaillie, Thomas Schiex
1997	A	`conf`	CARTHAGENE: Constructing and Joining Maximum Likelihood Genetic Maps. ISMB Thomas Schiex, Christine Gaspin
1997	—	`conf`	Genetic Algorithms for Genetic Mapping. Artificial Evolution Christine Gaspin, Thomas Schiex
1996	—	`conf`	Lazy Arc Consistency. AAAI/IAAI, Vol. 1 Thomas Schiex, Jean-Charles Régin, Christine Gaspin, Gérard Verfaillie
1996	—	`conf`	Mixed Constraint Satisfaction: A Framework for Decision Problems under Incomplete Knowledge. AAAI/IAAI, Vol. 1 Hélène Fargier, Jérôme Lang, Thomas Schiex
1996	—	`conf`	Russian Doll Search for Solving Constraint Optimization Problems. AAAI/IAAI, Vol. 1 Gérard Verfaillie, Michel Lemaître, Thomas Schiex
1995	A	`conf`	A constraint satisfaction framework for decision under uncertainty. UAI Hélène Fargier, Jérôme Lang, Roger Martin-Clouaire, Thomas Schiex
1995	—	`conf`	Semiring-Based CSPs and Valued CSPs: Basic Properties and Comparison. Over-Constrained Systems Stefano Bistarelli, Hélène Fargier, Ugo Montanari, Francesca Rossi, Thomas Schiex, Gérard Verfaillie
1995	A*	`conf`	Valued Constraint Satisfaction Problems: Hard and Easy Problems. IJCAI (1) Thomas Schiex, Hélène Fargier, Gérard Verfaillie
1994	J	`jnl`	Nogood Recording for Static and Dynamic Constraint Satisfaction Problems. Int. J. Artif. Intell. Tools Thomas Schiex, Gérard Verfaillie
1994	A	`conf`	Penalty Logic and its Link with Dempster-Shafer Theory. UAI Florence Dupin de Saint-Cyr, Jérôme Lang, Thomas Schiex
1994	A*	`conf`	Solution Reuse in Dynamic Constraint Satisfaction Problems. AAAI Gérard Verfaillie, Thomas Schiex
1994	A	`conf`	Stubborness: A Possible Enhancement for Backjumping and Nogood Recording. ECAI Thomas Schiex, Gérard Verfaillie
1993	J	`jnl`	A Fixed Point Semantics for the ATMS. J. Log. Comput. Michel Cayrol, Olivier Palmade, Thomas Schiex
1993	B	`conf`	Nogood Recording for Static and Dynamic Constraint Satisfaction Problems. ICTAI Thomas Schiex, Gérard Verfaillie
1992	A	`conf`	Possibilistic Constraint Satisfaction Problems or "How to Handle Soft Constraints?". UAI Thomas Schiex