Tag Info

sat-solvers Questions

9	1	Kyle Jones 6,0871 gold badge19 silver badges41 bronze badges
1	1	D.W.♦ 106k14 gold badges135 silver badges315 bronze badges
1	1	Yuval Filmus 208k15 gold badges202 silver badges369 bronze badges

89	17	Kyle Jones 6,0871 gold badge19 silver badges41 bronze badges
51	16	D.W.♦ 106k14 gold badges135 silver badges315 bronze badges
40	8	Juho 16.8k5 gold badges43 silver badges93 bronze badges
31	10	Yuval Filmus 208k15 gold badges202 silver badges369 bronze badges
24	3	Martin Berger 7,28519 silver badges38 bronze badges
22	2	Realz Slaw 4,85623 silver badges65 bronze badges
21	2	Dave Clarke 17.3k3 gold badges56 silver badges109 bronze badges
10	1	Ivan Smirnov 4563 silver badges9 bronze badges
10	1	Guy Coder 3,2261 gold badge19 silver badges58 bronze badges
10	1	Kaveh 18.3k3 gold badges44 silver badges100 bronze badges
7	5	vzn 9,6141 gold badge19 silver badges42 bronze badges
5	1	Opt 1,1468 silver badges11 bronze badges
5	1	Vijay D 7743 silver badges8 bronze badges
5	1	Pål GD 7,41523 silver badges42 bronze badges
4	2	orlp 7,2821 gold badge11 silver badges28 bronze badges
3	1	mhum 1,6948 silver badges11 bronze badges
3	1	Martin Seymour 1351 silver badge7 bronze badges
3	1	RTK 1807 bronze badges
3	1	Max 482 bronze badges
3	2	alias 1665 bronze badges

7	1	rwallace 2341 silver badge8 bronze badges
2	1	Zachary Hunter 12412 bronze badges
1	1	Sasha the Noob 2981 gold badge4 silver badges8 bronze badges

41	2	D.W.♦ 106k14 gold badges135 silver badges315 bronze badges
19	1	jkjk 1961 silver badge3 bronze badges
17	1	Sami Liedes 2281 silver badge4 bronze badges
15	1	Bordaigorl 3003 silver badges12 bronze badges
12	1	multsatsolv 614 bronze badges
11	2	Jake 2,33613 silver badges30 bronze badges
11	1	Artem Kaznatcheev 3,5071 gold badge20 silver badges51 bronze badges
11	3	Zirui Wang 3772 silver badges11 bronze badges
10	1	Val 1
9	1	FELIPE N. 653 bronze badges
8	2	user118967 3513 silver badges11 bronze badges
8	1	Grigor Aghanyan 434 bronze badges
8	1	user64231 411 bronze badge
7	1	Archy Will He 4503 silver badges15 bronze badges
7	1	rwallace 2341 silver badge8 bronze badges
7	1	Ari 8275 silver badges18 bronze badges
7	1	Jessica Cage 382 bronze badges
6	1	DaZzz 1331 silver badge5 bronze badges
6	1	TomR 5353 silver badges11 bronze badges
5	1	Jonathan Gallagher 3131 silver badge8 bronze badges