Co-occurring keywords · papers mentioning both
Papers
Cirbo: A New Tool for Boolean Circuit Analysis and Synthesis
AAAI 2025
Automated CPU Design by Learning from Input-Output Examples
IJCAI 2024
Neural Circuit Synthesis from Specification Patterns
NeurIPS 2021