BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Aloul:Fadi_A=

Contributed to:

SAT 20072007
DATE v1 20042004
DAC 20032003
DAC 20022002
DATE 20022002
SAT 20022002
DAC 20012001
DATE 20002000

Wrote 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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.