Notes
  • business
    • coding
      • concepts
        • design
          • drawings
            • obsidian
              • resources
                • stuff
                  • university
                    • Notes
                    • Working Note
                    Navigation

                    Tags

                    • All tags
                    • #Algorithmus(48)
                    • #Algorithmus, codesnippet, code, js, Python(1)
                    • #E(1)
                    • #Gemischt-ganzzahlige(1)
                    • #MOC(8)
                    • #P-hard(1)
                    • #bachelor(1)
                    • #code(1)
                    • #codesnippet, code, js, programmingassignment(5)
                    • #codesnippet, code, programmingassignment, js(1)
                    • #confirm(1)
                    • #data(1)
                    • #datascience(1)
                    • #excalidraw(14)
                    • #infovislearn(2)
                    • #keep(2)
                    • #lnsexam(1)
                    • #note(2)
                    • #note, datascience, keep(1)
                    • #paper(1)
                    • #programmingassignment(4)
                    • #question(4)
                    • #todo(21)
                    • #uebung(1)

                    On this page

                    1. university /
                    2. Logic /
                    3. Logical System /
                    4. Propositional Logic /
                    5. SAT

                    SAT

                    3 items

                    • Davis Putnam Procedure
                    • Erfüllbarkeitsproblem der Aussagenlogik
                    • Unit Propagation