← Back to papers
2024 IJCAI IJCAI 2024

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

🧭 Keyword Pioneer — circular resolution
🐝 Cross-Pollinator — Artificial Intelligence, Computer Science, Deep Learning, Healthcare & Medicine, Knowledge & Reasoning, Machine Learning, Mathematics & Optimization, Reinforcement Learning, Robotics

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

Related papers

Langshaw: Declarative Interaction Protocols Based on Sayso and Conflict 2024
A Successful Strategy for Multichannel Iterated Prisoner’s Dilemma 2024
Bring Metric Functions into Diffusion Models 2024
Fast One-Stage Unsupervised Domain Adaptive Person Search 2024
FreqFormer: Frequency-aware Transformer for Lightweight Image Super-resolution 2024