publication venue for

• SAT-based models for overlapping community detection in networks.  102:1275-1299. 2020
• Logs and enterprise networks for overcoming obstacles in business processes.  101:263-288. 2019