Timeline for Expressing an implication as ILP where each implication term comprises a chain of boolean ORs
Current License: CC BY-SA 4.0
8 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Oct 19, 2019 at 15:43 | history | edited | TheSimpliFire♦ | CC BY-SA 4.0 |
Improved TeX formatting
|
| Aug 26, 2019 at 12:57 | comment | added | YukiJ | @ephemeral I accidentally switched from $A$ to $B$, I corrected it now. Sorry! | |
| Aug 26, 2019 at 12:56 | history | edited | YukiJ | CC BY-SA 4.0 |
edited body
|
| Aug 26, 2019 at 12:51 | comment | added | ephemeral | Isn't $(a \implies b)=(\overline A \lor B)$? | |
| Aug 26, 2019 at 12:50 | comment | added | YukiJ | @RobPratt You are right, thank you! I introduced a factor of 3 in the constraint which should get rid of the problem. | |
| Aug 26, 2019 at 12:49 | history | edited | YukiJ | CC BY-SA 4.0 |
added 1 character in body
|
| Aug 26, 2019 at 12:46 | comment | added | RobPratt | Your final constraint is too strong. For example, it prevents $a=(1,1,1)$ with $b=(1,0,0)$. To correct this, you can change the right hand side to just $a_j$. | |
| Aug 26, 2019 at 12:30 | history | answered | YukiJ | CC BY-SA 4.0 |