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

Ilario Bonacina; Maria Luisa Bonet; Jordi Levy

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