An Empirical Study of Encodings for Group MaxSAT
You are here
| Title | An Empirical Study of Encodings for Group MaxSAT |
| Publication Type | Conference Paper |
| Year of Publication | 2012 |
| Authors | Heras F., Morgado A., Marques-Silva J |
| Conference Name | The 25th Canadian Conference on Artificial Intelligence (AI2012)The 25th Canadian Conference on Artificial Intelligence (AI2012) |
| Date Published | 2012 |
| Conference Location | York University, Toronto, Ontario, Canada |
| URL | http://hdl.handle.net/10344/2769 |
