Vol-1452⫷ Vol-1453 ⫸Vol-1454
urn:nbn:de:0074-1453-0


Vol-1453/14_Haag_ColumnOrientedCompilationOf_Confws-15_p89⫷Vol-1453/15_WalterFelfernigKuechlin_InverseQuickxplainVsMaxsat_Confws-15_p97⫸Vol-1453/16_FelfernigWalterReiterer_Flexdiag-AnytimeDiagnosisFor_Confws-15_p105
Wolfgang KüchlinAlexander FelfernigRouven Walter

Inverse QuickXplain vs. MaxSAT — a comparison in theory and practice