research
∙
02/13/2023
Proving Unsatisfiability with Hitting Formulas
Hitting formulas have been studied in many different contexts at least s...
share
research
∙
10/31/2022
The power of the Binary Value Principle
The (extended) Binary Value Principle (eBVP: ∑_i=1^n x_i2^i-1 = -k for k...
research
∙
11/15/2019
