Travelled to:1 × Italy
1 × Spain
Collaborated with:Z.Galil Y.Ben-Haim A.Ivrii A.Matsliah
Talks about:constraint (1) algorithm (1) problem (1) perfect (1) subset (1) linear (1) cardin (1) almost (1) encod (1) time (1)
Person: Oded Margalit
DBLP: Margalit:Oded
Contributed to:
2012
1991Wrote 2 papers:
- SAT-2012-Ben-HaimIMM #constraints #encoding
- Perfect Hashing and CNF Encodings of Cardinality Constraints (YBH, AI, OM, AM), pp. 397–409.
- ICALP-1991-GalilM #algorithm #linear #problem
- An Almost Linear-Time Algorithm for the Dense Subset-Sum Problem (ZG, OM), pp. 719–727.