Variable Neighborhood Search for the Probabilistic Satisfiability Problem

Dejan Jovanovic, Nenad Mladenovic, Zoran Ognjanovic. Variable Neighborhood Search for the Probabilistic Satisfiability Problem. In Karl F. Doerner, Michel Gendreau, Peter Greistorfer, Walter J. Gutjahr, Richard F. Hartl, Marc Reimann, editors, Metaheuristics. Volume 39 of Operations Research/Computer Science Interfaces Series, pages 173-188, Springer, 2007. [doi]

@incollection{JovanovicMO07,
  title = {Variable Neighborhood Search for the Probabilistic Satisfiability Problem},
  author = {Dejan Jovanovic and Nenad Mladenovic and Zoran Ognjanovic},
  year = {2007},
  doi = {10.1007/978-0-387-71921-4_9},
  url = {https://doi.org/10.1007/978-0-387-71921-4_9},
  researchr = {https://researchr.org/publication/JovanovicMO07},
  cites = {0},
  citedby = {0},
  pages = {173-188},
  booktitle = {Metaheuristics},
  editor = {Karl F. Doerner and Michel Gendreau and Peter Greistorfer and Walter J. Gutjahr and Richard F. Hartl and Marc Reimann},
  volume = {39},
  series = {Operations Research/Computer Science Interfaces Series},
  publisher = {Springer},
  isbn = {978-0-387-71919-1},
}