Name Card

Full name Familienname, Vorname
Ma, Yue
 

Own Publications Eigene Publikationen

Results 1-3 of 3 (Search time: 0.001 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Xiao, Guohui ; Ma, Yue Inconsistency Measurement based on Variables in Minimal Unsatisfiable SubsetsKonferenzbeitrag Inproceedings 2012
2Xiao, Guohui ; Lin, Zuoquan ; Ma, Yue ; Qi, Guilin Computing Inconsistency Measurements under Multi-Valued Semantics by Partial Max-SAT SolversKonferenzbeitrag Inproceedings 2010
3Ma, Yue ; Qi, Guilin ; Xiao, Guohui ; Hitzler, Pascal ; Lin, Zuoquan Computational Complexity and Anytime Algorithm for Inconsistency MeasurementArtikel Article2010