Satisfiability Checking - Fourier–Motzkin Variable Elimination
Satisfiability Checking - Fourier–Motzkin Variable Elimination
Satisfiability Checking - Fourier–Motzkin Variable Elimination
Create successful ePaper yourself
Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.
Adding the constraints<br />
2. For each pair of a lower bound aln < 0 and<br />
upper bound aun > 0, we have<br />
βl ≤ xn ≤ βu<br />
3. For each such pair, add the constraint<br />
βl ≤ βu<br />
Prof. Dr. Erika Ábrahám - <strong>Satisfiability</strong> <strong>Checking</strong> 8 / 10