AAAI Publications

Araújo, Ricardo M., Federal University of Pelotas, Brazil

• Twenty-Fourth AAAI Conference on Artificial Intelligence - Student Abstracts
  Combining Human Reasoning and Machine Computation: Towards a Memetic Network Solution to Satisfiability
  Abstract  PDF