clause with no literals

[Abrouie Masood]

Hi,


What should we consider as a clause with no literals?
For example: If there are too few clasues in the cnf file,
do we consider the rest as clauses with no litterals, or is
only a single zero counted as an empty clause.

Thanks,

Masood

[Alexander Smith]

I already answered this question in a post called "Re: questions about
errors" on Feb 6th. If you want to have an empty clause in the CNF
formula, then you must have a line in the .cnf file that only contains a
zero. If there are too few clauses, then the .cnf file has an error in it.

Alexander

Post by Abrouie Masood
Hi,
What should we consider as a clause with no literals?
For example: If there are too few clasues in the cnf file,
do we consider the rest as clauses with no litterals, or is
only a single zero counted as an empty clause.
Thanks,
Masood