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

Fuente: arXiv

Guardado en:

Detalles Bibliográficos
Autores principales:	Oliveria, Mateus de Oliveira, Urmian, Sam
Formato:	Preprint
Publicado:	2026
Materias:	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
Acceso en línea:	Acceder al recurso
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Internet

https://arxiv.org/abs/2605.09732