1,237 followers
New #UPCommons #Eprints Automatic detection of at-most-one and exactly-one relations for improved SAT encodings of pseudo-boolean constraints https://t.co/InuFicChYh
New #UPCommons #Eprints Automatic detection of at-most-one and exactly-one relations for improved SAT encodings of pseudo-boolean constraints https://t.co/InuFicChYh