Travelled to:1 × Austria
1 × Greece
1 × Switzerland
1 × USA
Collaborated with:A.A.Bulatov A.A.Krokhin L.W.G.Barton J.A.Caldwell J.Petke F.Börner K.S.B.Ng
Talks about:constraint (3) manuscript (2) tractabl (2) complex (2) chant (2) transcript (1) satisfact (1) algorithm (1) quantifi (1) problem (1)
Person: Peter Jeavons
DBLP: Jeavons:Peter
Contributed to:
2011
2003
2001
2000
20052007Wrote 6 papers:
- SAT-2011-PetkeJ #csp #encoding #order #satisfiability
- The Order Encoding: From Tractable CSP to Tractable SAT (JP, PJ), pp. 371–372.
- CSL-2003-BornerBJK #algorithm #complexity #constraints #quantifier
- Quantified Constraints: Algorithms and Complexity (FB, AAB, PJ, AAK), pp. 58–70.
- STOC-2001-BulatovKJ #complexity #constraints
- The complexity of maximal constraint languages (AAB, AAK, PJ), pp. 667–674.
- ICALP-2000-BulatovKJ #algebra #constraints #finite #problem
- Constraint Satisfaction Problems and Finite Algebras (AAB, AAK, PJ), pp. 272–282.
- JCDL-2005-BartonCJ
- E-library of medieval chant manuscript transcriptions (LWGB, JAC, PJ), pp. 320–329.
- JCDL-2007-BartonJCN
- First class objects and indexes for chant manuscripts (LWGB, PJ, JAC, KSBN), pp. 415–416.