Tabu Search for SAT

Mazure et al. "Tabu Search for SAT." AAAI Conference on Artificial Intelligence, 1997.

[Mazure et al. "Tabu Search for SAT." AAAI Conference on Artificial Intelligence, 1997.](https://mlanthology.org/aaai/1997/mazure1997aaai-tabu/)

@inproceedings{mazure1997aaai-tabu,
  title     = {{Tabu Search for SAT}},
  author    = {Mazure, Bertrand and Sais, Lakhdar and Grégoire, Éric},
  booktitle = {AAAI Conference on Artificial Intelligence},
  year      = {1997},
  pages     = {281-285},
  url       = {https://mlanthology.org/aaai/1997/mazure1997aaai-tabu/}
}