Sas Lakhdar

Lakhdar Sas

Information about the author Lakhdar Sas will soon be added to the site.
Found 2 papers in total
What we can learn from conflicts in propositional satisfiability
2016
Learning is a general concept, playing an important role in many Artificial...
Learning from conflicts in propositional satisfiability
2012
Learning is a general concept, playing an important role in many Artificial...
Papers per page: