DRAT Proofs of Unsatisfiability for SAT Modulo Monotonic Theories

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Feng, Nick, Hu, Alan J., Bayless, Sam, Iqbal, Syed M., Trentin, Patrick, Whalen, Mike, Pike, Lee, Backes, John
Format:	Preprint
Published:	2024
Subjects:	Logic in Computer Science
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Internet

https://arxiv.org/abs/2401.10703