TreeWidzard: An Engine for Width-Based Dynamic Programming and Automated Theorem Proving

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Oliveria, Mateus de Oliveira, Urmian, Sam
Format:	Preprint
Published:	2026
Subjects:	Data Structures and Algorithms Logic in Computer Science Combinatorics 68R10, 68W40, 05C85, 68Q60, 03B70, 68Q27 F.2.2; G.2.2; F.4.1; I.2.3; G.4
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Internet

https://arxiv.org/abs/2605.09732