Yuval Filmus

Research output

Research output per year 2010 2016 2017 2019 2020 2021 2022 2023 2024

• 51 Article
• 37 Conference contribution
• 6 Other contribution
• 4 Conference article
• 4 More
  • 1 Report
  • 1 Chapter
  • 1 Paper
  • 1 Editorial

Research output per year

Research output per year

Search results

• 2023

  Proving Unsatisfiability with Hitting Formulas

  Filmus, Y., Hirsch, E. A., Riazanov, A., Smal, A. & Vinyals, M., 2023

  Research output: Book/Report › Report