Si un CNF ne contient que des clauses de corne et de xor, alors quelle est la complexité de la détermination de la satisfabilité?
-
04-11-2019 - |
Question
Si un CNF ne contient que des clauses de corne et de xor et ne contient pas de clauses d'autres types, alors sa satisfabilité peut-elle être déterminée en temps polynomial?
Pas de solution correcte
Licencié sous: CC-BY-SA avec attribution
Non affilié à cs.stackexchange