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, Turkey, 5 - 08 April 2005, vol.1, pp.222-230

  • Publication Type: Conference Paper / Full Text
  • Volume: 1
  • City: İzmir
  • Country: Turkey
  • Page Numbers: pp.222-230
  • Istanbul Technical University Affiliated: Yes