Login / Signup
INVICTUS: Optimizing Boolean Logic Circuit Synthesis via Synergistic Learning and Search.
Animesh Basak Chowdhury
Marco Romanelli
Benjamin Tan
Ramesh Karri
Siddharth Garg
Published in:
CoRR (2023)
Keyphrases
</>
boolean logic
learning algorithm
reinforcement learning
search algorithm
learning process
databases
active learning
online learning
learning tasks
neural network
information retrieval
search engine
search space
supervised learning
search strategy