Search for tag: "cnf"

ECS 220 9a:2-8.5 Geography game

+19 More
From  David Doty 0 likes 39 plays 0  

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

+19 More
From  David Doty 0 likes 70 plays 0  

ECS 220 3b:5.2-2 variants of Boolean satisfiability

+19 More
From  David Doty 0 likes 41 plays 0  

ECS 220 3b:5.2-1 from circuits to formulas

+19 More
From  David Doty 0 likes 38 plays 0  

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

+19 More
From  David Doty 0 likes 245 plays 0  

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

+19 More
From  David Doty 0 likes 80 plays 0  

ECS 220 2a:4.2-1 3-Coloring reduces to CNF-SAT

+19 More
From  David Doty 0 likes 140 plays 0  

ECS 220 1c:4.2-3 CNF-SAT

+19 More
From  David Doty 0 likes 86 plays 0  

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

+19 More
From  David Doty 0 likes 279 plays 0