Jean-Marie Lagniez

Identifiers

• name variant Jean-Marie Lagniez 0.60 · backfill

Papers (3)

1. Efficient Incremental #SAT via Cross-Instance Knowledge Reuse cs.LO · 2026 · author #3
2. Improving MUC extraction thanks to local search cs.AI · 2013 · author #2
3. Integrating Conflict Driven Clause Learning to Local Search cs.AI · 2009 · author #2

Mentions

• 1307.3585 #2 · backfill · confidence 0.70 Jean-Marie Lagniez
• 0910.1247 #2 · backfill · confidence 0.70 Jean-Marie Lagniez

Frequent Coauthors

• Bertrand Mazure 2 shared papers
• Dror Fried 1 shared papers
• \'Eric Gr\'egoire 1 shared papers
• Gilles Audenard 1 shared papers
• Lakhdar Sa\"is 1 shared papers
• Uriya Bartal 1 shared papers