Late Breaking Results: A Multi-Agent System for Adaptive Optimization of Large-Scale Conjunctive Normal Form

Publication
Proceedings of the 63rd Design Automation Conference
Note
Corresponding Author