MaxSAT-Based MCS Enumeration
You are here
| Title | MaxSAT-Based MCS Enumeration |
| Publication Type | Conference Paper |
| Year of Publication | 2012 |
| Authors | Morgado A., Liffiton M., Marques-Silva J |
| Conference Name | Eighth Haifa Verification Conference (HVC 2012)Eighth Haifa Verification Conference (HVC 2012) |
| Date Published | 2012 |
| Conference Location | Haifa, Israel |
| URL | http://hdl.handle.net/10344/2901 |
