TY  - CPAPER
AU  - Bailey, J
AU  - Stuckey, PJ
Y2  - 2014/05/22
Y1  - 2005/01/01
SN  - 3-540-24362-3
SN  - 9783540243625
SN  - 0302-9743
UR  - http://hdl.handle.net/11343/31923
LA  - English
PB  - SPRINGER-VERLAG BERLIN
KW  - Artificial Intelligence and Image Processing
T1  - Discovery of minimal unsatisfiable subsets of constraints using hitting set dualization
DO  - 10.1007/978-3-540-30557-6_14
IS  - PRACTICAL ASPECTS OF DECLARATIVE LANGUAGES, PROCEEDINGS
VL  - 3350
SP  - 174-186
L1  - /bitstream/handle/11343/31923/282730_40365.pdf?sequence=1&isAllowed=n
ER  -