The Finals Week Catastrophe: How SAT Solvers Tame Impossible Complexity

arnoudb (Arnoud Buzing) September 15, 2026, 7:52pm 1

1 Like

Topic		Replies	Views
[WSC21] Scheduling algorithm using combinatorial optimization Staff Picks graphics-and-visualization , graphs-and-networks , staff-pick , wolfram-high-school-summer-research-program , wolfram-repositories	2	12300	August 27, 2021
[WSC22] Generating Crossword Puzzles Out of a Given Set of Words Staff Picks game-development , equation-solving , graphs-and-networks , logic , staff-pick , wolfram-high-school-summer-research-program	3	14459	July 27, 2022
Chess queen armies with SAT solvers Staff Picks game-development , graphics-and-visualization , interface-construction , logic , staff-pick	7	12133	September 13, 2022
No-3-in-line problem solved for order 70 by Marijn Heule Staff Picks fun-and-play , graphics-and-visualization , staff-pick , events-and-media , wolfram-repositories , mathematics-and-foundations	1	1307	June 18, 2026
[WSG23] Daily Study Group: Introduction to Discrete Mathematics Ideas education , wolfram-u , discrete-mathematics , logic , events-and-media	60	29263	January 3, 2024