Here you can ask questions and find or give answers to organizational, academic and other questions about studying computer science.

1.1k questions

1.2k answers

1.6k comments

510 users

0 votes
When we write the answers for dpll algorithm question is it mandatory to mention in each step why we are assigning 0/1 to literals? or is it enough to just give the values and continue?
in * TF "Emb. Sys. and Rob." by (380 points)

1 Answer

0 votes
I think you should write down what the step was. Just writing one of "case split on x", "unit propagation" or "pure literals" will do.
by (162k points)
Thank you for the response.
Imprint | Privacy Policy
...