Tag Info

sat-solvers Questions

100	20	Kyle Jones 7,4601 gold badge23 silver badges47 bronze badges
62	20	D.W.♦ 133k18 gold badges180 silver badges381 bronze badges
48	9	Juho 21.6k7 gold badges56 silver badges108 bronze badges
34	10	Yuval Filmus 255k25 gold badges268 silver badges448 bronze badges
24	3	Martin Berger 7,97822 silver badges43 bronze badges
22	2	Dave Clarke 19.8k3 gold badges61 silver badges112 bronze badges
22	2	Realz Slaw 5,97128 silver badges67 bronze badges
11	1	Ivan Smirnov 5163 silver badges10 bronze badges
10	5	vzn 10.7k1 gold badge22 silver badges48 bronze badges
10	1	Guy Coder 4,8911 gold badge25 silver badges60 bronze badges
10	1	Kaveh 21.3k3 gold badges48 silver badges107 bronze badges
6	2	orlp 11.9k1 gold badge20 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 10.9k30 silver badges52 bronze badges
5	1	6005 3,9501 gold badge17 silver badges31 bronze badges
5	1	Gabriel Gouvine 4252 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,73410 silver badges11 bronze badges

47	2	D.W.♦ 133k18 gold badges180 silver badges381 bronze badges
20	1	Sami Liedes 3831 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,7022 gold badges23 silver badges52 bronze badges
11	1	Omar Shehab 2921 silver badge9 bronze badges
11	1	Val 1
11	2	Jake 3,62817 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,5898 silver badges19 bronze badges
7	1	TomR 1,3416 silver badges13 bronze badges
7	1	Jessica Cage 733 bronze badges
6	1	DaZzz 1631 silver badge5 bronze badges