Tag Info

sat-solvers Questions

user3128

785 bronze badges

101	20	Kyle Jones 7,7752 gold badges24 silver badges47 bronze badges
65	20	D.W.♦ 138k18 gold badges185 silver badges395 bronze badges
48	9	Juho 21.9k7 gold badges56 silver badges110 bronze badges
36	11	Yuval Filmus 262k25 gold badges279 silver badges460 bronze badges
24	3	Martin Berger 8,06824 silver badges43 bronze badges
22	2	Dave Clarke 19.9k3 gold badges64 silver badges112 bronze badges
22	2	Realz Slaw 6,01129 silver badges67 bronze badges
11	5	vzn 10.8k1 gold badge23 silver badges49 bronze badges
11	2	6005 5,0052 gold badges20 silver badges41 bronze badges
11	1	Ivan Smirnov 7684 silver badges11 bronze badges
10	1	Guy Coder 4,9511 gold badge26 silver badges61 bronze badges
10	1	Kaveh 21.5k3 gold badges48 silver badges107 bronze badges
6	2	orlp 12.2k1 gold badge21 silver badges36 bronze badges
5	1	Opt 1,2469 silver badges11 bronze badges
5	1	Vijay D 8244 silver badges9 bronze badges
5	1	Pål GD 13.1k2 gold badges35 silver badges57 bronze badges
5	1	Gabriel Gouvine 4352 silver badges5 bronze badges
4	1	Simon 2327 bronze badges
3	1	Martin Seymour 3451 gold badge2 silver badges7 bronze badges
3	1	mhum 1,75410 silver badges11 bronze badges

Leop

534 bronze badges

49	2	D.W.♦ 138k18 gold badges185 silver badges395 bronze badges
21	1	Sami Liedes 3931 silver badge4 bronze badges
20	1	jkjk 3012 silver badges3 bronze badges
19	1	Bordaigorl 4154 silver badges12 bronze badges
12	1	multsatsolv 1214 bronze badges
12	3	Zirui Wang 8145 silver badges11 bronze badges
11	1	Artem Kaznatcheev 4,7322 gold badges23 silver badges54 bronze badges
11	1	Omar Shehab 3021 silver badge9 bronze badges
11	1	Val 1
11	2	Jake 3,67817 silver badges33 bronze badges
9	1	FELIPE N. 1253 bronze badges
8	2	user118967 6315 silver badges11 bronze badges
8	1	Grigor Aghanyan 834 bronze badges
8	1	user64231 811 bronze badge
7	1	Archy Will He 何魏奇 6024 silver badges17 bronze badges
7	1	rwallace 3861 silver badge8 bronze badges
7	1	Ari 1,5918 silver badges19 bronze badges
7	1	TomR 1,3417 silver badges13 bronze badges
7	1	Jessica Cage 733 bronze badges
6	1	DaZzz 1631 silver badge5 bronze badges