Yoav Fekete
Identifiers
- name variant Yoav Fekete 0.60 · backfill
Papers (2)
- Compiling Finite Domain Constraints to SAT with BEE: the Director's Cut cs.PL · 2013 · author #2
- Optimal Base Encodings for Pseudo-Boolean Constraints cs.DM · 2010 · author #2
Mentions
Frequent Coauthors
- Michael Codish 2 shared papers
- Amit Metodi 1 shared papers
- Carsten Fuhs 1 shared papers
- Peter Schneider-Kamp 1 shared papers