Proving Unsatisfiability with Hitting Formulas

Yuval Filmus, Edward A. Hirsch, Artur Riazanov, Alexander Smal, Marc Vinyals

نتاج البحث: كتاب / تقريرتقرير

اللغة الأصليةإنجليزيّة أمريكيّة
المعرِّفات الرقمية للأشياء
حالة النشرنُشِر - 2023

قم بذكر هذا