Travelled to:1 × Brazil
1 × USA
Collaborated with:R.Barták B.Randerath E.Speckenmeyer E.Boros P.L.Hammer A.Kogan K.Makino B.Simeone
Talks about:tractabl (1) recognit (1) satisfi (1) problem (1) network (1) tempor (1) formul (1) altern (1) level (1) graph (1)
Person: Ondrej Cepek
DBLP: Cepek:Ondrej
Contributed to:
2008
2001Wrote 2 papers:
- SAC-2008-BartakC #network #recognition
- Nested temporal networks with alternatives: recognition and tractability (RB, OC), pp. 156–157.
- 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.