@misc{indiciaeab182bc32e1f,
  title = {Using Monte Carlo method for searching partitionings of hard variants of Boolean satisfiability problem},
  author = {Alexander Semenov and Oleg Zaikin},
  year = {2015},
  doi = {10.1007/978-3-319-21909-7\_21},
  url = {https://arxiv.org/abs/1507.00862},
  note = {Source identifier: 1507.00862}
}