conjunctive-normal-form

There are 14 repositories under conjunctive-normal-form topic.

  • thtran97/Knowledge-Compilers

    A Python (re-)implementation of some known knowledge compilers

    Language:Python7200

  • TimMerker/AutomatedReasoning

    In this bachelor thesis, I developed a toolkit for automated reasoning and interpolation with ordered resolution.

    Language:Java3100

  • Zumisha/First-order_predicate_calculus_to_CNF

    Program for converting formulas of the first-order predicate calculus into a conjunctive normal form.

    Language:C#3100

  • kaleb-asfaw/CNF-Solver

    Solves problems that are in conjunctive normal form (CNF)

    Language:Python110

  • maciej-nowak/LCS-Conjunctive-Normal-Form

    Converting formula into CNF using rules. Created at the University as the project within Logic in Computer Science classes in 2016. The purpose of this project was to learn converting formulas into CNF based on Prolog's rules.

    Language:Prolog130

  • matez0/decide-raw

    Generating decision making algorithms by evolutionary / genetic algorithm

    Language:Python1100

  • mirunamariafatu/Reduction-to-SAT-Problem

    University algorithm-oriented project that accurately detects complex networks of influential mafia families represented as vertices and edges of rare graphs. The algorithms are being reduced to the Satisfiability Problem using a boolean formula that will be evaluated by an SAT Solver, deciding whether the initial clause has been satisfied or not.

    Language:Java1100

  • PriorLax123/Propositional_Logic

    This Project shows an understanding of Propositional Logic, Conjunctive Normal Form, and The Resolution Refutation Method.

    Language:Java1101

  • SleekPanther/3-sat-certifier

    A Certifier algorithm to check a particular solution to the NP-Complete 3-Sat problem

    Language:Java1201

  • brandimarte/satisfyme

    A k-satisfiability solver based on Knuth dancing-links X algorithm.

    Language:C0100

  • Wils3B/TVdesFCN

    Création des tables de vérité des expressions logiques sous forme conjonctive

    Language:Java0130

  • AvaAvarai/Hyperblock_Parser

    Parses conjunctive normal form hyperblock notation to parallel coordinate graph visualizations. Hyperblocks are an interpretable way to build machine learning models.

    Language:Python1

  • lancejpollard/cnf.js

    Convert Proposition Trees to Conjunctive Normal Form (CNF) or Disjunctive Normal Form (DNF)

    Language:JavaScript30

  • meelgroup/SBVA

    Structured BVA CNF rewriter

    Language:C++002