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.

Filter by
Sorted by
Tagged with
2 votes
0 answers

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 <...
Dani's user avatar
  • 121
2 votes
1 answer

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 ...
WebStormer's user avatar