{"product_id":"solucionador-sat-polinomial-de-zhegalkin-von-jorge-fernandez","title":"Solucionador SAT polinomial de Zhegalkin","description":"\u003cp\u003eOs sistemas polinomiais são ferramentas fundamentais para a resolução de problemas difíceis em ciência e engenharia, como a robótica, o raciocínio automático, a inteligência artificial e o processamento de sinais. Do mesmo modo, desde os primórdios da era digital, as variáveis booleanas têm sido a base das operações informáticas. Assim, a aplicação de técnicas algébricas comuns à álgebra booleana é atualmente utilizada como um método para resolver sistemas complexos de equações booleanas que antes só podiam ser resolvidos utilizando técnicas de lógica booleana. O objetivo deste projeto é demonstrar que os polinómios de Zhegalkin (também conhecidos por Algebraic Normal Form - ANF) são uma forma alternativa de representar funções booleanas. Para testar a hipótese, foi desenvolvido um Zhegalkin SAT Solver (ZPSAT). Os resultados obtidos após os testes concluíram que o ZPSAT pode resolver uma conjunção de equações XOR de forma eficiente em termos de fiabilidade e tempo de computação. A heurística utilizada para construir o ZPSAT baseou-se principalmente nos conceitos utilizados pelas Fórmulas de Horn e num método de multiplicação rápida de dois polinómios ANF conhecido como transformada de Mobius.\u003c\/p\u003e\u003cdiv class=\"aw-variant-hidden-subtitle-div\" id=\"aw-variant-subtitle-9786206413769\"\u003e\u003ch3\u003eO Zhegalkin SAT Solver (ZPSAT) é uma alternativa eficiente para resolver sistemas de funções booleanas\u003c\/h3\u003e\u003c\/div\u003e","brand":"Autorenwelt Shop","offers":[{"title":"Softcover - 9786206413769","offer_id":47033736200517,"sku":"9786206413769","price":39.9,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0940\/0622\/files\/490951dd-4778-4f7d-9ac1-37bfa95eb91c.jpg?v=1758603962","url":"https:\/\/shop.autorenwelt.de\/en\/products\/solucionador-sat-polinomial-de-zhegalkin-von-jorge-fernandez","provider":"Autorenwelt Shop","version":"1.0","type":"link"}