• DocumentCode
    3733399
  • Title

    Modified Neural Net for the Boolean Satisfiability Problem

  • Author

    Mej?a-Lavalle;Jos? Ruiz ;Joaqu?n P?rez ;Marilu Cervantes S

  • fYear
    2015
  • Firstpage
    64
  • Lastpage
    69
  • Abstract
    A modified Hopfield Artificial Neural Network is proposed to solve effectively and efficiently Boolean Satisfiability (SAT) NP-hard problems. The proposed Neural Network is compared against other traditional methods employed in this field, such as Greedy SAT and Genetic Algorithms for SAT. The results show that the proposed network represents a good alternative given their output quality and response time speed.
  • Keywords
    "Artificial neural networks","Neurons","Genetic algorithms","Optimization","Algorithm design and analysis","Sun","Artificial intelligence"
  • Publisher
    ieee
  • Conference_Titel
    Mechatronics, Electronics and Automotive Engineering (ICMEAE), 2015 International Conference on
  • Print_ISBN
    978-1-4673-8328-8
  • Type

    conf

  • DOI
    10.1109/ICMEAE.2015.46
  • Filename
    7386196
    • Link To Document
    https://search.isc.ac/dl/search/defaultta.aspx?DTC=49&DC=3733399