Paper: Towards a more efficient approach for the satisfiability of two-variable logic (at LICS 2021)
Authors: Ting-Wei Lin Chia-Hsuan Lu Tony Tan
Abstract
No Abstract Available
BibTeX
@InProceedings{LinLuTan-Towardsamoreefficie, author = {Ting-Wei Lin and Chia-Hsuan Lu and Tony Tan}, title = {Towards a more efficient approach for the satisfiability of two-variable logic}, booktitle = {Proceedings of the Thirty sixth Annual IEEE Symposium on Logic in Computer Science (LICS 2021)}, year = {2021}, month = {June}, pages = {1--13}, location = {Rome, Italy}, publisher = {IEEE Computer Society Press} }