Gilles Audemard

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
A new exact solver for (Weighted) Max\#SAT	2024-07-12	Paper
SAT heritage: a community-driven effort for archiving, building and running more than thousand SAT solvers (available as arXiv preprint)	2021-04-07	Paper
Extreme cases in SAT problems Theory and Applications of Satisfiability Testing – SAT 2016	2016-09-05	Paper
Impact of Community Structure on SAT Solver Performance Lecture Notes in Computer Science	2014-09-26	Paper
Lazy clause exchange policy for parallel SAT solvers Lecture Notes in Computer Science	2014-09-26	Paper
Verifying industrial hybrid systems with \textsc{MathSAT}	2013-09-20	Paper
Improving Glucose for incremental SAT solving with assumptions: application to MUS extraction Theory and Applications of Satisfiability Testing – SAT 2013	2013-08-05	Paper
On freezing and reactivating learnt clauses Theory and Applications of Satisfiability Testing - SAT 2011	2011-06-17	Paper
Boosting local search thanks to \textsc{cdcl} Logic for Programming, Artificial Intelligence, and Reasoning	2010-10-12	Paper
Circuit Based Encoding of CNF Formula Theory and Applications of Satisfiability Testing – SAT 2007	2009-03-10	Paper
SAT graph-based representation: A new perspective Journal of Algorithms	2008-09-29	Paper
A Generalized Framework for Conflict Analysis Theory and Applications of Satisfiability Testing – SAT 2008	2008-05-27	Paper
Predicting and detecting symmetries in FOL finite model search Journal of Automated Reasoning	2007-01-30	Paper
Theory and Applications of Satisfiability Testing Lecture Notes in Computer Science	2005-12-15	Paper
scientific article; zbMATH DE number 2090051 (Why is no real title available?)	2004-08-12	Paper
scientific article; zbMATH DE number 2090300 (Why is no real title available?)	2004-08-12	Paper
scientific article; zbMATH DE number 2090302 (Why is no real title available?)	2004-08-12	Paper
scientific article; zbMATH DE number 1973987 (Why is no real title available?)	2003-09-03	Paper
scientific article; zbMATH DE number 1765688 (Why is no real title available?)	2002-07-10	Paper
scientific article; zbMATH DE number 1696808 (Why is no real title available?)	2002-01-28	Paper
scientific article; zbMATH DE number 1614704 (Why is no real title available?)	2001-07-05	Paper

Research outcomes over time

This page was built for person: Gilles Audemard