KR2021Proceedings of the 18th International Conference on Principles of Knowledge Representation and ReasoningProceedings of the 18th International Conference on Principles of Knowledge Representation and Reasoning

Online event. November 3-12, 2021.

Edited by
  1. Meghyn Bienvenu
  2. Gerhard Lakemeyer
  3. Esra Erdem

ISSN: 2334-1033
ISBN: 978-1-956792-99-7

Sponsored by
Published by

Copyright © 2021 International Joint Conferences on Artificial Intelligence Organization

Gaussian Elimination Meets Maximum Satisfiability

  1. Mate Soos(National University of Singapore)
  2. Kuldeep S. Meel(National University of Singapore)

Bibtex record

@inproceedings{KR2021-55,
    title     = {{Gaussian Elimination Meets Maximum Satisfiability}},
    author    = {Soos, Mate and Meel, Kuldeep S.},
    booktitle = {{Proceedings of the 18th International Conference on Principles of Knowledge Representation and Reasoning}},
    pages     = {581--587},
    year      = {2021},
    month     = {11},
    doi       = {10.24963/kr.2021/55},
    url       = {https://doi.org/10.24963/kr.2021/55},
  }
Go back