Tag Info

sat-solvers Questions

D.W.♦

128k16 gold badges174 silver badges367 bronze badges

100	20	Kyle Jones 7,1251 gold badge22 silver badges45 bronze badges
62	20	D.W.♦ 128k16 gold badges174 silver badges367 bronze badges
47	9	Juho 20.7k7 gold badges53 silver badges104 bronze badges
33	10	Yuval Filmus 246k24 gold badges257 silver badges432 bronze badges
24	3	Martin Berger 7,90321 silver badges43 bronze badges
22	2	Realz Slaw 5,97627 silver badges67 bronze badges
22	2	Dave Clarke 19.6k3 gold badges59 silver badges112 bronze badges
11	1	Ivan Smirnov 5063 silver badges10 bronze badges
10	1	Kaveh 21k3 gold badges46 silver badges106 bronze badges
10	5	vzn 10.6k1 gold badge21 silver badges47 bronze badges
10	1	Guy Coder 4,8411 gold badge24 silver badges60 bronze badges
6	2	orlp 11.2k1 gold badge19 silver badges36 bronze badges
5	1	Opt 1,2469 silver badges11 bronze badges
5	1	Vijay D 8144 silver badges9 bronze badges
5	1	Gabriel Gouvine 4152 silver badges5 bronze badges
5	1	6005 3,9101 gold badge17 silver badges31 bronze badges
5	1	Pål GD 9,30126 silver badges48 bronze badges
4	1	Simon 2327 bronze badges
3	1	Max 482 bronze badges
3	1	RTK 3321 silver badge7 bronze badges

1	1	Manny 111 bronze badge
1	1	Russell Easterly 3152 silver badges9 bronze badges

47	2	D.W.♦ 128k16 gold badges174 silver badges367 bronze badges
20	1	jkjk 3012 silver badges3 bronze badges
19	1	Sami Liedes 3731 silver badge4 bronze badges
18	1	Bordaigorl 4054 silver badges12 bronze badges
12	1	multsatsolv 1214 bronze badges
11	1	Omar Shehab 2921 silver badge9 bronze badges
11	1	Val 1
11	3	Zirui Wang 7844 silver badges11 bronze badges
11	2	Jake 3,60816 silver badges33 bronze badges
11	1	Artem Kaznatcheev 4,6722 gold badges21 silver badges52 bronze badges
9	1	FELIPE N. 1253 bronze badges
8	1	Grigor Aghanyan 834 bronze badges
8	2	user118967 6215 silver badges11 bronze badges
8	1	user64231 811 bronze badge
7	1	Ari 1,5677 silver badges19 bronze badges
7	1	lo.fish の archywillhe 6024 silver badges17 bronze badges
7	1	Jessica Cage 733 bronze badges
7	1	rwallace 3861 silver badge8 bronze badges
6	3	csTheoryBeginner 3211 silver badge10 bronze badges
6	1	DaZzz 1631 silver badge5 bronze badges