Author:
Nam Gi-Joon,Aloul Fadi,Sakallah Karem,Rutenbar Rob
Cited by
13 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. FPGA Synthesis and Physical Design;Electronic Design Automation for IC Implementation, Circuit Design, and Process Technology;2016-04-14
2. Dynamic symmetry-breaking for Boolean satisfiability;Annals of Mathematics and Artificial Intelligence;2009-09
3. An ant colony algorithm for minimum unsatisfiable core extraction;Journal of Electronics (China);2008-09
4. Symmetry breaking for pseudo-Boolean formulas;ACM Journal of Experimental Algorithmics;2008-06
5. Using SAT-based techniques in power estimation;Microelectronics Journal;2007-06