This year, there will be 7 papers from CRIL presented at IJCAI 2026!

  • Compact Modeling in Constraint Programming with Hybrid Tables
    Christophe Lecoutre, Mouny Samy Modeliar, Gilles Audemard, Nicolas Paris and Nicolas Szczepanski

  • gDMC: A Generic Distributed Model Counting Framework viaWork-Stealing
    Zhenghang Xu, Minghao Yin, Junping Zhou, Jean-Marie Lagniez

  • Efficient Minimization of Decision-DNNF Circuits via Semantic Hashing and Provenance Tracking
    Armin Biere, Jean-Marie Lagniez, Emmanuel Lonca

  • Splitting Meanings: A Unified View on Paraconsistency and Inconsistency Measurement
    Yakoub Salhi

  • Computing Coverage-Based Prime Implicant Explanations for Tree-Based Models
    Gilles Audemard, Sylvie Coste-Marquis, Pierre Marquis, Mehdi Sabiri, Nicolas Szczepanski

  • Diversity of Extensions in Abstract Argumentation
    Johannes K. Fichte, Markus Hecher, Yasir Mahmood and Zhengjun Wang

  • Abstracting the Indistinguishable in ASP
    Zeynep G. Saribatur, Markus Hecher and Johannes K. Fichte