Tag Info

sat-solvers Questions

Yuval Filmus

275k27 gold badges304 silver badges499 bronze badges

105	20	Kyle Jones 8,0512 gold badges27 silver badges50 bronze badges
75	26	D.W.♦ 156k20 gold badges224 silver badges460 bronze badges
50	9	Juho 22.5k7 gold badges61 silver badges115 bronze badges
40	13	Yuval Filmus 275k27 gold badges304 silver badges499 bronze badges
24	2	Dave Clarke 20.2k4 gold badges67 silver badges113 bronze badges
24	3	Martin Berger 8,30827 silver badges45 bronze badges
22	2	Realz Slaw 6,19132 silver badges71 bronze badges
13	1	Ivan Smirnov 8875 silver badges12 bronze badges
12	5	vzn 11k1 gold badge25 silver badges50 bronze badges
12	2	Caleb Stanford 6,9582 gold badges28 silver badges50 bronze badges
11	1	Guy Coder 5,0912 gold badges28 silver badges64 bronze badges
10	1	Kaveh 22.2k4 gold badges50 silver badges110 bronze badges
7	2	orlp 12.7k1 gold badge23 silver badges38 bronze badges
6	1	Vijay D 8444 silver badges9 bronze badges
6	1	Ggouvine 4752 silver badges7 bronze badges
5	1	Pål GD 15.5k2 gold badges40 silver badges63 bronze badges
5	1	Opt 1,2669 silver badges12 bronze badges
4	1	Simon 2321 silver badge9 bronze badges
3	1	GManNickG 2691 silver badge11 bronze badges
3	1	Tom van der Zanden 13.2k1 gold badge35 silver badges54 bronze badges

1	1	Jack Sack 332 bronze badges
1	1	Meki21 112 bronze badges

51	2	D.W.♦ 156k20 gold badges224 silver badges460 bronze badges
21	1	Sami Liedes 3931 silver badge4 bronze badges
20	1	jkjk 3012 silver badges3 bronze badges
20	1	Bordaigorl 4254 silver badges14 bronze badges
13	1	Val 1
13	1	multsatsolv 1314 bronze badges
12	1	Omar Shehab 3261 silver badge10 bronze badges
12	3	Zirui Wang 9525 silver badges13 bronze badges
11	2	Jake 3,79019 silver badges35 bronze badges
11	1	Artem Kaznatcheev 4,8122 gold badges26 silver badges57 bronze badges
10	1	FELIPE N. 1354 bronze badges
9	1	Jessica Cage 933 bronze badges
8	1	Grigor Aghanyan 834 bronze badges
8	2	user118967 6415 silver badges13 bronze badges
8	1	user64231 811 bronze badge
7	1	Ari 1,6119 silver badges23 bronze badges
7	1	Archy Will He 何魏奇 6024 silver badges17 bronze badges
7	1	rwallace 3861 silver badge8 bronze badges
7	1	TomR 1,3817 silver badges16 bronze badges
6	1	Brendan McKay 1614 bronze badges