Thomas Schiex

Available identifiers

zbMath Open schiex.thomasDBLP87/6848WikidataQ79438938 ScholiaQ79438938MaRDI QIDQ309934

List of research outcomes

Publication	Date of Publication	Type
Valued constraint satisfaction problems	2024-09-11	Paper
Graphical Models: Queries, Complexity, Algorithms	2023-02-07	Paper
Triangle-based consistencies for cost function networks	2018-03-28	Paper
Approximate Counting with Deterministic Guarantees for Affinity Computation	2017-09-12	Paper
Multi-language evaluation of exact solvers in graphical model discrete optimization	2017-08-16	Paper
Tractability-preserving transformations of global cost functions	2016-09-07	Paper
Computational protein design as an optimization problem	2014-06-10	Paper
Solving Max-SAT as weighted CSP	2010-03-02	Paper
Bounds arc consistency for weighted CSPs	2009-12-10	Paper
An algebraic graphical model for decision with uncertainties, feasibilities, and utilities	2009-04-28	Paper
2006 and 2007 Max-SAT evaluations: contributed instances	2009-02-24	Paper
Decomposition of Multi-operator Queries on Semiring-Based Graphical Models	2008-09-09	Paper
DARN! A weighted constraint solver for RNA motif localization	2008-09-02	Paper
Mendelian error detection in complex pedigrees using weighted constraint satisfaction tech\-niques	2008-09-02	Paper
Arc consistency for soft constraints	2006-02-07	Paper
Solving weighted CSP by maintaining arc consistency	2006-02-07	Paper
https://portal.mardi4nfdi.de/entity/Q4473041	2004-08-04	Paper
https://portal.mardi4nfdi.de/entity/Q4801173	2003-04-07	Paper
https://portal.mardi4nfdi.de/entity/Q4532073	2002-05-28	Paper
https://portal.mardi4nfdi.de/entity/Q4253836	2000-07-24	Paper
https://portal.mardi4nfdi.de/entity/Q4253835	1999-12-14	Paper
Maintaining reversible DAC for Max-CSP	1999-03-02	Paper
Nonmonotonic reasoning: From complexity to algorithms	1999-01-11	Paper
https://portal.mardi4nfdi.de/entity/Q4347168	1997-08-07	Paper
https://portal.mardi4nfdi.de/entity/Q4875359	1996-04-29	Paper
A Fixed Point Semantics for the ATMS	1994-04-20	Paper

Research outcomes over time

This page was built for person: Thomas Schiex