An Isomorphism-Invariant Distance Function on Propositional Formulas in CNF.
Evgeny DantsinAlexander WolpertPublished in: J. Satisf. Boolean Model. Comput. (2023)
Keyphrases
- distance function
- propositional formulas
- conjunctive normal form
- cnf formula
- propositional logic
- normal form
- propositional satisfiability
- nearest neighbor
- knn
- similarity search
- distance measure
- sat problem
- np complete
- knowledge compilation
- satisfiability problem
- data points
- max sat
- randomly generated
- industrial applications
- automated reasoning
- sat solvers
- learning algorithm
- belief revision
- relational databases
- data analysis