Proving Unsatisfiability with Hitting Formulas

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

פרסום מחקרי: ספר / דוחדוח

שפה מקוריתאנגלית אמריקאית
מזהי עצם דיגיטלי (DOIs)
סטטוס פרסוםפורסם - 2023

פורמט ציטוט ביבליוגרפי