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

Fadi A. Aloul

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo
Home Page

2007
31EEFadi A. Aloul, Nagarajan Kandasamy: Sensor Deployment for Failure Diagnosis in Networked Aerial Robots: A Satisfiability-Based Approach. SAT 2007: 369-376
30EEFadi A. Aloul, Arathi Ramani, Igor L. Markov, Karem A. Sakallah: Symmetry breaking for pseudo-Boolean formulas. ACM Journal of Experimental Algorithmics 12: (2007)
29EEFadi A. Aloul, Arathi Ramani, Karem A. Sakallah, Igor L. Markov: Solution and Optimization of Systems of Pseudo-Boolean Constraints. IEEE Trans. Computers 56(10): 1415-1424 (2007)
28EEFadi A. Aloul, Bashar Al Rawi, Mokhtar Aboelaze: Routing in Optical and Non-Optical Networks using Boolean Satisfiability. JCM 2(4): 49-56 (2007)
27EEAssim Sagahyroon, Fadi A. Aloul: Using SAT-based techniques in power estimation. Microelectronics Journal 38(6-7): 706-715 (2007)
2006
26 Nagarajan Kandasamy, Fadi A. Aloul, Tak-John Koo: Sensor Selection and Placement for Failure Diagnosis in Networked Aerial Robots. ICRA 2006: 2182-2187
25EEFadi A. Aloul, Assim Sagahyroon: Estimation of the weighted maximum switching activity in combinational CMOS circuits. ISCAS 2006
24EEFadi A. Aloul, Karem A. Sakallah, Igor L. Markov: Efficient Symmetry Breaking for Boolean Satisfiability. IEEE Trans. Computers 55(5): 549-558 (2006)
23EEArathi Ramani, Igor L. Markov, Karem A. Sakallah, Fadi A. Aloul: Breaking Instance-Independent Symmetries In Exact Graph Coloring. J. Artif. Intell. Res. (JAIR) 26: 289-322 (2006)
2005
22EEFadi A. Aloul, Arathi Ramani, Igor L. Markov, Karem A. Sakallah: Dynamic symmetry-breaking for improved Boolean optimization. ASP-DAC 2005: 445-450
2004
21EEFadi A. Aloul, Arathi Ramani, Igor L. Markov, Karem A. Sakallah: ShatterPB: symmetry-breaking for pseudo-Boolean formulas. ASP-DAC 2004: 883-886
20EEArathi Ramani, Fadi A. Aloul, Igor L. Markov, Karem A. Sakallah: Breaking Instance-Independent Symmetries in Exact Graph Coloring. DATE 2004: 324-331
19EEGi-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)
18EEFadi A. Aloul, Igor L. Markov, Karem A. Sakallah: MINCE: A Static Global Variable-Ordering Heuristic for SAT Search and BDD Manipulation. J. UCS 10(12): 1562-1596 (2004)
2003
17EEFadi A. Aloul, Igor L. Markov, Karem A. Sakallah: FORCE: a fast and easy-to-implement variable-ordering heuristic. ACM Great Lakes Symposium on VLSI 2003: 116-119
16EEFadi A. Aloul, Igor L. Markov, Karem A. Sakallah: Shatter: efficient symmetry-breaking for boolean satisfiability. DAC 2003: 836-839
15 Fadi A. Aloul, Karem A. Sakallah, Igor L. Markov: Efficient Symmetry Breaking for Boolean Satisfiability. IJCAI 2003: 271-276
14EEFadi A. Aloul, Brian D. Sierawski, Karem A. Sakallah: Satometer: how much have we searched? IEEE Trans. on CAD of Integrated Circuits and Systems 22(8): 995-1004 (2003)
13EEFadi A. Aloul, Arathi Ramani, Igor L. Markov, Karem A. Sakallah: Solving difficult instances of Boolean satisfiability in the presence of symmetry. IEEE Trans. on CAD of Integrated Circuits and Systems 22(9): 1117-1137 (2003)
2002
12EEFadi A. Aloul, Arathi Ramani, Igor L. Markov, Karem A. Sakallah: Solving difficult SAT instances in the presence of symmetry. DAC 2002: 731-736
11EEFadi A. Aloul, Brian D. Sierawski, Karem A. Sakallah: Satometer: how much have we searched? DAC 2002: 737-742
10EEFadi A. Aloul, Maher N. Mneimneh, Karem A. Sakallah: Search-Based SAT Using Zero-Suppressed BDDs. DATE 2002: 1082
9EEFadi A. Aloul, Arathi Ramani, Igor L. Markov, Karem A. Sakallah: Generic ILP versus specialized 0-1 ILP: an update. ICCAD 2002: 450-457
8EEFadi A. Aloul, Igor L. Markov, Karem A. Sakallah: Improving the Efficiency of Circuit-to-BDD Conversion by Gate and Input Ordering. ICCD 2002: 64-69
7 Fadi A. Aloul, Maher N. Mneimneh, Karem A. Sakallah: ZBDD-Based Backtrack Search SAT Solver. IWLS 2002: 131-136
6 Fadi A. Aloul, Igor L. Markov, Karem A. Sakallah: Efficient Gate and Input Ordering for Circuit-to-BDD Conversion. IWLS 2002: 137-142
5EEFadi A. Aloul, Soha Hassoun, Karem A. Sakallah, David Blaauw: Robust SAT-Based Search Algorithm for Leakage Power Reduction. PATMOS 2002: 167-177
2001
4EEMaher N. Mneimneh, Fadi A. Aloul, Christopher T. Weaver, Saugata Chatterjee, Karem A. Sakallah, Todd M. Austin: Scalable Hybrid Verification of Complex Microprocessors. DAC 2001: 41-46
3EEFadi A. Aloul, Igor L. Markov, Karem A. Sakallah: Faster SAT and Smaller BDDs via Common Function Structure. ICCAD 2001: 443-448
2EEGi-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
2000
1EEKarem A. Sakallah, Fadi A. Aloul, João P. Marques Silva: An Experimental Study of Satisfiability Search Heuristics. DATE 2000: 745

Coauthor Index

1Mokhtar Aboelaze [28]
2Todd M. Austin [4]
3David Blaauw (David T. Blaauw) [5]
4Saugata Chatterjee [4]
5Soha Hassoun [5]
6Nagarajan Kandasamy [26] [31]
7Tak-John Koo [26]
8Igor L. Markov [3] [6] [8] [9] [12] [13] [15] [16] [17] [18] [20] [21] [22] [23] [24] [29] [30]
9Maher N. Mneimneh [4] [7] [10]
10Gi-Joon Nam [2] [19]
11Arathi Ramani [9] [12] [13] [20] [21] [22] [23] [29] [30]
12Bashar Al Rawi [28]
13Rob A. Rutenbar [2] [19]
14Assim Sagahyroon [25] [27]
15Karem A. Sakallah [1] [2] [3] [4] [5] [6] [7] [8] [9] [10] [11] [12] [13] [14] [15] [16] [17] [18] [19] [20] [21] [22] [23] [24] [29] [30]
16Brian D. Sierawski [11] [14]
17João P. Marques Silva (João Marques-Silva) [1]
18Christopher T. Weaver [4]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)