Daniel Le Berre
99
Documents
Publications
|
Compressing UNSAT Search Trees with CachingICAART 2023 : 15th International Conference on Agents and Artificial Intelligence, Feb 2023, Lisbonne, Portugal. pp.358-365, ⟨10.5220/0011671800003393⟩
Conference papers
hal-04015616v1
|
Determination of the Association Constant between a Cyclodextrin and a Guest using Machine Learning models9th Symposium on Theoretical Biophysics (TheoBio2023), Jul 2023, Cetraro, Italy
Conference papers
hal-04193143v1
|
|
|
Compresser des arbres de recherche UNSAT à l’aide d’un système de cacheJournées Francophones de Programmation par Contraintes (JFPC'23), Jul 2023, Strasbourg, France. pp.38-45
Conference papers
hal-04425245v1
|
Use of Machine Learning for Determination of Association Constant between a Cyclodextrin and a Guest7th European Conference on Cyclodextrin (EuroCD 2023), Sep 2023, Budapest (Hungary)., Hungary
Conference papers
hal-04214791v1
|
|
|
SAF: SAT-based Attractor Finder in Asynchronous Automata Networks21st International Conference on Computational Methods in Systems Biology (CMSB 2023), Sep 2023, Luxembourg City, Luxembourg
Conference papers
hal-04184830v1
|
|
SAT-Based Method for Finding Attractors in Asynchronous Multi-Valued Networks14th International Conference on Bioinformatics Models, Methods and Algorithms (BIOINFORMATICS 2023), Feb 2023, Lisbon, Portugal
Conference papers
hal-03964870v1
|
Machine learning challenges for determination of association constant between a cyclodextrin and a guest20èmes Journées Cyclodextrines, Oct 2022, Lille, France
Conference papers
hal-03954803v1
|
|
On Irrelevant Literals in Pseudo-Boolean Constraint Learning29th International Joint Conference on Artificial Intelligence (IJCAI'20), Jan 2021, Yokohama (en ligne), Japan. pp.1148-1154, ⟨10.24963/ijcai.2020/160⟩
Conference papers
hal-02912451v1
|
|
|
Adaptation des stratégies des solveurs SAT CDCL aux solveurs PB natifs16es Journées Francophones de Programmation par Contraintes (JFPC'21), Jun 2021, Nice (en ligne), France
Conference papers
hal-03295266v1
|
Determination of the Association Constant between a Cyclodextrin and a Guest using Machine Learning for Catalyzed Functionalization of Bio-Sourced SubstratesFirst international symposium on High-Throughput Catalysts Design, Jun 2021, Lille, France
Conference papers
hal-03957829v1
|
|
On Dedicated CDCL Strategies for PB Solvers24th International Conference on Theory and Applications of Satisfiability Testing (SAT'21), Jul 2021, Barcelone (hybride), Spain. pp.315-331, ⟨10.1007/978-3-030-80223-3_22⟩
Conference papers
hal-03295263v1
|
|
On Weakening Strategies for PB Solvers23rd International Conference on Theory and Applications of Satisfiability Testing (SAT'20), Jul 2020, Alghero (en ligne), Italy. pp.322-331, ⟨10.1007/978-3-030-51825-7_23⟩
Conference papers
hal-02912458v1
|
|
|
Une approche SAT sensible à la mémoire pour les logiques modales PSPACEJIAF 2019 - 13es Journées de l'Intelligence Artificielle Fondamentale, Jul 2019, Toulouse, France
Conference papers
hal-02271392v1
|
|
De la pertinence des littéraux dans les contraintes pseudo-booléennes apprises15es Journées Francophones de Programmation par Contraintes (JFPC’19), Jun 2019, Albi, France. pp.43-52
Conference papers
hal-02912461v1
|
On Irrelevant Literals in Pseudo-Boolean Constraint Learning10th International Workshop on Pragmatics of SAT (POS'19), Jul 2019, Lisbonne, Portugal
Conference papers
hal-03457395v1
|
|
|
A SAT-Based Approach For PSPACE Modal LogicsPrinciples of Knowledge Representation and Reasoning: Sixteenth International Conference, Oct 2018, Tempe, United States
Conference papers
hal-02271405v1
|
|
An Assumption-Based Approach for Solving the Minimal S5-Satisfiability ProblemAutomated Reasoning - 9th International Joint Conference, IJCAR 2018, Held as Part of the Federated Logic Conference, FloC 2018, Jul 2018, Oxford, United Kingdom. pp.1-18
Conference papers
hal-02271403v1
|
Pseudo-Boolean Constraints from a Knowledge Representation Perspective27th International Joint Conference on Artificial Intelligence (IJCAI'18), Jul 2018, Stockholm, Sweden. pp.1891-1897, ⟨10.24963/ijcai.2018/261⟩
Conference papers
hal-02310063v1
|
|
A Recursive Shortcut for CEGAR: Application To The Modal Logic K Satisfiability ProblemTwenty-Sixth International Joint Conference on Artificial Intelligence, Aug 2017, Melbourne, Australia. pp.674-680
Conference papers
hal-02271412v1
|
|
Solving Multiobjective Discrete Optimization Problems with Propositional Minimal Model Generation23rd International Conference on Principles and Practice of Constraint Programming (CP'17), 2017, Melbourne, Australia. pp.596-614
Conference papers
hal-03300800v1
|
|
Un raccourci récursif pour CEGAR : Application au problème de satisfiabilité en logique modale K11e Journées d'Intelligence Artificielle Fondamentale, Jul 2017, Caen, France
Conference papers
hal-01575536v1
|
|
|
A SAT-Based Approach for Solving the Modal Logic S5-Satisfiability ProblemThirty-First AAAI Conference on Artificial Intelligence, Feb 2017, San Francisco, United States
Conference papers
hal-02271408v1
|
Fixed-Parameter Tractable Optimization under DNNF Constraints22nd European Conference on Artificial Intelligence (ECAI'16), 2016, The Hague, Netherlands. pp.1194-1202
Conference papers
hal-02380765v1
|
|
Complexité paramétrée de l'optimisation sous contrainte DNNF12èmes Journée Francophone de Programmation par Contraintes (JFPC'16), 2016, Montpellier, France
Conference papers
hal-02380769v1
|
|
A propos de la vérification de modèles en logique modale K10es Journées d’Intelligence Artificielle Fondamentale (IAF 2016), Jun 2016, Montpellier, France. ⟨10.13140/RG.2.1.1178.5843⟩
Conference papers
hal-01332832v1
|
|
|
On Checking Kripke Models for Modal Logic KProceedings of the 5th Workshop on Practical Aspects of Automated Reasoning co-located with International Joint Conference on Automated Reasoning (IJCAR 2016), Coimbra, Portugal, July 2nd, 2016., Jul 2016, Coimbra, Portugal
Conference papers
hal-02271413v1
|
|
Consistency Checking for the Evolution of Cardinality-based Feature ModelsSPLC - 18th International Software Product Line Conference, Sep 2014, Florence, Italy. pp.122-131
Conference papers
hal-01054604v1
|
Détection de contraintes de cardinalité dans les CNF10èmes Journées Francophones de Programmation par Contraintes (JFPC'14), 2014, Angers, France. pp.253-262
Conference papers
hal-02380772v1
|
|
|
Incremental SAT-Based Method with Native Boolean Cardinality Handling for the Hamiltonian Cycle Problem14th European Conference on Logics in Artificial Intelligence (JELIA'14), 2014, Madeira, Portugal. pp.684-693
Conference papers
hal-03300801v1
|
|
Detecting Cardinality Constraints in CNF17th International Conference on Theory and Applications of Satisfiability Testing (SAT'14), 2014, Vienna, Austria. pp.285-301, ⟨10.1007/978-3-319-09284-3_22⟩
Conference papers
hal-02380768v1
|
Some thoughts about benchmarks for NMR15th International Workshop on Non-Monotonic Reasoning (NMR'14), 2014, Vienna, Austria
Conference papers
hal-03300807v1
|
|
|
Automatic Repair of Buggy If Conditions and Missing Preconditions with SMTProceedings of the 6th International Workshop on Constraints in Software Testing, Verification, and Analysis, 2014, Hyderabad, India. ⟨10.1145/2593735.2593740⟩
Conference papers
hal-00977798v1
|
Réutiliser ou adapter les prouveurs SAT pour l'optimisation booléenne9ièmes Journées Francophones de Programmation par Contraintes (JFPC'13), 2013, Aix-en-Provence, France. pp.185-194
Conference papers
hal-00869924v1
|
|
Computing prime implicants13th International Conference on Formal Methods in Computer-Aided Design (FMCAD'13), Oct 2013, Portland, Oregon, United States. pp.46-52, ⟨10.1109/FMCAD.2013.6679390⟩
Conference papers
hal-03300802v1
|
|
|
Planning Personalised Museum Visits23rd International Conference on Automated Planning and Scheduling (ICAPS'13), Jun 2013, Rome, Italy. pp.380-388
Conference papers
hal-00875201v1
|
|
Optimisation multicritère pour la gestion de dépendances logicielles : utilisation de la norme de TchebycheffRFIA 2012 (Reconnaissance des Formes et Intelligence Artificielle), Jan 2012, Lyon, France. pp.978-2-9539515-2-3
Conference papers
hal-00656571v1
|
|
Calcul de solutions équilibrées Pareto-optimales : application au problème de gestion de dépendances logiciellesHuitièmes Journées Francophones de Programmation par Contraintes - JFPC 2012, May 2012, Toulouse, France
Conference papers
hal-00829567v1
|
|
Résolution de contraintes qualitatives pour le temps et l'espace par SAT à partir de treillisRFIA 2012 (Reconnaissance des Formes et Intelligence Artificielle), Jan 2012, Lyon, France. pp.978-2-9539515-2-3
Conference papers
hal-00660969v1
|
|
Dependency Management for the Eclipse Ecosystem: An Update3rd International Workshop on Logic and Search {LaSh'10), 2010, Edinbourgh, United Kingdom
Conference papers
hal-00870884v1
|
Solving Linux Upgradeability Problems Using Boolean OptimizationWorkshop on Logics for Component Configuration ((LoCoCo'10), 2010, Edinbourgh, United Kingdom. pp.11-22
Conference papers
hal-00870877v1
|
|
|
Aggregating Interval Orders by Propositional Optimization1st International Conference on Algorithmic Decision Theory (ADT'09), 2009, Venice, Italy. pp.249-260, ⟨10.1007/978-3-642-04428-1_22⟩
Conference papers
hal-00866857v1
|
|
Dependency management for the Eclipse ecosystemOpen Component Ecosystems International Workshop (IWOCE'09), 2009, Amsterdam, Netherlands
Conference papers
hal-00870855v1
|
|
On SAT Technologies for dependency management and beyondFirst Workshop on Software Product Lines (ASPL'08), 2008, Limerick, Ireland. pp.197-200
Conference papers
hal-00870846v1
|
Handling Qualitative Preferences Using Normal Form FunctionsInternational FLAIRS Conference (FLAIRS'07), May 2007, South Beach, United States. pp.38-43
Conference papers
hal-00421714v1
|
|
On extending SAT solvers for PB problems14th RCRA workshop Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion(RCRA07, Jul 2007, Rome, Italy
Conference papers
hal-00466227v1
|
|
|
À propos de l'extension d'un solveur SAT pour traiter des contraintes pseudo-booléennesTroisièmes Journées Francophones de Programmationpar Contraintes (JFPC07), Jun 2007, INRIA, Domaine de Voluceau, Rocquencourt, Yvelines France
Conference papers
inria-00151038v1
|
Fragments propositionnels pour la compilation de connaissances et formules booléennes quantifiées15ème congrès francophone Reconnaissance des Formes et Intelligence Artificielle(RFIA'06), Jan 2006, Tours, France. pp.Actes électroniques
Conference papers
hal-00192926v1
|
|
|
Representing Policies for Quantified Boolean FormulaeTenth International Conference on Principles of Knowledge Representation and Reasoning, Jun 2006, Lake District, United Kingdom. pp.286-296
Conference papers
hal-00121155v1
|
ECAI 2006ECAI 2006, 2006, Riva del Garda, Italy. pp.741-742
Conference papers
hal-00143833v1
|
|
The Second QBF Solvers Comparative EvaluationProceedings of the Seventh International Conference on Theory and Applications of Satisfiability Testing, SAT 2004, 2005, Vancouver, Canada. pp.376-392
Conference papers
hal-03300803v1
|
|
Propositional Fragments for Knowledge Compilation and Quantified Boolean FormulaeThe Twentieth National Conference on Artificial Intelligence and the Seventeenth Innovative Applications of Artificial Intelligence Conferencep, 2005, Pittsburg, United States. pp.288
Conference papers
hal-00014629v1
|
|
CSP2SAT4J: A Simple CSP to SAT translatorSecond International Workshop on Constraint Propagation and Implementation(CPAI05), Oct 2005, Sitges, Spain. pp.59-66
Conference papers
hal-00460869v1
|
|
|
Fifty-Five Solvers in Vancouver: The SAT 2004 CompetitionSeventh International Conference on Theory and Applications of Satisfiability Testing(SAT'04), 2004, Vancouver, Canada. pp.321-344
Conference papers
hal-00397465v1
|
The long way from conflict driven clause learning to conflict driven constraint learningGuangzhou Symposium on Satisfiability and its applications (Guangzhou04), 2004, Guangzhou, China
Conference papers
hal-03300804v1
|
|
OpenSAT: une plateforme SAT Open SourceJNPC'03, 2003, Amiens, France
Conference papers
hal-03299519v1
|
|
The essentials of the SAT 2003 competitionProceedings of the Sixth International Conference on Theory and Applications of satisfiability Testing (SAT 2003), 2003, Portofino, Italy. pp.452-467
Conference papers
hal-03300806v1
|
|
OpenSAT: an open source SAT software projectSixth International Conference on Theory and Applications of Satisfiability Testing (SAT2003), 2003, Portofino, Italy
Conference papers
hal-03299485v1
|
|
Challenges in the QBF arena : the SAT'03 evaluation of QBF solversProceedings of the Sixth International Conference on Theory and Applications of Satisfiability Testing (SAT2003), 2003, Portofino, Italy. pp.468-485
Conference papers
hal-03300805v1
|
|
Résolution de formules booléennes quantifiées : problèmes et algorithmes13ème Congrès AFRIF-AFIA Reconnaissance des Formes et Intelligence Artificielle (RFIA 2002), 2002, Angers, France. pp.289-298
Conference papers
hal-03300386v1
|
|
Logical representation and computation of optimal decisions in a qualitative setting15th National Conference on Artificial Intelligence / 10th Innovative Applications of Artificial Intelligence Conference (AAAI / IAAI 1998), AAAI; IAAI, Jul 1998, Madison, Wisconsin, United States. pp.588--593
Conference papers
hal-04026178v1
|
|
Establishing a national research software award2023
Preprints, Working Papers, ...
hal-04258977v1
|
|
Autour de SAT : le calcul d'impliquants P-restreints, algorithmes et applicationsIntelligence artificielle [cs.AI]. Université Toulouse III Paul Sabatier, 2000. Français. ⟨NNT : ⟩
Theses
tel-02881946v1
|
|
Sat4j, un moteur libre de raisonnement en logique propositionnelleIntelligence artificielle [cs.AI]. Université d'Artois, 2010
Habilitation à diriger des recherches
tel-02884327v1
|
Proceedings of the 14th International Workshop on Pragmatics of SAT14th International Workshop on Pragmatics of SAT, 2023
Proceedings
hal-04486837v1
|
|
Proceedings of Pragmatics of SAT 2015 and 2018Pragmatics of SAT, EPiC Series in Computing, 59, 2019
Proceedings
hal-04266998v1
|
|
19th International Conference on Theory and Applications of Satisfiability Testing (SAT'16)Lecture Notes in Computer Science, 9710, Springer, 2016
Proceedings
hal-03300808v1
|
|
POS-14. Fifth Pragmatics of SAT workshopEPiC Series in Computing, 27, 2014
Proceedings
hal-04266997v1
|
|
POS-13. Pragmatics of SAT 2013EPiC Series in Computing, 29, 2014
Proceedings
hal-04266995v1
|
|
POS-10. Pragmatics of SATEPiC Series in Computing, 8, 2012
Proceedings
hal-04266993v1
|
Special Volume on the SAT 2005 competitions and evaluationsJournal of Satisfiability, Boolean Modeling and Computation, 2, 2006
Special issue
hal-00459960v1
|
Valoriser la recherche par le logiciel libre2022
Scientific blog post
hal-04266999v1
|
|
D’un laboratoire universitaire à 40 millions d’utilisateurs, l’aventure d’un logiciel libre2020
Scientific blog post
hal-04264143v1
|