dblp.uni-trier.dewww.dagstuhl.dewww.uni-trier.de

Rob A. Rutenbar (Selection)

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo


73Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGi-Joon Nam, Fadi A. Aloul, Karem A. Sakallah, Rob A. Rutenbar: A Comparative Study of Two Boolean Formulations of FPGA Detailed Routing Constraints. IEEE Trans. Computers 53(6): 688-696 (2004)
69Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHui Xu, Rob A. Rutenbar, Karem A. Sakallah: sub-SAT: a formulation for relaxed Boolean satisfiability with applications in routing. IEEE Trans. on CAD of Integrated Circuits and Systems 22(6): 814-820 (2003)
67Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGi-Joon Nam, Karem A. Sakallah, Rob A. Rutenbar: Hybrid Routing for FPGAs by Integrating Boolean Satisfiability with Geometric Search. FPL 2002: 360-369
65Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHui Xu, Rob A. Rutenbar, Karem A. Sakallah: sub-SAT: a formulation for relaxed boolean satisfiability with applications in routing. ISPD 2002: 182-187
63Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGi-Joon Nam, Karem A. Sakallah, Rob A. Rutenbar: A new FPGA detailed routing approach via search-based Booleansatisfiability. IEEE Trans. on CAD of Integrated Circuits and Systems 21(6): 674-684 (2002)
61Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGi-Joon Nam, Karem A. Sakallah, Rob A. Rutenbar: A boolean satisfiability-based incremental rerouting approach with application to FPGAs. DATE 2001: 560-565
54Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGi-Joon Nam, Fadi A. Aloul, Karem A. Sakallah, Rob A. Rutenbar: A comparative study of two Boolean formulations of FPGA detailed routing constraints. ISPD 2001: 222-227
42Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGi-Joon Nam, Karem A. Sakallah, Rob A. Rutenbar: Satisfiability-Based Layout Revisited: Detailed Routing of Complex FPGAs vis Search-Based Boolean SAT. FPGA 1999: 167-175
40Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGi-Joon Nam, Karem A. Sakallah, Rob A. Rutenbar: Satisfiability-Based Detailed FPGA Routing. VLSI Design 1999: 574-577

Selection of 9 from 121 records - Rob A. Rutenbar has 128 coauthors

Last update 2012-09-10 CET by the DBLP TeamThis material is Open Data Content released under the ODC-BY 1.0 license — See also our legal information page