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

  • Cilt numarası: 1
  • Basıldığı Şehir: İzmir
  • Basıldığı Ülke: Türkiye
  • Sayfa Sayıları: ss.222-230