Proceedings of 20th European Conference on Artificial Intelligence
Book title Buchtitel
Proceedings of 20th European Conference on Artificial Intelligence
Editor Herausgeber_in
Publisher Herausgeber
IOS Press
Place of publishing Erscheinungsort
242
Results 1-1 of 1 (Search time: 0.002 seconds).
| Preview | Authors / Editors | Title | Type | Issue Date | |
|---|---|---|---|---|---|
| 1 | Xiao, Guohui ; Ma, Yue ; Bessiere, Christian ; Raedt, Luc De ; Dubois, Didier ; Doherty, Patrick ; Frasconi, Paolo ; Heintz, Fredrik ; Lucas, Peter | Inconsistency Measurement based on Variables in Minimal Unsatisfiable Subsets | Konferenzbeitrag Inproceedings  | 2012 |