Synthical
Your space
Profile
Activity
Favorites
Folders
Feeds
All articles
Articles by Maximilian Heisinger | Synthical
Claim page
Maximilian Heisinger
Follow
Activity
Upvotes
Folders
Articles
1
f4ncgb: High Performance Gröbner Basis Computations in Free Algebras
25 May 2025 by
Maximilian Heisinger
and
Clemens Hofstadler
Mathematical Software
,
Symbolic Computation
Search-Space Pruning with Int-Splits for Faster QBF Solving
17 April 2023 by
Maximilian Heisinger
and
others
Logic in Computer Science
Topics
Logic in Computer Science
