The SCEAS System
| |||||||

## Search the dblp DataBase
Fadi A. Aloul:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
## Publications of Author- Fadi A. Aloul, Arathi Ramani, Igor L. Markov, Karem A. Sakallah
**ShatterPB: symmetry-breaking for pseudo-Boolean formulas.**[Citation Graph (0, 0)][DBLP] ASP-DAC, 2004, pp:883-886 [Conf] - Fadi A. Aloul, Arathi Ramani, Igor L. Markov, Karem A. Sakallah
**Dynamic symmetry-breaking for improved Boolean optimization.**[Citation Graph (0, 0)][DBLP] ASP-DAC, 2005, pp:445-450 [Conf] - Fadi A. Aloul, Igor L. Markov, Karem A. Sakallah
**Shatter: efficient symmetry-breaking for boolean satisfiability.**[Citation Graph (0, 0)][DBLP] DAC, 2003, pp:836-839 [Conf] - Fadi A. Aloul, Arathi Ramani, Igor L. Markov, Karem A. Sakallah
**Solving difficult SAT instances in the presence of symmetry.**[Citation Graph (0, 0)][DBLP] DAC, 2002, pp:731-736 [Conf] - Fadi A. Aloul, Brian D. Sierawski, Karem A. Sakallah
**Satometer: how much have we searched?**[Citation Graph (0, 0)][DBLP] DAC, 2002, pp:737-742 [Conf] - Maher N. Mneimneh, Fadi A. Aloul, Chris Weaver, Saugata Chatterjee, Karem A. Sakallah, Todd M. Austin
**Scalable Hybrid Verification of Complex Microprocessors.**[Citation Graph (0, 0)][DBLP] DAC, 2001, pp:41-46 [Conf] - Fadi A. Aloul, Maher N. Mneimneh, Karem A. Sakallah
**Search-Based SAT Using Zero-Suppressed BDDs.**[Citation Graph (0, 0)][DBLP] DATE, 2002, pp:1082- [Conf] - Arathi Ramani, Fadi A. Aloul, Igor L. Markov, Karem A. Sakallah
**Breaking Instance-Independent Symmetries in Exact Graph Coloring.**[Citation Graph (0, 0)][DBLP] DATE, 2004, pp:324-331 [Conf] - Karem A. Sakallah, Fadi A. Aloul, João P. Marques Silva
**An Experimental Study of Satisfiability Search Heuristics.**[Citation Graph (0, 0)][DBLP] DATE, 2000, pp:745- [Conf] - Fadi A. Aloul, Igor L. Markov, Karem A. Sakallah
**FORCE: a fast and easy-to-implement variable-ordering heuristic.**[Citation Graph (0, 0)][DBLP] ACM Great Lakes Symposium on VLSI, 2003, pp:116-119 [Conf] - Fadi A. Aloul, Igor L. Markov, Karem A. Sakallah
**Faster SAT and Smaller BDDs via Common Function Structure.**[Citation Graph (0, 0)][DBLP] ICCAD, 2001, pp:443-448 [Conf] - Fadi A. Aloul, Arathi Ramani, Igor L. Markov, Karem A. Sakallah
**Generic ILP versus specialized 0-1 ILP: an update.**[Citation Graph (0, 0)][DBLP] ICCAD, 2002, pp:450-457 [Conf] - Fadi A. Aloul, Igor L. Markov, Karem A. Sakallah
**Improving the Efficiency of Circuit-to-BDD Conversion by Gate and Input Ordering.**[Citation Graph (0, 0)][DBLP] ICCD, 2002, pp:64-69 [Conf] - Fadi A. Aloul, Karem A. Sakallah, Igor L. Markov
**Efficient Symmetry Breaking for Boolean Satisfiability.**[Citation Graph (0, 0)][DBLP] IJCAI, 2003, pp:271-276 [Conf] - Gi-Joon Nam, Fadi A. Aloul, Karem A. Sakallah, Rob A. Rutenbar
**A comparative study of two Boolean formulations of FPGA detailed routing constraints.**[Citation Graph (0, 0)][DBLP] ISPD, 2001, pp:222-227 [Conf] - Fadi A. Aloul, Maher N. Mneimneh, Karem A. Sakallah
**ZBDD-Based Backtrack Search SAT Solver.**[Citation Graph (0, 0)][DBLP] IWLS, 2002, pp:131-136 [Conf] - Fadi A. Aloul, Igor L. Markov, Karem A. Sakallah
**Efficient Gate and Input Ordering for Circuit-to-BDD Conversion.**[Citation Graph (0, 0)][DBLP] IWLS, 2002, pp:137-142 [Conf] - Fadi A. Aloul, Soha Hassoun, Karem A. Sakallah, David Blaauw
**Robust SAT-Based Search Algorithm for Leakage Power Reduction.**[Citation Graph (0, 0)][DBLP] PATMOS, 2002, pp:167-177 [Conf] - Fadi A. Aloul, Igor L. Markov, Karem A. Sakallah
**MINCE: A Static Global Variable-Ordering Heuristic for SAT Search and BDD Manipulation.**[Citation Graph (0, 0)][DBLP] J. UCS, 2004, v:10, n:12, pp:1562-1596 [Journal] - Fadi A. Aloul, Karem A. Sakallah, Igor L. Markov
**Efficient Symmetry Breaking for Boolean Satisfiability.**[Citation Graph (0, 0)][DBLP] IEEE Trans. Computers, 2006, v:55, n:5, pp:549-558 [Journal] - Gi-Joon Nam, Fadi A. Aloul, Karem A. Sakallah, Rob A. Rutenbar
**A Comparative Study of Two Boolean Formulations of FPGA Detailed Routing Constraints.**[Citation Graph (0, 0)][DBLP] IEEE Trans. Computers, 2004, v:53, n:6, pp:688-696 [Journal] - Fadi A. Aloul, Arathi Ramani, Igor L. Markov, Karem A. Sakallah
**Solving difficult instances of Boolean satisfiability in the presence of symmetry.**[Citation Graph (0, 0)][DBLP] IEEE Trans. on CAD of Integrated Circuits and Systems, 2003, v:22, n:9, pp:1117-1137 [Journal] - Fadi A. Aloul, Brian D. Sierawski, Karem A. Sakallah
**Satometer: how much have we searched?**[Citation Graph (0, 0)][DBLP] IEEE Trans. on CAD of Integrated Circuits and Systems, 2003, v:22, n:8, pp:995-1004 [Journal] - Fadi A. Aloul, A. Sagahyroon
**Estimation of the weighted maximum switching activity in combinational CMOS circuits.**[Citation Graph (0, 0)][DBLP] ISCAS, 2006, pp:- [Conf] - Fadi A. Aloul, Nagaragan Kandasamy
**Sensor Deployment for Failure Diagnosis in Networked Aerial Robots: A Satisfiability-Based Approach.**[Citation Graph (0, 0)][DBLP] SAT, 2007, pp:369-376 [Conf] - Arathi Ramani, Igor L. Markov, Karem A. Sakallah, Fadi A. Aloul
**Breaking Instance-Independent Symmetries In Exact Graph Coloring.**[Citation Graph (0, 0)][DBLP] J. Artif. Intell. Res. (JAIR), 2006, v:26, n:, pp:289-322 [Journal] - Fadi A. Aloul, Arathi Ramani, Igor L. Markov, Karem A. Sakallah
**Symmetry breaking for pseudo-Boolean formulas.**[Citation Graph (0, 0)][DBLP] ACM Journal of Experimental Algorithms, 2007, v:12, n:, pp:- [Journal] - Fadi A. Aloul, Arathi Ramani, Karem A. Sakallah, Igor L. Markov
**Solution and Optimization of Systems of Pseudo-Boolean Constraints.**[Citation Graph (0, 0)][DBLP] IEEE Trans. Computers, 2007, v:56, n:10, pp:1415-1424 [Journal] **Exciting Stuck-Open faults in CMOS Circuits Using ILP Techniques.**[Citation Graph (, )][DBLP]**Sensor Selection and Placement for Failure Diagnosis in Networked Aerial Robots.**[Citation Graph (, )][DBLP]**Using mobiles for on campus location tracking.**[Citation Graph (, )][DBLP]**PN code acquisition using Boolean satisfiability techniques.**[Citation Graph (, )][DBLP]**Dynamic symmetry-breaking for Boolean satisfiability.**[Citation Graph (, )][DBLP]
Search in 0.004secs, Finished in 0.005secs | |||||||

| |||||||

| |||||||

System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002 for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002 |