Integrating Systematic and Local Search Paradigms: A New Strategy for MaxSAT

Kroc et al. "Integrating Systematic and Local Search Paradigms: A New Strategy for MaxSAT." International Joint Conference on Artificial Intelligence, 2009.

[Kroc et al. "Integrating Systematic and Local Search Paradigms: A New Strategy for MaxSAT." International Joint Conference on Artificial Intelligence, 2009.](https://mlanthology.org/ijcai/2009/kroc2009ijcai-integrating/)

@inproceedings{kroc2009ijcai-integrating,
  title     = {{Integrating Systematic and Local Search Paradigms: A New Strategy for MaxSAT}},
  author    = {Kroc, Lukas and Sabharwal, Ashish and Gomes, Carla P. and Selman, Bart},
  booktitle = {International Joint Conference on Artificial Intelligence},
  year      = {2009},
  pages     = {544-551},
  url       = {https://mlanthology.org/ijcai/2009/kroc2009ijcai-integrating/}
}