José A. Alonso on Nostr: Evaluating SAT and SMT solvers on large-scale sudoku puzzles. ~ Liam Davis, Tairan ...
Published at
2025-01-16 08:05:55Event JSON
{
"id": "2302a856d2b64165027e3aad371d3787b87c02937dba9a81ec2146c64353e1a5",
"pubkey": "0efb7bc903f4c6716cd4d07830d344d7abe5b607a156de3cde1ac1a5bf22ae1c",
"created_at": 1737014755,
"kind": 1,
"tags": [
[
"t",
"smt"
],
[
"t",
"sat"
],
[
"proxy",
"https://mathstodon.xyz/users/Jose_A_Alonso/statuses/113836999044181249",
"activitypub"
]
],
"content": "Evaluating SAT and SMT solvers on large-scale sudoku puzzles. ~ Liam Davis, Tairan Ji. https://arxiv.org/abs/2501.08569 #SAT #SMT",
"sig": "c8ac9dc84e9703a3c9084de802e5ba8d151e0d13b3004d92c3ab9cddb41cac15a98806024cfd2fb662166e59452c3091acba1c00a402cfb94a640b000c2c713a"
}
