José A. Alonso on Nostr: A SAT-based approach to rigorous verification of Bayesian networks. ~ Ignacy Stępka, ...
A SAT-based approach to rigorous verification of Bayesian networks. ~ Ignacy Stępka, Nicholas Gisolfi & Artur Dubrawski.
https://arxiv.org/abs/2408.00986 #ATP #SAT
Published at
2024-08-05 06:55:26Event JSON
{
"id": "9e1091d79d89a76e248577ddfd01d3f5a037c53c4aa4cf640c112e307c0201f4",
"pubkey": "0efb7bc903f4c6716cd4d07830d344d7abe5b607a156de3cde1ac1a5bf22ae1c",
"created_at": 1722840926,
"kind": 1,
"tags": [
[
"t",
"sat"
],
[
"t",
"atp"
],
[
"proxy",
"https://mathstodon.xyz/users/Jose_A_Alonso/statuses/112908102924373437",
"activitypub"
]
],
"content": "A SAT-based approach to rigorous verification of Bayesian networks. ~ Ignacy Stępka, Nicholas Gisolfi \u0026 Artur Dubrawski. https://arxiv.org/abs/2408.00986 #ATP #SAT",
"sig": "2c696e71da6759bd497cee3cffc02ca65df628ba6dd494b70a19b4232ca321fc92dba36c39f62418fc2af8a3473ffea0086144acd5db6bf24cc4e75c78dc0c7f"
}
