Travelled to:
1 × Austria
Collaborated with:
A.Biere D.L.Berre N.Manthey
Talks about:
constraint (1) detect (1) cardin (1) cnf (1)
Person: Emmanuel Lonca
DBLP: Lonca:Emmanuel
Contributed to:
Wrote 1 papers:
- SAT-2014-BiereBLM #constraints #detection
- Detecting Cardinality Constraints in CNF (AB, DLB, EL, NM), pp. 285–301.