An Isomorphism-Invariant Distance Function on Propositional Formulas in CNF (Q6113549)
From MaRDI portal
scientific article; zbMATH DE number 7709959
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | An Isomorphism-Invariant Distance Function on Propositional Formulas in CNF |
scientific article; zbMATH DE number 7709959 |
Statements
An Isomorphism-Invariant Distance Function on Propositional Formulas in CNF (English)
0 references
11 July 2023
0 references
distance on CNF formulas
0 references
isomorphism invariants
0 references
per-instance algorithm selection
0 references
0 references
0 references
