Author:
Nam Gi-Joon,Aloul Fadi,Sakallah Karem,Rutenbar Rob
Cited by
14 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. A High Performance Detailed Router Based on Integer Programming with Adaptive Route Guides;2024 29th Asia and South Pacific Design Automation Conference (ASP-DAC);2024-01-22
2. FPGA Synthesis and Physical Design;Electronic Design Automation for IC Implementation, Circuit Design, and Process Technology;2016-04-14
3. Dynamic symmetry-breaking for Boolean satisfiability;Annals of Mathematics and Artificial Intelligence;2009-09
4. An ant colony algorithm for minimum unsatisfiable core extraction;Journal of Electronics (China);2008-09
5. Symmetry breaking for pseudo-Boolean formulas;ACM Journal of Experimental Algorithmics;2008-06