SAT-Helper: A Multi-Agent System for Adaptive Optimizing Large-Scale Conjunctive Normal Form

Zhiyuan He, Flynn, Pin-Yu Chen, Tsung-Yi Ho
Type
Conference paper
Publication
Proceedings of the 63nd Design Automation Conference
Note
Corresponding Author