2 papers
cs.MS2025
f4ncgb: High Performance Gröbner Basis Computations in Free Algebras
Maximilian Heisinger, Clemens Hofstadler
We present f4ncgb, a new open-source C++ library for Gröbner basis computations in free algebras, which transfers recent advancements in commutative Gröbner basis software to the n…
cs.LO2023
Search-Space Pruning with Int-Splits for Faster QBF Solving
Maximilian Heisinger, Irfansha Shaik, Martina Seidl +1
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 plann…