Jad Saklawi

Identifiers

• name variant Jad Saklawi 0.60 · backfill

Papers (1)

1. Model and Program Repair via SAT Solving cs.LO · 2007 · author #2

Mentions

• 0710.3332 #2 · arxiv_oai · confidence 0.70 Jad Saklawi
• 0710.3332 #2 · backfill · confidence 0.70 Jad Saklawi

Frequent Coauthors

• Paul C. Attie 1 shared papers