Fast, Flexible MUS Enumeration
You are here
| Title | Fast, Flexible MUS Enumeration |
| Publication Type | Journal Article |
| Year of Publication | 2015 |
| Authors | Liffiton M., Previti A., Malik A., Marques-Silva J |
| Journal | Constraints |
| Date Published | 2015 |
| URL | http://link.springer.com/article/10.1007%2Fs10601-015-9183-0 |
