Amit Metodi

Identifiers

• name variant Amit Metodi 0.60 · backfill

Papers (4)

1. Boolean Equi-propagation for Concise and Efficient SAT Encodings of Combinatorial Problems cs.AI · 2014 · author #1
2. Compiling Finite Domain Constraints to SAT with BEE: the Director's Cut cs.PL · 2013 · author #3
3. Compiling Finite Domain Constraints to SAT with BEE cs.LO · 2012 · author #1
4. Boolean Equi-propagation for Optimized SAT Encoding cs.AI · 2011 · author #1

Mentions

• 1402.0568 #1 · backfill · confidence 0.70 Amit Metodi
• 1308.3937 #3 · backfill · confidence 0.70 Amit Metodi
• 1206.3883 #1 · backfill · confidence 0.70 Amit Metodi
• 1104.4617 #1 · backfill · confidence 0.70 Amit Metodi

Frequent Coauthors

• Michael Codish 4 shared papers
• Peter James Stuckey 1 shared papers
• Peter J. Stuckey 1 shared papers
• Vitaly Lagoon 1 shared papers
• Yoav Fekete 1 shared papers