{"id":1969,"date":"2023-06-14T17:21:03","date_gmt":"2023-06-14T15:21:03","guid":{"rendered":"https:\/\/aud2.ibr.cs.tu-bs.de\/?p=1969"},"modified":"2023-06-14T17:23:13","modified_gmt":"2023-06-14T15:23:13","slug":"uebung-backtracking-propagation-exkurs-sat","status":"publish","type":"post","link":"https:\/\/aud2.ibr.cs.tu-bs.de\/index.php\/2023\/06\/14\/uebung-backtracking-propagation-exkurs-sat\/","title":{"rendered":"\u00dcbung: Backtracking &#038; Propagation\/Exkurs SAT"},"content":{"rendered":"\n<p>In dieser \u00dcbung haben wir uns mit Backtracking &amp; Propagation als Ansatz zur L\u00f6sung schwerer Entscheidungsprobleme befasst.<br>Dann haben wir in einem kleinen Exkurs das Problem &#8216;Boolean Satisfiability (SAT)&#8217; betrachtet.<\/p>\n\n\n\n<p><a href=\"https:\/\/aud2.ibr.cs.tu-bs.de\/index.php\/go\/u4_pdf\/\">Folien<\/a><\/p>\n","protected":false},"excerpt":{"rendered":"<p>In dieser \u00dcbung haben wir uns mit Backtracking &amp; Propagation als Ansatz zur L\u00f6sung schwerer Entscheidungsprobleme befasst.Dann haben wir in einem kleinen Exkurs das Problem &#8216;Boolean Satisfiability (SAT)&#8217; betrachtet. Folien<\/p>\n","protected":false},"author":6,"featured_media":1971,"comment_status":"closed","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"site-sidebar-layout":"default","site-content-layout":"","ast-site-content-layout":"","site-content-style":"default","site-sidebar-style":"default","ast-global-header-display":"","ast-banner-title-visibility":"","ast-main-header-display":"","ast-hfb-above-header-display":"","ast-hfb-below-header-display":"","ast-hfb-mobile-header-display":"","site-post-title":"","ast-breadcrumbs-content":"","ast-featured-img":"","footer-sml-layout":"","theme-transparent-header-meta":"","adv-header-id-meta":"","stick-header-meta":"","header-above-stick-meta":"","header-main-stick-meta":"","header-below-stick-meta":"","astra-migrate-meta-layouts":"","footnotes":""},"categories":[1,14],"tags":[27,26],"publishpress_future_action":{"enabled":false,"date":"2024-03-26 14:57:54","action":"draft","terms":[],"taxonomy":"category"},"_links":{"self":[{"href":"https:\/\/aud2.ibr.cs.tu-bs.de\/index.php\/wp-json\/wp\/v2\/posts\/1969"}],"collection":[{"href":"https:\/\/aud2.ibr.cs.tu-bs.de\/index.php\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/aud2.ibr.cs.tu-bs.de\/index.php\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/aud2.ibr.cs.tu-bs.de\/index.php\/wp-json\/wp\/v2\/users\/6"}],"replies":[{"embeddable":true,"href":"https:\/\/aud2.ibr.cs.tu-bs.de\/index.php\/wp-json\/wp\/v2\/comments?post=1969"}],"version-history":[{"count":1,"href":"https:\/\/aud2.ibr.cs.tu-bs.de\/index.php\/wp-json\/wp\/v2\/posts\/1969\/revisions"}],"predecessor-version":[{"id":1970,"href":"https:\/\/aud2.ibr.cs.tu-bs.de\/index.php\/wp-json\/wp\/v2\/posts\/1969\/revisions\/1970"}],"wp:featuredmedia":[{"embeddable":true,"href":"https:\/\/aud2.ibr.cs.tu-bs.de\/index.php\/wp-json\/wp\/v2\/media\/1971"}],"wp:attachment":[{"href":"https:\/\/aud2.ibr.cs.tu-bs.de\/index.php\/wp-json\/wp\/v2\/media?parent=1969"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/aud2.ibr.cs.tu-bs.de\/index.php\/wp-json\/wp\/v2\/categories?post=1969"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/aud2.ibr.cs.tu-bs.de\/index.php\/wp-json\/wp\/v2\/tags?post=1969"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}