On Davis-Putnam reductions for minimally unsatisfiable clause-sets (Q391124): Difference between revisions
From MaRDI portal
Created a new Item |
Changed an Item |
||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 03B35 / rank | |||
Normal rank | |||
Property / zbMATH DE Number | |||
Property / zbMATH DE Number: 6244028 / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
clause-sets (CNFs) | |||
Property / zbMATH Keywords: clause-sets (CNFs) / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
minimal unsatisfiability | |||
Property / zbMATH Keywords: minimal unsatisfiability / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
Davis-Putnam reduction | |||
Property / zbMATH Keywords: Davis-Putnam reduction / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
variable elimination | |||
Property / zbMATH Keywords: variable elimination / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
confluence | |||
Property / zbMATH Keywords: confluence / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
isomorphism | |||
Property / zbMATH Keywords: isomorphism / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
singular variables | |||
Property / zbMATH Keywords: singular variables / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
singular DP-reduction | |||
Property / zbMATH Keywords: singular DP-reduction / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
deficiency | |||
Property / zbMATH Keywords: deficiency / rank | |||
Normal rank |
Revision as of 15:07, 29 June 2023
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | On Davis-Putnam reductions for minimally unsatisfiable clause-sets |
scientific article |
Statements
On Davis-Putnam reductions for minimally unsatisfiable clause-sets (English)
0 references
10 January 2014
0 references
clause-sets (CNFs)
0 references
minimal unsatisfiability
0 references
Davis-Putnam reduction
0 references
variable elimination
0 references
confluence
0 references
isomorphism
0 references
singular variables
0 references
singular DP-reduction
0 references
deficiency
0 references