[Kimura and Makino. "Linear Satisfiability Preserving Assignments (Extended Abstract)." International Joint Conference on Artificial Intelligence, 2018.](https://mlanthology.org/ijcai/2018/kimura2018ijcai-linear/) doi:10.24963/IJCAI.2018/797
@inproceedings{kimura2018ijcai-linear,
title = {{Linear Satisfiability Preserving Assignments (Extended Abstract)}},
author = {Kimura, Kei and Makino, Kazuhisa},
booktitle = {International Joint Conference on Artificial Intelligence},
year = {2018},
pages = {5622-5626},
doi = {10.24963/IJCAI.2018/797},
url = {https://mlanthology.org/ijcai/2018/kimura2018ijcai-linear/}
}