search

StephanGocht / VeriPB

Verifier for pseudo-Boolean proofs
MIT License
12 stars 1 forks source link

Improving implication check #10

Open StephanGocht opened 4 years ago

StephanGocht commented 4 years ago

We might want to saturate constraints first before doing a syntactic implication check to get a slightly better check. Would it make sense to replace it by negation and rational feasibility check instead?

StephanGocht commented 4 years ago

Jo proposed that we could also consider the scaling of the constraint, i.e. figure out that 10x + 10y >= 10 is implied by x + y >= 1.