In the era of big data, the ubiquity of location-aware portable devices
...
In their seminal work, Atserias et al. and independently Pipatsrisawat a...
Modern CDCL SAT solvers easily solve industrial instances containing ten...
Restarts are a widely-used class of techniques integral to the efficienc...