2-SAT — Forcing variable to be true

Revision en2, by tom, 2015-10-14 21:33:54

Hello,

I'm solving problem with 2-SAT algorithm and I need to be sure that some xi will be 1 (or 0). How can I make this happen with 2SAT algorithm? When I add "xi or xi", I put xi and not xi into one SCC and 2-SAT returns me that there is no solution. Is it possible?

Thanks

History

Revisions

Rev. Lang. By When Δ Comment
en2 tom 2015-10-14 21:33:54 21 Tiny change: 'at some $x$ will be ' -
en1 tom 2015-10-14 21:32:48 321 Initial revision (published)