Travelled to:1 × Portugal
3 × France
4 × USA
Collaborated with:K.A.Sakallah A.Ramani I.L.Markov K.Sakallah N.Kandasamy M.N.Mneimneh I.Markov B.D.Sierawski B.Sierawski J.P.M.Silva C.T.Weaver S.Chatterjee T.M.Austin
Talks about:search (5) symmetri (4) satisfi (3) instanc (3) sat (3) difficult (2) backtrack (2) presenc (2) boolean (2) solver (2)
Person: Fadi A. Aloul
DBLP: Aloul:Fadi_A=
Contributed to:
2007
2004
200320022002200220012000Wrote 11 papers:
- SAT-2007-AloulK #approach #deployment #satisfiability
- Sensor Deployment for Failure Diagnosis in Networked Aerial Robots: A Satisfiability-Based Approach (FAA, NK), pp. 369–376.
- DATE-v1-2004-RamaniAMS #graph #independence #symmetry
- Breaking Instance-Independent Symmetries in Exact Graph Coloring (AR, FAA, ILM, KAS), pp. 324–331.
- DAC-2003-AloulMS #named #performance #satisfiability #symmetry
- Shatter: efficient symmetry-breaking for boolean satisfiability (FAA, ILM, KAS), pp. 836–839.
- DAC-2002-AloulRMS #satisfiability #symmetry
- Solving difficult SAT instances in the presence of symmetry (FAA, AR, ILM, KAS), pp. 731–736.
- DAC-2002-AloulSS #how #named #question
- Satometer: how much have we searched? (FAA, BDS, KAS), pp. 737–742.
- DATE-2002-AloulMS #satisfiability #search-based #using
- Search-Based SAT Using Zero-Suppressed BDDs (FAA, MNM, KAS), p. 1082.
- SAT-2002-AloulRMS #satisfiability #symmetry
- Solving difficult SAT instances in the presence of symmetry (FAA, AR, IM, KS), p. 23.
- SAT-2002-AloulRMS1 #backtracking #named
- PBS: A backtrack-search psuedo-Boolean solver and optimizer (FAA, AR, IM, KS), p. 37.
- SAT-2002-AloulSS #backtracking
- A tool for measuring progress of backtrack-search solvers (FAA, BS, KS), p. 28.
- DAC-2001-MneimnehAWCSA #hybrid #scalability #verification
- Scalable Hybrid Verification of Complex Microprocessors (MNM, FAA, CTW, SC, KAS, TMA), pp. 41–46.
- DATE-2000-SakallahAS #case study #heuristic #satisfiability
- An Experimental Study of Satisfiability Search Heuristics (KAS, FAA, JPMS), p. 745.