Gilles Audemard

Available identifiers

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	2021-04-07	Paper
Extreme cases in SAT problems	2016-09-05	Paper
Impact of Community Structure on SAT Solver Performance	2014-09-26	Paper
Lazy clause exchange policy for parallel SAT solvers	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	2013-08-05	Paper
On freezing and reactivating learnt clauses	2011-06-17	Paper
Boosting local search thanks to \textsc{cdcl}	2010-10-12	Paper
Circuit Based Encoding of CNF Formula	2009-03-10	Paper
SAT graph-based representation: A new perspective	2008-09-29	Paper
A Generalized Framework for Conflict Analysis	2008-05-27	Paper
Predicting and detecting symmetries in FOL finite model search	2007-01-30	Paper
Theory and Applications of Satisfiability Testing	2005-12-15	Paper
https://portal.mardi4nfdi.de/entity/Q4808722	2004-08-12	Paper
https://portal.mardi4nfdi.de/entity/Q4809056	2004-08-12	Paper
https://portal.mardi4nfdi.de/entity/Q4809058	2004-08-12	Paper
https://portal.mardi4nfdi.de/entity/Q4422082	2003-09-03	Paper
https://portal.mardi4nfdi.de/entity/Q4539628	2002-07-10	Paper
https://portal.mardi4nfdi.de/entity/Q2767071	2002-01-28	Paper
https://portal.mardi4nfdi.de/entity/Q2723428	2001-07-05	Paper

This page was built for person: Gilles Audemard