Algorithms for computing backbones of propositional formulae
You are here
| Title | Algorithms for computing backbones of propositional formulae |
| Publication Type | Journal Article |
| Year of Publication | 2015 |
| Authors | Janota M, Lynce I., Marques-Silva J |
| Journal | AI Communication |
| Date Published | 2015 |
