Filter your results
- 61
- 42
- 87
- 9
- 3
- 2
- 1
- 1
- 1
- 103
- 6
- 6
- 3
- 6
- 7
- 8
- 10
- 14
- 7
- 10
- 12
- 6
- 3
- 2
- 3
- 78
- 25
- 102
- 4
- 4
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 103
- 33
- 32
- 24
- 21
- 13
- 13
- 8
- 7
- 7
- 7
- 6
- 5
- 5
- 5
- 5
- 4
- 4
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
|
Résolution parallèle de SAT : mieux collaborer pour aller plus loin8ièmes Journées Francophones de Programmation par Contraintes (JFPC'12), 2012, France. pp.35-44
Conference papers
hal-00869905v1
|
||
|
Une approche SAT incrémentale pour raisonner efficacement sur les réseaux de contraintes qualitatives JFPC 2019 - Actes des 15es Journées Francophones de Programmation par Contraintes, Jun 2019, Albi, France
Conference papers
hal-02271390v1
|
||
Improving Model Counting by Leveraging Definability25th International Joint Conference on Artificial Intelligence (IJCAI'16), 2016, New York, United States. pp.751-757
Conference papers
hal-02380766v1
|
|||
|
On Computing Maximal Subsets of Clauses that Must Be Satisfiable with Possibly Mutually-Contradictory Assumptive Contexts29th AAAI Conference on Artificial Intelligence (AAAI'15), 2015, Austin, Texas, United States. pp.3710-3716, ⟨10.1609/aaai.v29i1.9751⟩
Conference papers
hal-03300455v1
|
||
Compiling Constraint Networks into Multivalued Decomposable Decision Graphs24th International Joint Conference on Artificial Intelligence (IJCAI'15), 2015, Buenos Aires, Argentina. pp.332-338
Conference papers
hal-03300749v1
|
|||
An Incremental SAT-Based Approach for Graph Colouring ProblemThe 25th International Conference on Principles and Practice of Constraint Programming, Sep 2019, Stamford, CT, United States
Conference papers
hal-02271397v1
|
|||
CoQuiAAS: A Constraint-Based Quick Abstract Argumentation Solver27th International Conference on Tools with Artificial Intelligence (ICTAI'15), 2015, Vietri sul Mare, Italy. pp.928-935
Conference papers
hal-02380767v1
|
|||
On Consensus Extraction25th International Joint Conference on Artificial Intelligence (IJCAI'16), 2016, New York, New York, United States. pp.1095-1101
Conference papers
hal-03300453v1
|
|||
Logical consensuses for case-based reasoning and for mathematical engineering of AI15th IEEE International Conference on Cognitive Informatics & Cognitive Computing (ICCI*CC'16), 2016, Palo Alto, CA, USA, Unknown Region. pp.29-33
Conference papers
hal-03300454v1
|
|||
|
Revisiting Clause Exchange in Parallel SAT Solving15th International Conference on Theory and Applications of Satisfiability Testing (SAT'12), 2012, Trento, Italy. pp.200-213
Conference papers
hal-00865596v1
|
||
|
Relax!24th International Conference on Tools with Artificial Intelligence (ICTAI'12), 2012, Athens, Greece. pp.146-153
Conference papers
hal-00866342v1
|
||
Enforcing Solutions in Constraint Networks21st European Conference on Artificial Intelligence (ECAI'14), 2014, Prague, Czech Republic. pp.1017-1018
Conference papers
hal-03300484v1
|
|||
|
Preserving Partial Solutions while Relaxing Constraint Networks23th International Joint Conference on Artificial Intelligence (IJCAI'13), 2013, Beijing, China. pp.552-558
Conference papers
hal-00866362v1
|
||
Boosting Distance-Based Revision Using SAT EncodingsLogic, Rationality, and Interaction, 10455, Springer Berlin Heidelberg, pp.480-496, 2017, Lecture Notes in Computer Science, ⟨10.1007/978-3-662-55665-8_33⟩
Book sections
hal-03704848v1
|
|||
Swarmsat : un solveur sat massivement parallèle.11èmes Journées Francophones de Programmation par Contraintes (JFPC'15), 2015, Bordeaux, France
Conference papers
hal-03300782v1
|
|||
Multiple Contraction through Partial-Max-SAT26th International Conference on Tools with Artificial Intelligence (ICTAI'14), 2014, Limassol, Cyprus. pp.321-327
Conference papers
hal-03300485v1
|
|||
Integrating Conflict Driven Clause Learning to Local Search6th International Workshop on Local Search Techniques in Constraint Satisfaction (LSCS'09), 2009, Lisbonne, Portugal
Conference papers
hal-00870858v1
|
|||
|
RCL: Reduce learnt clauses2013
Reports
hal-00872811v1
|
||
|
Promenade au-delà de NPIntelligence artificielle [cs.AI]. Université d'Artois, 2019
Habilitation à diriger des recherches
tel-02488400v3
|
||
Améliorer SAT dans le cadre incrémentalRevue d'intelligence artificielle (RIA), 2014, 28 (5), pp.593-614
Journal articles
hal-03299516v1
|
|||
|
Certifying Top-Down Decision-DNNF CompilersAAAI 2021 - 35th Conference on Artificial Intelligence, Feb 2021, Virtual, France
Conference papers
hal-03111679v1
|
||
An Incremental SAT-Based Approach to Reason Efficiently on Qualitative Constraint Networks24th International Conference on Principles and Practice of Constraint Programming, Aug 2018, Lille, France. pp.160-178, ⟨10.1007/978-3-319-98334-9_11⟩
Conference papers
hal-02067915v1
|
|||
An Adaptive SAT Solver22nd International Conference on Principles and Practice of Constraint Programming (CP'16), 2016, Toulouse, France. pp.30-48
Conference papers
hal-03299478v1
|
|||
RCL: An A. I. Tool for Computing Maximal ConsensusesInternational Journal on Artificial Intelligence Tools (IJAIT), 2016, 25 (4), pp.1-10
Journal articles
hal-03300430v1
|
|||
Boosting MUC extraction in unsatisfiable constraint networksApplied Intelligence, 2014, 41 (4), pp.1012-1023
Journal articles
hal-03300434v1
|
|||
|
Deriving Explanations for Decision Trees: The Impact of Domain Theories2023
Preprints, Working Papers, ...
hal-04176274v1
|
||
|
Résolution parallèle de SAT: mieux collaborer pour aller plus loinJFPC 2012, 2012, Toulouse, France
Conference papers
hal-00818239v1
|
||
|
Approche hybride pour SAT17ième Congrès Francophone sur la Reconnaissance des Formes et Intelligence Artificielle (RFIA'10), 2010, Caen, France. pp.279-286
Conference papers
hal-00869833v1
|
||
Exploiter les définitions pour le comptage de modèles12èmes Journée Francophone de Programmation par Contraintes (JFPC'16), 2016, Montpellier, France
Conference papers
hal-02380771v1
|
|||
|
A CSP solver focusing on FAC variables17th International Conference on Principles and Practice of Constraint Programming (CP'11), 2011, Perugla, Italy. pp.493-507
Conference papers
hal-00865539v1
|