Skip to search formSkip to main contentSkip to account menu

Conjunctive normal form

Known as: CNF, Clausal form, 3-CNF 
In Boolean logic, a formula is in conjunctive normal form (CNF) or clausal normal form if it is a conjunction of clauses, where a clause is a… 
Wikipedia (opens in a new tab)

Related topics

Related topics

50 relations
(SAT, ε-UNSAT)2-satisfiabilityAPXAlgebraic normal form

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Highly Cited
2016
Highly Cited
2016
Photo-patternable and transparent films using cellulose nanofibers for stretchable origami electronics
Substantial progress in flexible or stretchable electronics over the past decade has extensively impacted various technologies… 
Highly Cited
2013
Highly Cited
2013
Composite Nonlinear Feedback Control and Stability Analysis of a Grid-Connected Voltage Source Inverter With $LCL$ Filter
In this paper, the stability analysis of a grid-connected voltage source inverter with an LCL filter is presented. The Poincare… 
Highly Cited
2012
Highly Cited
2012
MUSer2: An Efficient MUS Extractor
Algorithms for extraction of Minimally Unsatisfiable Subformulas (MUSes) of CNF formulas find a wide range of practical… 
Highly Cited
2010
Highly Cited
2010
Study of fire retardant behavior of carbon nanotube membranes and carbon nanofiber paper in carbon fiber reinforced epoxy composites
Highly Cited
2008
Highly Cited
2008
Conductivity enhancement of carbon nanotube and nanofiber-based polymer nanocomposites by melt annealing
2000
2000
Conjunctive Normal Form
A statement is in conjunctive normal form if it is a conjunction (sequence of ANDs) consisting of one or more conjuncts, each of… 
Highly Cited
1999
Highly Cited
1999
2D DNA self-assembly for satisfiability
DNA self-assembly has been proposed as a way to cope with huge combinatorial NP-HARD problems, such as satis ability. However… 
Highly Cited
1991
Highly Cited
1991
A Scheme for Feature Construction and a Comparison of Empirical Methods
A class of concept learning algorithms CL augments standard similarity-based techniques by performing feature construction based… 
Review
1981
Review
1981
Inductive Learning of Structural Descriptions: Evaluation Criteria and Comparative Review of Selected Methods
Highly Cited
1980
Highly Cited
1980
Recognizing Disguised NR(1) Instances of the Satisfiability Problem
By clicking accept or continuing to use the site, you agree to the terms outlined in our Privacy Policy (opens in a new tab), Terms of Service (opens in a new tab), and Dataset License (opens in a new tab)