corpus.blog
41554 blogs · 4,450,554 posts Claim your blog
Record · corpus.blog/posts/01a087ae-f1bd-715f-99be-e332f1d37025

The Hat, the Spectre and SAT solvers

Nicolás Hatcher · published 27 January 2024

A record is what was published and who pointed at it. The text of the post is not held here: read it at the source, or at its Wayback capture.

Read the post at nhatcher.com Wayback capture
0blogs citing
First cited
—
Most recent
—
Rank this month
not ranked
Links from this post
42
Words captured
3,637

Cited by

No blog we hold has cited this post yet.

Links from this post

Link
Host
https://www.nhatcher.com/hats/
nhatcher.com
https://github.com/nhatcher/hats
github.com
https://github.com/shnarazk/splr
github.com
https://github.com/shnarazk
github.com
https://en.wikipedia.org/wiki/David_Smith_(amateur_mathematician
en.wikipedia.org
https://arxiv.org/abs/2303.10798
arxiv.org
https://www.youtube.com/watch?v=48sCx-wBs34
youtube.com
https://www.youtube.com/watch?v=_ZS3Oqg1AX0
youtube.com
https://www.quantamagazine.org/hobbyist-finds-maths-elusive-einstein-tile-20230404/
quantamagazine.org
https://www.nytimes.com/2023/03/28/science/mathematics-tiling-einstein.html
nytimes.com
https://en.wikipedia.org/wiki/Penrose_tiling
en.wikipedia.org
https://en.wikipedia.org/wiki/SAT_solver
en.wikipedia.org
https://en.wikipedia.org/wiki/Conjunctive_normal_form
en.wikipedia.org
https://github.com/nhatcher/splr-wasm
github.com
https://www.nhatcher.com/hats/sat.html
nhatcher.com
https://en.wikipedia.org/wiki/Sudoku
en.wikipedia.org
https://github.com/nhatcher/hats/blob/main/sudoku.js
github.com
https://eli.thegreenplace.net/2022/sudoku-go-and-webassembly/
eli.thegreenplace.net
https://arxiv.org/abs/2105.09438
arxiv.org
Heesch Numbers of Unmarked Polyforms Read at the source ↗
isohedral.ca
https://en.wikipedia.org/wiki/Heesch%27s_problem
en.wikipedia.org
https://core.ac.uk/reader/82160310
core.ac.uk
https://en.wikipedia.org/wiki/Polyomino
en.wikipedia.org
https://en.wikipedia.org/wiki/Polyform
en.wikipedia.org
https://en.wikipedia.org/wiki/Kite_(geometry
en.wikipedia.org
https://www.hgreer.com/HatTile/
hgreer.com
https://github.com/Z3Prover/z3
github.com
https://en.wikipedia.org/wiki/Einstein_problem
en.wikipedia.org
https://arxiv.org/abs/2305.17743
arxiv.org
https://en.wikipedia.org/wiki/Tessellation
en.wikipedia.org
https://www.quantamagazine.org/math-that-goes-on-forever-but-never-repeats-20230523/
quantamagazine.org
https://cs.uwaterloo.ca/~csk/hat/
cs.uwaterloo.ca
https://www.borealisai.com/research-blogs/tutorial-9-sat-solvers-i-introduction-and-applications/
borealisai.com
https://cs.uwaterloo.ca/~csk/hat/app.html
cs.uwaterloo.ca
https://cs.uwaterloo.ca/~csk/hat/h7h8.html
cs.uwaterloo.ca
https://github.com/isohedral/hatviz
github.com
https://mathigon.org/polypad/8kVqVH2Mor6JTQ
mathigon.org
https://msoos.github.io/cryptominisat_web/
msoos.github.io
https://github.com/msoos/cryptominisat
github.com
Heesch Numbers of Unmarked Polyforms Read at the source ↗
isohedral.ca
https://arxiv.org/pdf/2105.09438.pdf
arxiv.org
https://www.nhatcher.com/hats/sudoku.html
nhatcher.com