David Pereira

Identifiers

• name variant David Pereira 0.60 · backfill

Papers (1)

1. On Improving Local Search for Unsatisfiability cs.AI · 2009 · author #1

Mentions

• 0910.1244 #1 · backfill · confidence 0.70 David Pereira

Frequent Coauthors

• In\^es Lynce 1 shared papers
• Steven Prestwich 1 shared papers