2012
DOI: 10.1007/978-3-642-31612-8_40
|View full text |Cite
|
Sign up to set email alerts
|

Creating Industrial-Like SAT Instances by Clustering and Reconstruction

Help me understand this report

Search citation statements

Order By: Relevance

Paper Sections

Select...
3
2

Citation Types

0
5
0

Year Published

2014
2014
2021
2021

Publication Types

Select...
3
2
2
1

Relationship

0
8

Authors

Journals

citations
Cited by 8 publications
(5 citation statements)
references
References 3 publications
0
5
0
Order By: Relevance
“…This is the case of the (clear) community structure. There exist some generators that indirectly use the notion of modularity [39,11,33,28]. Recently, the Community Attachment model [19,20] has been proposed to generate random pseudo-industrial instances with high modularity.…”
Section: Related Workmentioning
confidence: 99%
“…This is the case of the (clear) community structure. There exist some generators that indirectly use the notion of modularity [39,11,33,28]. Recently, the Community Attachment model [19,20] has been proposed to generate random pseudo-industrial instances with high modularity.…”
Section: Related Workmentioning
confidence: 99%
“…Burg et al [14] presented a generator that combines subparts of real-world instances to create new ones. Notice that this method may generate instances with community structure when the input formulas have such structure.…”
Section: Related Workmentioning
confidence: 99%
“…The main aim of these studies is to better understand the success of CDCL techniques and help to improve them. They can also help develop new benchmarks generation models with more realistic properties [34][35][36][37][38][39][40]. This problem has been identified as an important challenge in the SAT community [41][42][43].…”
Section: Related Workmentioning
confidence: 99%