Open AccessApproche hybride pour SAT
Author(s) -
Gilles Audemard,
Jean-Marie Lagniez,
Bertrand Mazure
Publication year - 2010
Publication title -
hal (le centre pour la communication scientifique directe)
Language(s) - Uncategorized
Resource type - Conference proceedings
Subject(s) - tabu search , boolean satisfiability problem , dpll algorithm , computer science , satisfiability , focus (optics) , local search (optimization) , solver , maxima and minima , component (thermodynamics) , theoretical computer science , algorithm , mathematics , programming language , physics , telecommunications , mathematical analysis , phase locked loop , jitter , optics , thermodynamics