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é?

cs.stackexchange https://cs.stackexchange.com/questions/84146

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
scroll top