Communities
Connect sessions
AI calendar
Organizations
Join Slack
Contact Sales
Search
Open menu
Home
Papers
1606.03329
Cited By
v1
v2
v3 (latest)
Community Structure in Industrial SAT Instances
Journal of Artificial Intelligence Research (JAIR), 2016
10 June 2016
Carlos Ansótegui
Maria Luisa Bonet
Jesús Giráldez-Cru
Jordi Levy
Laurent Simon
Re-assign community
ArXiv (abs)
PDF
HTML
Papers citing
"Community Structure in Industrial SAT Instances"
2 / 2 papers shown
Generation and Prediction of Difficult Model Counting Instances
Guillaume Escamocher
Barry O'Sullivan
LRM
247
3
0
06 Dec 2022
Reducing SAT to Max2XOR
Carlos Ansótegui
Jordi Levy
LRM
47
1
0
04 Apr 2022
1
Page 1 of 1
