research
∙
04/17/2023
Search-Space Pruning with Int-Splits for Faster QBF Solving
In many QBF encodings, sequences of Boolean variables stand for binary r...
share
research
∙
05/24/2019
New ways to multiply 3 x 3-matrices
It is known since the 1970s that no more than 23 multiplications are req...
research
∙
03/27/2019
Local Search for Fast Matrix Multiplication
Laderman discovered a scheme for computing the product of two 3x3 matric...
research
∙
02/09/2019
On the maximal minimal cube lengths in distinct DNF tautologies
Inspired by a recent article by Anthony Zaleski and Doron Zeilberger, we...
research
∙
07/24/2018
Expansion-Based QBF Solving Without Recursion
In recent years, expansion-based techniques have been shown to be very p...
research
∙
04/04/2018
Short Proofs for Some Symmetric Quantified Boolean Formulas
We exploit symmetries to give short proofs for two prominent formula fam...
research
∙
02/12/2018