Skip to main navigation Skip to search Skip to main content

Chasing Target Phases

  • Mathias Fleury (Speaker)
  • Armin Biere (Speaker)

Activity: Talk or presentation › Invited talk › science-to-science

Description

We discuss and evaluate the idea of target phases introduced first in CaDiCaL in 2019 and also ported to our latest SAT solver Kissat. Target phases provide a heuristic to choose the value assigned to decision variables. This technique is an extension of phase saving. It extends promising assignments derived by the solver towards full models. Combined with alternatively applying series of Glucose-style and Luby-style restart, the technique is particularly effective on satisfiable instances.
Period03 Jul 2020
Event title23nd International Conference on Theory and Applications of Satisfiability Testing
Event typeConference
LocationAustriaShow on map

Fields of science

  • 202006 Computer hardware
  • 603109 Logic
  • 102 Computer Sciences
  • 102031 Theoretical computer science
  • 102011 Formal languages
  • 102022 Software development
  • 102001 Artificial intelligence

Documents & Links