Skip to content
conftrace_
2024 IJCAI IJCAI 2024

Weighted, Circular and Semi-Algebraic Proofs (Abstract Reprint)

Abstract

No abstract available. No abstract was captured for this paper when its proceedings were scraped - most often an older edition published without one online. How the corpus is built.

Authors

Ilario Bonacina, Maria Luisa Bonet, Jordi Levy

Topics

Mathematics & Optimization > Mathematics > Discrete Mathematics Mathematics & Optimization > Optimization > Combinatorial Optimization

Keywords

sat solver proof system circular resolution
Download PDF

More from IJCAI 2024

All IJCAI 2024 papers →
gSASRec: Reducing Overconfidence in Sequential Recommendation Trained with Negative Sampling (Extended Abstract)
Towards Efficient MCMC Sampling in Bayesian Neural Networks by Exploiting Symmetry (Extended Abstract)
On the Complexity of Finding Set Repairs for Data-Graphs (Abstract Reprint)
Learning to Resolve Social Dilemmas: A Survey (Abstract Reprint)
A differentiable first-order rule learner for inductive logic programming (Abstract Reprint)
SensorSCAN: Self-supervised learning and deep clustering for fault diagnosis in chemical processes (Abstract Reprint)