Login / Signup
Analysis of the implementability of descriptions with functional indeterminacy based on the verification of conjunctive normal form satisfiability.
Dmitry Ya. Novikov
Liudmila D. Cheremisinova
Published in:
Autom. Control. Comput. Sci. (2011)
Keyphrases
</>
conjunctive normal form
satisfiability problem
linear programming