2 papers
cs.AI2026
On inferring cumulative constraints
Konstantin Sidorov
Cumulative constraints are central in scheduling with constraint programming, yet propagation is typically performed per constraint, missing multi-resource interactions and causing…
cs.AI2024
How To Discover Short, Shorter, and the Shortest Proofs of Unsatisfiability: A Branch-and-Bound Approach for Resolution Proof Length Minimization
Konstantin Sidorov, Koos van der Linden, Gonçalo Homem de Almeida Correia +4
Modern software for propositional satisfiability problems gives a powerful automated reasoning toolkit, capable of outputting not only a satisfiable/unsatisfiable signal but also a…