Tag Info

3-sat Questions

4262 silver badges7 bronze badges

47	17	Yuval Filmus 213k16 gold badges204 silver badges376 bronze badges
28	1	Shaull 13.6k1 gold badge21 silver badges50 bronze badges
24	9	D.W.♦ 112k14 gold badges144 silver badges321 bronze badges
19	4	Juho 18.1k5 gold badges46 silver badges94 bronze badges
17	5	Kyle Jones 6,1071 gold badge19 silver badges41 bronze badges
17	6	David Richerby 76.1k17 gold badges117 silver badges208 bronze badges
17	3	Apass.Jack 19.6k2 gold badges14 silver badges50 bronze badges
16	2	Kaveh 19.8k3 gold badges45 silver badges103 bronze badges
12	1	sepp2k 1,60812 silver badges21 bronze badges
11	1	Carlos Linares López 3,07610 silver badges26 bronze badges
9	1	Petr Pudlák 1,93211 silver badges19 bronze badges
9	3	Tom van der Zanden 10.7k1 gold badge23 silver badges46 bronze badges
8	1	A.Schulz 11.4k1 gold badge33 silver badges59 bronze badges
8	2	chi 13.4k21 silver badges33 bronze badges
7	2	Chris Jefferson 1863 bronze badges
7	3	Luke Mathieson 16.3k3 gold badges46 silver badges78 bronze badges
7	1	Shreesh 4,4271 gold badge5 silver badges16 bronze badges
6	1	adrianN 5,81214 silver badges26 bronze badges
6	1	Hans Hüttel 2,2754 silver badges14 bronze badges
5	1	Albert Hendriks 2,0235 silver badges29 bronze badges

3	1	Ozzy 1311 bronze badge
1	1	Tanner 112 bronze badges

20	1	Daniel 3032 silver badges6 bronze badges
15	1	user11171 2611 gold badge2 silver badges5 bronze badges
14	1	Vor 11.6k1 gold badge24 silver badges54 bronze badges
10	1	TCSGrad 5626 silver badges15 bronze badges
9	2	SapereAude 1877 bronze badges
8	1	Yuval Filmus 213k16 gold badges204 silver badges376 bronze badges
8	2	Andrew 3371 silver badge5 bronze badges
7	1	rwallace 3841 silver badge8 bronze badges
6	1	Jane 633 bronze badges
6	2	Matt Groff 7454 silver badges13 bronze badges
5	1	sashas 2,5931 gold badge17 silver badges33 bronze badges
5	1	Ben Danon 1051 silver badge5 bronze badges
5	1	Paradox 1751 silver badge5 bronze badges
5	2	vauge 3911 silver badge8 bronze badges
5	2	Brian 1593 bronze badges
4	1	levi 913 bronze badges
4	1	qwe 432 bronze badges
4	1	Mark 3331 gold badge3 silver badges7 bronze badges
4	1	hengxin 8,4281 gold badge22 silver badges53 bronze badges
4	1	Curious 3742 silver badges11 bronze badges