TY  - RPRT
TI  - On Tackling the Limits of Resolution in SAT Solving
AU  - Alexey Ignatiev
AU  - Antonio Morgado
AU  - Joao Marques-Silva
PY  - 2017
UR  - https://arxiv.org/abs/1705.01477
ID  - 1705.01477
ER  -