Concepedia

Gilles Audemard

GA

10

Publications

340

Citations

10

H-Index

2002

Active since

Affiliations

Université d'Artois(Current)

Centre National de la Recherche Scientifique

Institut Universitaire de France

Centre de Recherche en Informatique

Université Lille Nord de France

Gilles Audemard is an author at Université d'Artois specializing in computer science, engineering, and automated reasoning.

Top concepts

EngineeringComputer ScienceAutomated ReasoningKnowledge DiscoveryData ScienceMachine LearningArtificial IntelligenceData MiningComputational ComplexityFormal Methods

Publications per year

2002–2022

10

Publications

10

On the Glucose SAT Solver

Gilles Audemard, Laurent Simon · International Journal of Artificial Intelligence Tools · 2018 · 116 citations

Computational Science, Engineering, Parallel Problem Solving +15

On Tractable XAI Queries based on Compiled Representations

Gilles Audemard, Frédéric Koriche, Pierre Marquis · 2020 · 62 citations · Full text

Artificial Intelligence, Engineering, Machine Learning +16

On the explanatory power of Boolean decision trees

Gilles Audemard, Steve Bellart, Louènas Bounia et al. · Data & Knowledge Engineering · 2022 · 34 citations · Full text

Engineering, Boolean Function, Data Mining +7

A SAT Based Approach for Solving Formulas over Boolean and Linear Mathematical Propositions

Gilles Audemard, Piergiorgio Bertoli, Alessandro Cimatti et al. · Unitn Eprints Research (Università Degli Studi di Trento) · 2002 · 30 citations · Full text

Gunsat: A greedy local search algorithm for unsatisfiability

Gilles Audemard · 2007 · 22 citations

Rows per page

1–5 of 10