Old Web
English
Sign In
Acemap
>
Paper
>
Tabu search and a quadratic relaxation for the Satisfiability Problem
Tabu search and a quadratic relaxation for the Satisfiability Problem
1996
Brigitte Jaumard
Mircea Stan
Jacques Desrosiers
Keywords:
Tabu search
Satisfiability
Guided Local Search
Mathematical optimization
Quadratic equation
Mathematics
Boolean satisfiability problem
Correction
Cite
Save
Machine Reading By IdeaReader
0
References
10
Citations
NaN
KQI
[]