The finals week catastrophe: How SAT solvers tame impossible complexity

arnoudb · September 15, 2026, 7:52pm

wolframcommunity · September 16, 2026, 6:49pm

Congratulations! The Editorial Board has selected your contribution for Staff Picks. Your contribution now appears on the Featured Authors page, and Your profile carries the Staff-Picked badge. Thank you for sharing your work with Wolfram Community.

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	12333	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	14510	July 27, 2022
Chess queen armies with SAT solvers Staff Picks game-development , graphics-and-visualization , interface-construction , logic , staff-pick	7	12190	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	1333	June 18, 2026
Decently fast SAT solving for wang tiles Staff Picks computational-arts , discrete-mathematics , geometry , graphics-and-visualization , logic , staff-pick , computational-humanities	3	12155	June 22, 2022

The finals week catastrophe: How SAT solvers tame impossible complexity

Related topics