A tour of pseudo-Boolean reasoning
Session date: 22 January 2024
Session host: Emir Demirović
Summary:
Following up on the recent session on integrating pseudo-Boolean reasoning and MIP solving, we take a closer look at the way pseudo-Boolean solvers infer new inequalities and the similarities of this process with CDCL.