Lakhdar Sa\"is

Identifiers

• name variant Lakhdar Sa\"is 0.60 · backfill

Papers (3)

1. Extracting Frequent Gradual Patterns Using Constraints Modeling cs.AI · 2019 · author #4
2. On the Complexity of Computing Minimal Unsatisfiable LTL formulas cs.LO · 2012 · author #2
3. Integrating Conflict Driven Clause Learning to Local Search cs.AI · 2009 · author #4

Mentions

• 1203.3706 #2 · backfill · confidence 0.70 Lakhdar Sa\"is
• 0910.1247 #4 · backfill · confidence 0.70 Lakhdar Sa\"is

Frequent Coauthors

• Badran Raddaoui 1 shared papers
• Bertrand Mazure 1 shared papers
• Engelbert Mephu Nguifo 1 shared papers
• Francois Hantry 1 shared papers
• Gilles Audenard 1 shared papers
• Jean-Marie Lagniez 1 shared papers
• Jerry Lonlac 1 shared papers
• Mohand-Sa\"id Hacid 1 shared papers
• Sa\"idd Jabbour 1 shared papers