Laurent Simon - RankMe

46 papers A* 8A 16B 3Journal 12Unranked 6

Year	Rank	Type	Title / Venue / Authors
2025	J	`jnl`	An Explainable Diagnostic Framework for Neurodegenerative Dementias via Reinforcement-Optimized LLM Reasoning. CoRR Andrew Zamai, Nathanaël Fijalkow, Boris Mansencal, Laurent Simon, Eloi Navet, Pierrick Coupé
2024	J	`jnl`	Drift Detection: Introducing Gaussian Split Detector. CoRR Maxime Fuccellaro, Laurent Simon, Akka Zemmari
2024	—	`conf`	Image Drift: Introducing Gaussian Split Detector. IPTA Maxime Fuccellaro, Laurent Simon, Akka Zemmari
2023	—	`conf`	A Robust Drift Detection Algorithm with High Accuracy and Low False Positives Rate. SafeAI@AAAI Maxime Fuccellaro, Laurent Simon, Akka Zemmari
2022	B	`conf`	Partially Supervised Classification for Early Concept Drift Detection. ICTAI Maxime Fuccellaro, Laurent Simon, Akka Zemmari
2021	—	`conf`	FuzzBench: an open fuzzer benchmarking platform and service. ESEC/SIGSOFT FSE Jonathan Metzman, László Szekeres, Laurent Simon, Read Sprabery, Abhishek Arya
2021	A	`conf`	Statistical Comparison of Algorithm Performance Through Instance Selection. CP Théo Matricon, Marie Anastacio, Nathanaël Fijalkow, Laurent Simon, Holger H. Hoos
2021	A	`conf`	The Dungeon Variations Problem Using Constraint Programming. CP Gaël Glorian, Adrien Debesson, Sylvain Yvon-Paliot, Laurent Simon
2020	A	`conf`	SAT Heritage: A Community-Driven Effort for Archiving, Building and Running More Than Thousand SAT Solvers. SAT Gilles Audemard, Loïc Paulevé, Laurent Simon
2020	J	`jnl`	SAT Heritage: a community-driven effort for archiving, building and running more than thousand SAT solvers. CoRR Gilles Audemard, Loïc Paulevé, Laurent Simon
2019	J	`jnl`	Community Structure in Industrial SAT Instances. J. Artif. Intell. Res. Carlos Ansótegui, Maria Luisa Bonet, Jesús Giráldez-Cru, Jordi Levy, Laurent Simon
2019	J	`jnl`	FuzzFactory: domain-specific fuzzing with waypoints. Proc. ACM Program. Lang. Rohan Padhye, Caroline Lemieux, Koushik Sen, Laurent Simon, Hayawardh Vijayakumar
2018	J	`jnl`	On the Glucose SAT Solver. Int. J. Artif. Intell. Tools Gilles Audemard, Laurent Simon
2018	A	`conf`	On the Non-degeneracy of Unsatisfiability Proof Graphs Produced by SAT Solvers. CP Rohan Fossé, Laurent Simon
2018	A*	`conf`	Seeking Practical CDCL Insights from Theoretical SAT Benchmarks. IJCAI Jan Elffers, Jesús Giráldez-Cru, Stephan Gocht, Jakob Nordström, Laurent Simon
2018	B	`conf`	Zigzagging Strategies for Temporal Induction. ICTAI Guillaume Baud-Berthier, Laurent Simon
2017	B	`conf`	On Selecting Constraints for Replication in Model Checking. ICTAI Guillaume Baud-Berthier, Laurent Simon
2017	A	`conf`	On the Community Structure of Bounded Model Checking SAT Problems. SAT Guillaume Baud-Berthier, Jesús Giráldez-Cru, Laurent Simon
2016	A	`conf`	Extreme Cases in SAT Problems. SAT Gilles Audemard, Laurent Simon
2016	—	`ed.`	IWIL@LPAR 2015, 11th International Workshop on the Implementation of Logics, Suva, Fiji, November 23, 2015 IWIL@LPAR Boris Konev, Stephan Schulz, Laurent Simon
2015	A	`conf`	Using Community Structure to Detect Relevant Learnt Clauses. SAT Carlos Ansótegui, Jesús Giráldez-Cru, Jordi Levy, Laurent Simon
2014	J	`jnl`	Améliorer SAT dans le cadre incrémental. Rev. d'Intelligence Artif. Gilles Audemard, Armin Biere, Jean-Marie Lagniez, Laurent Simon
2014	A	`conf`	Impact of Community Structure on SAT Solver Performance. SAT Zack Newsham, Vijay Ganesh, Sebastian Fischmeister, Gilles Audemard, Laurent Simon
2014	A	`conf`	Lazy Clause Exchange Policy for Parallel SAT Solvers. SAT Gilles Audemard, Laurent Simon
2014	—	`conf`	SAT-Based Metabolics Pathways Analysis without Compilation. CMSB Sabine Pérès, Martin Morterol, Laurent Simon
2013	A	`conf`	Improving Glucose for Incremental SAT Solving with Assumptions: Application to MUS Extraction. SAT Gilles Audemard, Jean-Marie Lagniez, Laurent Simon
2013	A*	`conf`	Just-In-Time Compilation of Knowledge Bases. IJCAI Gilles Audemard, Jean-Marie Lagniez, Laurent Simon
2013	A*	`conf`	Resolution and Parallelizability: Barriers to the Efficient Parallelization of SAT Solvers. AAAI George Katsirelos, Ashish Sabharwal, Horst Samulowitz, Laurent Simon
2012	A	`conf`	Eigenvector Centrality in Industrial SAT Instances. CP George Katsirelos, Laurent Simon
2012	A	`conf`	Learning Polynomials over GF(2) in a SAT Solver - (Poster Presentation). SAT George Katsirelos, Laurent Simon
2012	J	`jnl`	Optimizing with minimum satisfiability. Artif. Intell. Chu Min Li, Zhu Zhu, Felip Manyà, Laurent Simon
2012	A	`conf`	Refining Restarts Strategies for SAT and UNSAT. CP Gilles Audemard, Laurent Simon
2012	J	`jnl`	The International SAT Solver Competitions. AI Mag. Matti Järvisalo, Daniel Le Berre, Olivier Roussel, Laurent Simon
2011	A*	`conf`	Minimum Satisfiability and Its Applications. IJCAI Chu Min Li, Zhu Zhu, Felip Manyà, Laurent Simon
2010	A*	`conf`	A Restriction of Extended Resolution for Clause Learning SAT Solvers. AAAI Gilles Audemard, George Katsirelos, Laurent Simon
2009	A*	`conf`	Predicting Learnt Clauses Quality in Modern SAT Solvers. IJCAI Gilles Audemard, Laurent Simon
2008	A	`conf`	Experimenting with Small Changes in Conflict-Driven Clause Learning Algorithms. CP Gilles Audemard, Laurent Simon
2007	A*	`conf`	GUNSAT: A Greedy Local Search Algorithm for Unsatisfiability. IJCAI Gilles Audemard, Laurent Simon
2006	J	`jnl`	Preface to the Special Volume on the SAT 2005 Competitions and Evaluations. J. Satisf. Boolean Model. Comput. Daniel Le Berre, Laurent Simon
2005	J	`jnl`	A parsimony tree for the SAT2002 competition. Ann. Math. Artif. Intell. Paul W. Purdom, Daniel Le Berre, Laurent Simon
2005	J	`jnl`	The SAT2002 competition. Ann. Math. Artif. Intell. Laurent Simon, Daniel Le Berre, Edward A. Hirsch
2004	—	`conf`	Fifty-Five Solvers in Vancouver: The SAT 2004 Competition. SAT (Selected Papers Daniel Le Berre, Laurent Simon
2004	—	`conf`	The Second QBF Solvers Comparative Evaluation. SAT (Selected Papers Daniel Le Berre, Massimo Narizzano, Laurent Simon, Armando Tacchella
2003	A	`conf`	Challenges in the QBF Arena: the SAT'03 Evaluation of QBF Solvers. SAT Daniel Le Berre, Laurent Simon, Armando Tacchella
2003	A	`conf`	The Essentials of the SAT 2003 Competition. SAT Daniel Le Berre, Laurent Simon
2001	A*	`conf`	Efficient Consequence Finding. IJCAI Laurent Simon, Alvaro del Val