A MaxSAT-based framework for computing circumscription

  1. Zhongtao Xie
  2. Yisong Wang
  3. Lei Yang
  4. Hongbo Hu
Read the full article See related articles

Discuss this preprint

Start a discussion What are Sciety discussions?

Listed in

This article is not in any list yet, why not save it to one of your lists.
Log in to save this article

Abstract

No abstract available

Article activity feed

  1. Version published to 10.1007/s10472-025-09997-3
  2. Version published to 10.21203/rs.3.rs-6226254/v1 on Research Square