Hanit Banga issues

Repositories
Issues
Comments

Results 1 issues of


                                            Hanit Banga

2-Sat assignment of variables is incorrect

2-Sat incorrectly assigns values to variables in some cases where answer is YES, here is a small test case: TwoSat TS(6); TS.impl(0, 4); TS.impl(2, 5); The constructed solution assigns True...