MaxSAT-based encodings for Group MaxSAT
You are here
| Title | MaxSAT-based encodings for Group MaxSAT |
| Publication Type | Journal Article |
| Year of Publication | 2015 |
| Authors | Heras F., Morgado A., Marques-Silva J |
| Journal | AI Communications |
| Date Published | 2015 |
| Title | MaxSAT-based encodings for Group MaxSAT |
| Publication Type | Journal Article |
| Year of Publication | 2015 |
| Authors | Heras F., Morgado A., Marques-Silva J |
| Journal | AI Communications |
| Date Published | 2015 |
Copyright 2024 Lero
