Login / Signup

Analysis of the implementability of descriptions with functional indeterminacy based on the verification of conjunctive normal form satisfiability.

Dmitry Ya. NovikovLiudmila D. Cheremisinova
Published in: Autom. Control. Comput. Sci. (2011)
Keyphrases
  • conjunctive normal form
  • satisfiability problem
  • linear programming