Tag Info

sat-solvers Questions

4262 silver badges7 bronze badges

90	17	Kyle Jones 6,1071 gold badge19 silver badges41 bronze badges
51	16	D.W.♦ 112k14 gold badges144 silver badges329 bronze badges
40	8	Juho 18.2k5 gold badges46 silver badges94 bronze badges
31	10	Yuval Filmus 214k16 gold badges204 silver badges380 bronze badges
24	3	Martin Berger 7,51819 silver badges39 bronze badges
22	2	Realz Slaw 5,77623 silver badges66 bronze badges
21	2	Dave Clarke 19.2k3 gold badges56 silver badges110 bronze badges
10	1	Ivan Smirnov 4863 silver badges9 bronze badges
10	1	Guy Coder 4,7311 gold badge19 silver badges60 bronze badges
10	1	Kaveh 19.8k3 gold badges45 silver badges106 bronze badges
8	5	vzn 10.3k1 gold badge19 silver badges44 bronze badges
5	1	Vijay D 7743 silver badges8 bronze badges
5	1	Pål GD 7,42524 silver badges43 bronze badges
5	1	Opt 1,1968 silver badges11 bronze badges
4	2	orlp 8,0911 gold badge12 silver badges29 bronze badges
3	1	Curtis F 8304 silver badges15 bronze badges
3	2	alias 1665 bronze badges
3	1	mhum 1,6949 silver badges11 bronze badges
3	1	Max 482 bronze badges
3	1	RTK 3221 silver badge7 bronze badges

Ozzy

1311 bronze badge

43	2	D.W.♦ 112k14 gold badges144 silver badges329 bronze badges
20	1	jkjk 3012 silver badges3 bronze badges
18	1	Sami Liedes 3631 silver badge4 bronze badges
16	1	Bordaigorl 3853 silver badges12 bronze badges
12	1	multsatsolv 1214 bronze badges
11	3	Zirui Wang 6784 silver badges11 bronze badges
11	2	Jake 3,19314 silver badges30 bronze badges
11	1	Artem Kaznatcheev 4,5521 gold badge20 silver badges54 bronze badges
10	1	Val 1
9	1	FELIPE N. 1253 bronze badges
8	1	user64231 811 bronze badge
8	1	Grigor Aghanyan 834 bronze badges
8	2	user118967 6015 silver badges11 bronze badges
7	1	rwallace 3841 silver badge8 bronze badges
7	1	Jessica Cage 732 bronze badges
7	1	吖奇说 ARCHY SHUō 5903 silver badges16 bronze badges
7	1	Ari 1,4976 silver badges18 bronze badges
6	1	TomR 1,2455 silver badges11 bronze badges
6	1	DaZzz 1631 silver badge5 bronze badges
5	3	csTheoryBeginner 2791 silver badge10 bronze badges