Zobrazeno 1 - 10
of 134
pro vyhledávání: '"Seidl, Martina"'
In many QBF encodings, sequences of Boolean variables stand for binary representations of integer variables. Examples are state labels in bounded model checking or actions in planning problems. Often not the full possible range is used, e.g., for rep
Externí odkaz:
http://arxiv.org/abs/2304.08308
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
It is known since the 1970s that no more than 23 multiplications are required for computing the product of two 3 x 3-matrices. It is not known whether this can also be done with fewer multiplications. However, there are several mutually inequivalent
Externí odkaz:
http://arxiv.org/abs/1905.10192
Laderman discovered a scheme for computing the product of two 3x3 matrices using only 23 multiplications in 1976. Since then, some more such schemes were proposed, but it remains open how many there are and whether there exist schemes with fewer than
Externí odkaz:
http://arxiv.org/abs/1903.11391
Inspired by a recent article by Anthony Zaleski and Doron Zeilberger, we investigate the question of determining the largest k for which there exists boolean formulas in disjunctive normal form (DNF) with n variables, none of whose conjunctions are `
Externí odkaz:
http://arxiv.org/abs/1902.03431
Autor:
Bloem, Roderick, Braud-Santoni, Nicolas, Hadzic, Vedad, Egly, Uwe, Lonsing, Florian, Seidl, Martina
In recent years, expansion-based techniques have been shown to be very powerful in theory and practice for solving quantified Boolean formulas (QBF), the extension of propositional formulas with existential and universal quantifiers over Boolean vari
Externí odkaz:
http://arxiv.org/abs/1807.08964
Autor:
Kauers, Manuel, Seidl, Martina
We exploit symmetries to give short proofs for two prominent formula families of QBF proof complexity. On the one hand, we employ symmetry breakers. On the other hand, we enrich the (relatively weak) QBF resolution calculus Q-Res with the symmetry ru
Externí odkaz:
http://arxiv.org/abs/1804.01437