Questions tagged [conjunctive-normal-form]
For questions about boolean formulas in a conjunctive normal form (CNF), i.e. a disjunction (ANDs) of literals, in the context of artificial intelligence.
2
questions with no upvoted or accepted answers
2
votes
0
answers
91
views
Can Q-learning and other RL algorithms solve CNF SAT?
I encountered a question about solving CNF SAT using reinforcement learning: A state is a partial substitution to the variables, and each action is choosing an empty variable and set its value (to <...
- 121
2
votes
1
answer
174
views
How to translate sudoku XV boards in CNF format?
I'm trying to implement the logic for a Sudoku XV puzzle, that it's essentially a standard sudoku with the addition of X and V markers between some pairs of squares. X markers in adjacent pairs ...
- 121