@TECHREPORT{CK00Tech41,
  author = {D. Achlioptas and A.D. Chtcherba and G. Istrate and C. Moore},
  title = {The {P}hase {T}ransition in 1-in-k SAT and NAE 3-SAT},
  institution = {Computer Science Dept., Univ. of New Mexico},
  address = {Albuquerque, New Mexico, USA},
  number = {TR-CS-2000-41},
  year = 2000,
}