TY  - GEN 
AU  - Giráldez-Cru, Jesús
AU  - Levy, Jordi
PY  - 2021
UR  - https://hdl.handle.net/10481/100493
AB  - In the last decades, we have witnessed a remarkable success of algorithms solving the Boolean Satisfiability problem (SAT) on instances encoding application or real-world problems arising from a very diverse number of domains, such as hardware and...
LA  - eng
KW  - Satisfiability
KW  - SAT generator
KW  - Random SAT
KW  - Scale-free structure
KW  - Community structure
TI  - Popularity-similarity random SAT formulas
DO  - https://doi.org/10.1016/j.artint.2021.103537
ER  -