Tag Info

3-sat Questions

plshelp

59210 bronze badges

55	21	Yuval Filmus 232k18 gold badges231 silver badges406 bronze badges
32	6	Kyle Jones 6,9051 gold badge21 silver badges44 bronze badges
30	1	Shaull 14.5k1 gold badge24 silver badges53 bronze badges
29	11	D.W.♦ 124k16 gold badges164 silver badges354 bronze badges
20	4	Juho 20.3k5 gold badges53 silver badges103 bronze badges
19	3	John L. 23.8k3 gold badges19 silver badges60 bronze badges
18	6	David Richerby 77.9k17 gold badges122 silver badges218 bronze badges
16	2	Kaveh 20.7k3 gold badges46 silver badges105 bronze badges
12	1	sepp2k 1,62813 silver badges21 bronze badges
11	1	Carlos Linares López 3,22611 silver badges26 bronze badges
11	3	Tom van der Zanden 12.4k1 gold badge30 silver badges49 bronze badges
9	1	Petr Pudlák 1,98212 silver badges20 bronze badges
9	3	Luke Mathieson 16.9k3 gold badges49 silver badges80 bronze badges
8	1	A.Schulz 11.7k1 gold badge35 silver badges61 bronze badges
8	2	chi 13.7k23 silver badges34 bronze badges
7	2	Chris Jefferson 1863 bronze badges
7	1	Shreesh 4,5321 gold badge7 silver badges17 bronze badges
6	1	adrianN 5,84214 silver badges27 bronze badges
6	1	Albert Hendriks 2,0946 silver badges30 bronze badges
6	1	Hans Hüttel 2,3805 silver badges15 bronze badges

Jbd

111 bronze badge

20	1	Daniel 3033 silver badges6 bronze badges
16	1	user11171 2711 gold badge2 silver badges5 bronze badges
14	1	Vor 11.8k1 gold badge25 silver badges56 bronze badges
13	2	Russell Easterly 2972 silver badges9 bronze badges
11	2	SapereAude 3071 silver badge7 bronze badges
10	1	TCSGrad 5726 silver badges15 bronze badges
8	1	Yuval Filmus 232k18 gold badges231 silver badges406 bronze badges
8	1	Paradox 2052 silver badges5 bronze badges
8	2	Andrew 3371 silver badge5 bronze badges
7	1	Jane 733 bronze badges
7	1	rwallace 3861 silver badge8 bronze badges
6	2	Matt Groff 7455 silver badges13 bronze badges
5	1	sashas 2,6731 gold badge19 silver badges38 bronze badges
5	1	Ben Danon 1051 silver badge6 bronze badges
5	2	vauge 3911 silver badge8 bronze badges
5	2	Brian 1593 bronze badges
5	1	Angel 531 silver badge3 bronze badges
5	1	MLStudent 1074 bronze badges
4	1	levi 913 bronze badges
4	1	qwe 432 bronze badges