Enumerating Prime Implicants of Propositional Formulae in Conjunctive Normal Form
Work
Year: 2014
Type: book-chapter
Institutions Université d'Artois, Centre National de la Recherche Scientifique, University College Dublin
Cites: 40
Cited by: 21
Related to: 10
FWCI: 3.903
Citation percentile (by year/subfield): 90.98
Subfield: Computational Theory and Mathematics
Field: Computer Science
Domain: Physical Sciences
Sustainable Development Goal Reduced inequalities
Open Access status: closed