Picture for Yakoub Salhi

Yakoub Salhi

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