Search for tag: "literals"

mat180-2022-01-21

+19 More
From  Matthias Koeppe 0 likes 3 plays 0  

mat180-2022-01-19

+19 More
From  Matthias Koeppe 0 likes 4 plays 0  

ECS 220 3b:5.4-4 Max-2-SAT

+19 More
From  David Doty 0 likes 73 plays 0  

ECS 220 2c:5.3-1 NAE-SAT is NP-complete

+19 More
From  David Doty 0 likes 269 plays 0  

ECS 220 2a:4.2-2 k-SAT for k=1,2,3

+19 More
From  David Doty 0 likes 84 plays 0  

ECS 120 8c:1 3SAT is reducible to IndSet

+19 More
From  David Doty 0 likes 389 plays 0  

ECS 120 8b:5 definition of the 3SAT problem

+19 More
From  David Doty 0 likes 347 plays 0