Fadi A. Aloul

	2007
32		Fadi A. Aloul, Nagarajan Kandasamy: Sensor Deployment for Failure Diagnosis in Networked Aerial Robots: A Satisfiability-Based Approach. SAT 2007: 369-376
31		Fadi A. Aloul, Arathi Ramani, Igor L. Markov, Karem A. Sakallah: Symmetry breaking for pseudo-Boolean formulas. ACM Journal of Experimental Algorithmics 12: (2007)
30		Fadi 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)
29		Fadi A. Aloul, Bashar Al Rawi, Mokhtar Aboelaze: Routing in Optical and Non-Optical Networks using Boolean Satisfiability. JCM 2(4): 49-56 (2007)
28		Assim Sagahyroon, Fadi A. Aloul: Using SAT-based techniques in power estimation. Microelectronics Journal 38(6-7): 706-715 (2007)
	2006
27		Fadi A. Aloul, Assim Sagahyroon, Bashar Al Rawi: Exciting Stuck-Open faults in CMOS Circuits Using ILP Techniques. AICCSA 2006: 409-414
26		Nagarajan Kandasamy, Fadi A. Aloul, Tak-John Koo: Sensor Selection and Placement for Failure Diagnosis in Networked Aerial Robots. ICRA 2006: 2182-2187
25		Fadi A. Aloul, Assim Sagahyroon: Estimation of the weighted maximum switching activity in combinational CMOS circuits. ISCAS 2006
24		Fadi A. Aloul, Karem A. Sakallah, Igor L. Markov: Efficient Symmetry Breaking for Boolean Satisfiability. IEEE Trans. Computers 55(5): 549-558 (2006)
23		Arathi 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
22		Fadi A. Aloul, Arathi Ramani, Igor L. Markov, Karem A. Sakallah: Dynamic symmetry-breaking for improved Boolean optimization. ASP-DAC 2005: 445-450
	2004
21		Fadi A. Aloul, Arathi Ramani, Igor L. Markov, Karem A. Sakallah: ShatterPB: symmetry-breaking for pseudo-Boolean formulas. ASP-DAC 2004: 883-886
20		Arathi Ramani, Fadi A. Aloul, Igor L. Markov, Karem A. Sakallah: Breaking Instance-Independent Symmetries in Exact Graph Coloring. DATE 2004: 324-331
19		Gi-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)
18		Fadi 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
17		Fadi 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
16		Fadi 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
14		Fadi 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)
13		Fadi 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
12		Fadi A. Aloul, Arathi Ramani, Igor L. Markov, Karem A. Sakallah: Solving difficult SAT instances in the presence of symmetry. DAC 2002: 731-736
11		Fadi A. Aloul, Brian D. Sierawski, Karem A. Sakallah: Satometer: how much have we searched? DAC 2002: 737-742
10		Fadi A. Aloul, Maher N. Mneimneh, Karem A. Sakallah: Search-Based SAT Using Zero-Suppressed BDDs. DATE 2002: 1082
9		Fadi A. Aloul, Arathi Ramani, Igor L. Markov, Karem A. Sakallah: Generic ILP versus specialized 0-1 ILP: an update. ICCAD 2002: 450-457
8		Fadi 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
5		Fadi A. Aloul, Soha Hassoun, Karem A. Sakallah, David Blaauw: Robust SAT-Based Search Algorithm for Leakage Power Reduction. PATMOS 2002: 167-177
	2001
4		Maher 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
3		Fadi A. Aloul, Igor L. Markov, Karem A. Sakallah: Faster SAT and Smaller BDDs via Common Function Structure. ICCAD 2001: 443-448
2		Gi-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
1		Karem A. Sakallah, Fadi A. Aloul, João P. Marques Silva: An Experimental Study of Satisfiability Search Heuristics. DATE 2000: 745

Coauthor Index

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

Colors in the list of coauthors