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


538 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 (166k points)
Thank you for the response.

Related questions

0 votes
1 answer
0 votes
1 answer
Imprint | Privacy Policy