On Computing Minimal Equivalent Subformulas
You are here
| Title | On Computing Minimal Equivalent Subformulas |
| Publication Type | Conference Paper |
| Year of Publication | 2012 |
| Authors | Belov A., Janota M, Lynce I, Marques-Silva J |
| Conference Name | 18th International Conference on Principles and Practice of Constraint Programming (CP 2012)18th International Conference on Principles and Practice of Constraint Programming (CP 2012) |
| Date Published | 2012 |
| Conference Location | Québec City, Canada |
| URL | http://ulir.ul.ie/handle/10344/2766 |
