Lower Bounds and Upper Bounds for MaxSAT
You are here
| Title | Lower Bounds and Upper Bounds for MaxSAT |
| Publication Type | Conference Paper |
| Year of Publication | 2012 |
| Authors | Heras F., Morgado A., Marques-Silva J |
| Conference Name | Learning and Intelligent OptimizatioN Conference LION 6Learning and Intelligent OptimizatioN Conference LION 6 |
| Date Published | 2012 |
| Conference Location | Paris, France |
| URL | http://ulir.ul.ie/handle/10344/2768 |
