Travelled to:
1 × Italy
1 × USA
Collaborated with:
R.Greiner A.J.Grove B.Randerath E.Speckenmeyer E.Boros P.L.Hammer K.Makino B.Simeone O.Cepek
Talks about:
satisfi (1) problem (1) irrelev (1) exploit (1) formul (1) omiss (1) level (1) graph (1) data (1)
Person: Alexander Kogan
DBLP: Kogan:Alexander
Contributed to:
Wrote 2 papers:
- SAT-2001-RanderathSBHKMSC #graph #problem #satisfiability
- A Satisfiability Formulation of Problems on Level Graphs (BR, ES, EB, PLH, AK, KM, BS, OC), pp. 269–277.
- ICML-1996-GreinerGK
- Exploiting the Omission of Irrelevant Data (RG, AJG, AK), pp. 216–224.