Tag Info

3-sat Questions

Kyle Jones

6,0871 gold badge19 silver badges41 bronze badges

47	17	Yuval Filmus 208k15 gold badges202 silver badges369 bronze badges
27	1	Shaull 13.4k1 gold badge21 silver badges50 bronze badges
24	9	D.W.♦ 105k14 gold badges134 silver badges312 bronze badges
19	4	Juho 16.8k5 gold badges43 silver badges93 bronze badges
17	6	David Richerby 75k16 gold badges117 silver badges208 bronze badges
17	5	Kyle Jones 6,0871 gold badge19 silver badges41 bronze badges
17	3	Apass.Jack 19.3k2 gold badges13 silver badges50 bronze badges
16	2	Kaveh 18.3k3 gold badges44 silver badges100 bronze badges
12	1	sepp2k 1,49811 silver badges21 bronze badges
11	1	Carlos Linares López 2,9649 silver badges24 bronze badges
9	1	Petr Pudlák 1,89711 silver badges19 bronze badges
9	3	Tom van der Zanden 9,5231 gold badge21 silver badges43 bronze badges
8	1	A.Schulz 11.3k1 gold badge33 silver badges57 bronze badges
8	2	chi 13.2k21 silver badges33 bronze badges
7	2	Chris Jefferson 1863 bronze badges
7	3	Luke Mathieson 16.1k3 gold badges46 silver badges79 bronze badges
7	1	Shreesh 4,3971 gold badge5 silver badges16 bronze badges
6	1	adrianN 5,75713 silver badges26 bronze badges
6	1	Hans Hüttel 2,2754 silver badges14 bronze badges
5	1	Albert Hendriks 1,4165 silver badges29 bronze badges

rwallace

2341 silver badge8 bronze badges

19	1	Daniel 981 silver badge6 bronze badges
14	1	user11171 1761 gold badge1 silver badge5 bronze badges
14	1	Vor 10.4k1 gold badge24 silver badges54 bronze badges
10	1	TCSGrad 4026 silver badges14 bronze badges
9	2	SapereAude 1227 bronze badges
8	1	Yuval Filmus 208k15 gold badges202 silver badges369 bronze badges
8	2	Andrew 2221 silver badge5 bronze badges
7	1	rwallace 2341 silver badge8 bronze badges
6	1	Jane 333 bronze badges
6	2	Matt Groff 4002 silver badges12 bronze badges
5	1	sashas 1,7431 gold badge16 silver badges33 bronze badges
5	1	Ben Danon 551 silver badge5 bronze badges
5	1	Paradox 1401 silver badge5 bronze badges
5	2	vauge 2561 silver badge8 bronze badges
5	2	Brian 793 bronze badges
4	1	levi 463 bronze badges
4	1	qwe 232 bronze badges
4	1	Mark 2181 gold badge3 silver badges7 bronze badges
4	1	hengxin 7,1781 gold badge20 silver badges52 bronze badges
4	1	Curious 2442 silver badges11 bronze badges