resolution-proof

There are 0 repository under resolution-proof topic.

rebryant / pgbdd-artifact
Demonstration of BDD-based SAT solver that generates checkable proofs of unsatisfiability. Details provided in paper: R. E. Bryant and M. J. H. Heule, "Generating Extended Resolution Proofs in a BDD-based SAT Solver," TACAS 2021
satisfiability-solver resolution-proof binary-decision-diagrams
Language:Python 7
marcluque / YASER
Yet Another Sat solvER
smt smt-solver sat-solver sat theory-solver satisfiability formal-verification solver dpll-algorithm dpll-solver resolution-proof conflict-resolution cdcl-algorithm conflict-driven-clause-learning conflict-based-search first-order-logic propositional-logic propositional-resolution satisfiability-modulo-theories backtracking-search
Language:C 4
KrishnaJay / Inference-Engine
Prove or disprove the given query based on the knowledge base
artificial-intelligence cpp cpp14 first-order-logic inference-engine inference-rules parsing resolution-proof strings tokenizer unification-algorithm
Language:C++ 1
sameeravithana / FOL_Refutation_Prover
Refutation Prover for FOL using First-Order Resolution
first-order-logic resolution-proof refutation-resolution logical-reasoning
Language:Python 1
aparna0522 / First-Order-Logic-using-Resolution-Method
Decide the given statement is True or False depending on the given knowledge base, restricted to "For All" Statements. The Algorithm converts the given knowledge base into Resolution tree, and using the proof of restitution, we decide if the given statement is true or false.
artificial-intelligence first-order-logic proof-by-restitution resolution-proof
Language:C++ 0
georgehtaylor1 / Reasoning
dpll-proof resolution resolution-proof formula satisfiability parsing validity sat-solver dimacs
Language:Java 0
Mayank19j / resolution-refutation-prolog
resolution refutation is method of finding whether the given antecedent implies the consequent or not, it could also be used to check validity of the expressions.
resolution resolution-proof resolution-of-expressions resolution-refutation refutation-resolution logic logic-programming propositional-logic propositional-resolution propositional-proof-system validity tautology tautology-checking prolog
Language:Prolog 0
ParisaArbab / AI--First-Order-Logic-and-Prolog
Artificial Intelligence- First Order Logic and Prolog
ai artificial-intelligence first-order-logic prediction-model prolog refutation-resolution resolution-proof
0
animeshjn / resolution-theorem-prover
Proves the Sentences (LOGIC Formulae) given in Clausal Form
animesh artificial-intelligence clause-normal-form clisp lisp resolution-proof
Language:Common Lisp
limitedeternity / FOLEngine
Резолюционный прувер для логики первого порядка
first-order-logic resolution-proof cpp17
Language:C++
spacekookie / lrs
A library crate for resolving logical clauses in conjuctive normal form
rust logic resolution-proof
Language:Rust
Vedant2311 / SAT-solver-toolbox
Modeled the proof systems of Analytic-Tableaux, First-Order-Resolution, ROBDD etc. in Ocaml to efficiently solve the SAT problem
analytic-tableaux sat-solver hilbert-axioms natural-deduction resolution-proof propositional-logic proof-system robdd first-order-logic
Language:OCaml