{"id":4604,"date":"2026-07-06T13:17:57","date_gmt":"2026-07-06T13:17:57","guid":{"rendered":"https:\/\/ifipaiai.org\/2026\/?post_type=aiovg_videos&#038;p=4604"},"modified":"2026-07-06T13:48:34","modified_gmt":"2026-07-06T13:48:34","slug":"the-strange-case-of-xor-cnf-formulas-sat-obfuscation-and-more","status":"publish","type":"aiovg_videos","link":"https:\/\/ifipaiai.org\/2026\/video\/the-strange-case-of-xor-cnf-formulas-sat-obfuscation-and-more\/","title":{"rendered":"The strange case of XOR-CNF formulas: SAT Obfuscation and more"},"content":{"rendered":"<div style=\"text-align: center;\"><a href=\"https:\/\/repository.ifipaiai.org\/2026\/abstr\/269BA433Po.html\" target=\"popup\" onclick=\"window.open('https:\/\/repository.ifipaiai.org\/2026\/abstr\/269BA433Po.html','popup','width=650,height=600'); return false;\" rel=\"noopener\">The strange case of XOR-CNF formulas: SAT Obfuscation and more<\/a><br \/>\nDimitriou Tassos<\/div>\n<div style=\"text-align: center;\"><a href=\"mailto:tassos.dimitriou@ieee.org\">tassos.dimitriou@ieee.org<\/a><\/div>\n","protected":false},"excerpt":{"rendered":"<p>The strange case of XOR-CNF formulas: SAT Obfuscation and more Dimitriou Tassos tassos.dimitriou@ieee.org<\/p>\n","protected":false},"author":3,"comment_status":"closed","ping_status":"closed","template":"","aiovg_categories":[12,24,25,17,26],"aiovg_tags":[],"_links":{"self":[{"href":"https:\/\/ifipaiai.org\/2026\/wp-json\/wp\/v2\/aiovg_videos\/4604"}],"collection":[{"href":"https:\/\/ifipaiai.org\/2026\/wp-json\/wp\/v2\/aiovg_videos"}],"about":[{"href":"https:\/\/ifipaiai.org\/2026\/wp-json\/wp\/v2\/types\/aiovg_videos"}],"author":[{"embeddable":true,"href":"https:\/\/ifipaiai.org\/2026\/wp-json\/wp\/v2\/users\/3"}],"replies":[{"embeddable":true,"href":"https:\/\/ifipaiai.org\/2026\/wp-json\/wp\/v2\/comments?post=4604"}],"wp:attachment":[{"href":"https:\/\/ifipaiai.org\/2026\/wp-json\/wp\/v2\/media?parent=4604"}],"wp:term":[{"taxonomy":"aiovg_categories","embeddable":true,"href":"https:\/\/ifipaiai.org\/2026\/wp-json\/wp\/v2\/aiovg_categories?post=4604"},{"taxonomy":"aiovg_tags","embeddable":true,"href":"https:\/\/ifipaiai.org\/2026\/wp-json\/wp\/v2\/aiovg_tags?post=4604"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}