{"version":"1.0","type":"link","title":"Sharp-SAT - Newikis","description":"Na teoria da complexidade computacional, #SAT, ou Sharp-SAT é um problema de função relacionado com o problema da satisfabilidade booleana.","provider_name":"Newikis","provider_url":"https://newikis.com","cache_age":86400}