TY  - RPRT
TI  - Using Monte Carlo method for searching partitionings of hard variants of Boolean satisfiability problem
AU  - Alexander Semenov
AU  - Oleg Zaikin
PY  - 2015
DO  - 10.1007/978-3-319-21909-7_21
UR  - https://arxiv.org/abs/1507.00862
ID  - 1507.00862
ER  -