output
20052026
most citedIdentification, location-domination and metric dimension on interval and permutation graphs. I. Bounds

41 citations

researchers with a paper here
collaborating institutions
Showing 2017 · cs.AIShow all

1 paper · 2 filters

cs.AI2017★ 2 cited

Towards Learned Clauses Database Reduction Strategies Based on Dominance Relationship

Jerry Lonlac, Engelbert Mephu Nguifo

Clause Learning is one of the most important components of a conflict driven clause learning (CDCL) SAT solver that is effective on industrial instances. Since the number of learne…