Mantık ve bilgisayar biliminde, Boolean doğrulanabilirlik problemi (Boolean satisfiability problem) belirli bir Boole formülünü karşılayan bir yorum olup olmadığını belirleme problemidir.
QTurkey, Türkiye’deki kuantum teknolojileriyle ilgili faaliyetler için bir iletişim ve işbirliği ağıdır. “Kuantum Programlamaya Giriş” çalıştayları düzenliyor, ilgili konulardaki ilgili öğrenciler için çalışma grupları ve toplantılar organize ediyoruz ve ülke düzeyinde kuantum meraklıları için bir buluşma alanı oluşturabilme amacıyla hareket ediyoruz.