XORifikasi adalah teknik untuk membuat fungsi atau rumus Boolean lebih sulit dengan mengganti setiap variabel dengan XOR k ≥ 2 variabel berbeda x 1 ⊕ … ⊕ x k .
Saya menyadari penggunaan teknik ini dalam kompleksitas bukti, terutama untuk mendapatkan ruang batas bawah untuk sistem bukti berbasis resolusi, misalnya, dalam makalah:
- Eli Ben-Sasson. Ukuran pengorbanan ruang untuk resolusi. STOC 2002, 457-464.
- Eli Ben-Sasson dan Jakob Nordström. Memahami Ruang dalam Kompleksitas Bukti: Pemisahan dan Pertukaran melalui Substitusi. ICS 2011, 401-416.
Apakah ada kegunaan lain dari teknik ini di daerah lain?