Name Card

Full name Familienname, Vorname
Heintz, Fredrik
 

Contributing Publications Mitbeteiligte Publikationen

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

PreviewAuthor(s)TitleTypeIssue Date
1Xiao, Guohui ; Ma, Yue Inconsistency Measurement based on Variables in Minimal Unsatisfiable SubsetsKonferenzbeitrag Inproceedings 2012
2Lackner, Martin ; Pfandler, Andreas Fixed-Parameter Algorithms for Closed World ReasoningKonferenzbeitrag Inproceedings 2012