Travelled to:1 × USA
Collaborated with:B.Randerath E.Speckenmeyer E.Boros A.Kogan K.Makino B.Simeone O.Cepek
Talks about:satisfi (1) problem (1) formul (1) level (1) graph (1)
Person: Peter L. Hammer
DBLP: Hammer:Peter_L=
Contributed to:
2001Wrote 1 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.