Repository logo
  • English
  • Deutsch
  • Español
  • Français
  • Log In
    New user? Click here to register.Have you forgotten your password?
Universidad Panamericana
  • Communities & Collections
  • Research Outputs
  • Fundings & Projects
  • Researchers
  • Statistics
  • Feedback
  • English
  • Deutsch
  • Español
  • Français
  1. Home
  2. Browse by Subject

Browsing by Subject "3-Sat"

Now showing 1 - 1 of 1
Results Per Page
Sort Options
  • No Thumbnail Available
    Some of the metrics are blocked by your 
    consent settings
    Publication
    A new hybridized algorithm based on Population-Based Simulated Annealing with an experimental study of phase transition in 3-SAT
    (2017)
    Martínez Ríos, Félix Orlando  
    This paper is about experiments for satisfiability problem using a new algorithm (GR-MM-PBSA) that improves the algorithm Population-Based Simulated Annealing (PBSA). GR-MM-PBSA runs in a parallel way Simulated Annealing (SA) and Threshold Annealing (TA) algorithms with a Golden Ratio space search strategy and Markovian Model to select initial and final temperature. In this paper we execute differents hybridized Simulated Annealing (or Threshold Accepting) algorithms and compares the efficiency of these, using a metric based on transition phase effect. Simulated Annealing Algorithms (SAA) theoretically can reach the optimum if the control parameters and cooling scheme are chosen correctly. All algorithms are compared with a metric based on transition phase obtained for 3-SAT instances. This paper shows the results of SAA hybridizations are more efficient than the original algorithm, without increasing their computational complexity. We also show the experimental data about runs with 820 3-SAT instances with ratio clauses-variables between 2.0 to 6.0.
    Scopus© Citations 7  28  1

Copyright 2024 Universidad Panamericana
Términos y condiciones | Política de privacidad | Reglamento General

Built with DSpace-CRIS software - Extension maintained and optimized by - Hosting & support SCImago Lab

  • Cookie settings
  • Privacy policy
  • End User Agreement
  • Send Feedback