Cited By
View all- Huang GHu JHe YLiu JMa MShen ZWu JXu YZhang HZhong KNing XMa YYang HYu BYang HWang Y(2021)Machine Learning for Electronic Design Automation: A SurveyACM Transactions on Design Automation of Electronic Systems10.1145/345117926:5(1-46)Online publication date: 5-Jun-2021
- Yolcu EPóczos BWallach HLarochelle HBeygelzimer Ad'Alché-Buc FFox E(2019)Learning local search heuristics for boolean satisfiabilityProceedings of the 33rd International Conference on Neural Information Processing Systems10.5555/3454287.3455005(7992-8003)Online publication date: 8-Dec-2019
- Habet DTerrioux CHung CPapadopoulos G(2019)Conflict history based search for constraint satisfaction problemProceedings of the 34th ACM/SIGAPP Symposium on Applied Computing10.1145/3297280.3297389(1117-1122)Online publication date: 8-Apr-2019
- Show More Cited By