New Advances in Compiling CNF to Decomposable Negation Normal Form

Darwiche, A. (2004). New Advances in Compiling CNF to Decomposable Negation Normal Form. ECAI 2004.

Type

Conference paper

Intellectual base

Primary research

Year

2004

Link

no authoritative link yet

Cited by

1 citation across 1 artifact.

Domain-specific

• Sharp Satisfiability (#SAT)
  • Listed in the references but not attached to a specific claim.

Verification

This reference passed the adversarial substantiation pipeline: it was checked to exist and to support the claim it is attached to. See how references were verified.

Registry ID ref:68a24af44808 · see in the full table