Quantified Maximum Satisfiability
You are here
| Title | Quantified Maximum Satisfiability |
| Publication Type | Journal Article |
| Year of Publication | 2015 |
| Authors | Ignatiev A., Janota M, Marques-Silva J |
| Journal | Constraints |
| Date Published | 2015 |
| URL | http://link.springer.com/article/10.1007%2Fs10601-015-9195-9 |
