conftrace_

bounds consistency

1 paper

Explore in graph

Co-occurring keywords · papers mentioning both

proof logging (1) multiplication constraint (1) pseudo-boolean solver (1) constraint programming (1) sat solver (1)

Papers

Certifying Bounds Propagation for Integer Multiplication Constraints AAAI 2025