Source code for "YBE"
Published in Zenodo (CERN European Organization for Nuclear Research) • Oct 4, 2024
NobleIDNI0P653W481R660S625
Authors:
Daimy Van Caudenberg
Abstract
YBE-SMS with two implementations for the minimality check, a backtracking approach based on the original SMS papers and a new incremental, SAT-based approach.
Finding related papers...
Discussions
(0)No comments yet
Be the first to share your thoughts!