TY  - GEN 
AU  - Ansótegui, Carlos
AU  - Bonet, María Luisa
AU  - Giráldez Cru, Jesús
AU  - Levy, Jordi
AU  - Simon, Laurent
PY  - 2019
UR  - https://hdl.handle.net/10481/100531
AB  - Modern SAT solvers have experienced a remarkable progress on solving industrial instances. It is believed that most of these successful techniques exploit the underlying structure of industrial instances. Recently, there have been some attempts to...
LA  - eng
KW  - satisfiability
TI  - Community structure in industrial SAT instances
DO  - https://doi.org/10.1613/jair.1.11741
ER  -