An evolutionary local search algorithm for the satisfiability problem

AKSOY L., GÜNEŞ E. O.

14th Turkish Artificial Intelligence and Neural Network Symposium, TAINN 2005, İzmir, Türkiye, 5 - 08 Nisan 2005, cilt.1, ss.222-230

  • Yayın Türü: Bildiri / Tam Metin Bildiri
  • Cilt numarası: 1
  • Basıldığı Şehir: İzmir
  • Basıldığı Ülke: Türkiye
  • Sayfa Sayıları: ss.222-230
  • İstanbul Teknik Üniversitesi Adresli: Evet