Gaussian Elimination Meets Maximum Satisfiability

Mate Soos, Kuldeep S. Meel. Gaussian Elimination Meets Maximum Satisfiability. In Meghyn Bienvenu, Gerhard Lakemeyer, Esra Erdem 0001, editors, Proceedings of the 18th International Conference on Principles of Knowledge Representation and Reasoning, KR 2021, Online event, November 3-12, 2021. pages 581-587, 2021. [doi]

Abstract

Abstract is missing.