Philippe Chatalic, Laurent Simon. Multiresolution for SAT Checking. International Journal on Artificial Intelligence Tools, 10(4):451-481, 2001.
@article{ChatalicS01, title = {Multiresolution for SAT Checking}, author = {Philippe Chatalic and Laurent Simon}, year = {2001}, researchr = {https://researchr.org/publication/ChatalicS01}, cites = {0}, citedby = {0}, journal = {International Journal on Artificial Intelligence Tools}, volume = {10}, number = {4}, pages = {451-481}, }