Picture for Lakhdar Sais

Lakhdar Sais

Efficient Encodings of Conditional Cardinality Constraints

Add code
Mar 31, 2018
Figure 1 for Efficient Encodings of Conditional Cardinality Constraints
Figure 2 for Efficient Encodings of Conditional Cardinality Constraints
Viaarxiv icon

On SAT Models Enumeration in Itemset Mining

Add code
Jun 08, 2015
Figure 1 for On SAT Models Enumeration in Itemset Mining
Figure 2 for On SAT Models Enumeration in Itemset Mining
Viaarxiv icon

On the measure of conflicts: A MUS-Decomposition Based Framework

Add code
Jun 01, 2014
Figure 1 for On the measure of conflicts: A MUS-Decomposition Based Framework
Figure 2 for On the measure of conflicts: A MUS-Decomposition Based Framework
Figure 3 for On the measure of conflicts: A MUS-Decomposition Based Framework
Viaarxiv icon

Revisiting the Learned Clauses Database Reduction Strategies

Add code
Feb 09, 2014
Figure 1 for Revisiting the Learned Clauses Database Reduction Strategies
Figure 2 for Revisiting the Learned Clauses Database Reduction Strategies
Figure 3 for Revisiting the Learned Clauses Database Reduction Strategies
Figure 4 for Revisiting the Learned Clauses Database Reduction Strategies
Viaarxiv icon

A Mining-Based Compression Approach for Constraint Satisfaction Problems

Add code
May 14, 2013
Figure 1 for A Mining-Based Compression Approach for Constraint Satisfaction Problems
Figure 2 for A Mining-Based Compression Approach for Constraint Satisfaction Problems
Viaarxiv icon

Extending Modern SAT Solvers for Enumerating All Models

Add code
May 06, 2013
Viaarxiv icon

Mining to Compact CNF Propositional Formulae

Add code
Apr 16, 2013
Figure 1 for Mining to Compact CNF Propositional Formulae
Figure 2 for Mining to Compact CNF Propositional Formulae
Figure 3 for Mining to Compact CNF Propositional Formulae
Viaarxiv icon

Learning for Dynamic subsumption

Add code
Mar 31, 2009
Figure 1 for Learning for Dynamic subsumption
Figure 2 for Learning for Dynamic subsumption
Figure 3 for Learning for Dynamic subsumption
Figure 4 for Learning for Dynamic subsumption
Viaarxiv icon