Search for tag: "2-sat"

mat180-2022-01-21 duration 40 minutes 37 seconds mat180-2022-01-21 mat180-2022-01-21	mat180-2022-01-21 variables clause literals formula clauses problem algebra x1 relation field f2 form thing clausal question phi k. 2-sat bit times From Matthias Koeppe 0 likes 0 plays 0