research
∙
06/06/2023
Reconstructing human activities via coupling mobile phone data with location-based social networks
In the era of big data, the ubiquity of location-aware portable devices ...
share
research
∙
04/19/2023
Limits of CDCL Learning via Merge Resolution
In their seminal work, Atserias et al. and independently Pipatsrisawat a...
research
∙
03/27/2021
On the Hierarchical Community Structure of Practical Boolean Formulas
Modern CDCL SAT solvers easily solve industrial instances containing ten...
research
∙
03/04/2020
