On Davis-Putnam reductions for minimally unsatisfiable clause-sets (Q391124): Difference between revisions
From MaRDI portal
Created a new Item |
ReferenceBot (talk | contribs) Changed an Item |
||||||||||||||
(12 intermediate revisions by 7 users not shown) | |||||||||||||||
aliases / en / 0 | aliases / en / 0 | ||||||||||||||
On Davis-Putnam Reductions for Minimally Unsatisfiable Clause-Sets | |||||||||||||||
description / en | description / en | ||||||||||||||
scientific article | scientific article; zbMATH DE number 6197760 | ||||||||||||||
Property / author | |||||||||||||||
Property / author: Zhao, Xishun / rank | |||||||||||||||
Property / title | |||||||||||||||
On Davis-Putnam Reductions for Minimally Unsatisfiable Clause-Sets (English) | |||||||||||||||
Property / title: On Davis-Putnam Reductions for Minimally Unsatisfiable Clause-Sets (English) / rank | |||||||||||||||
Normal rank | |||||||||||||||
Property / zbMATH Open document ID | |||||||||||||||
Property / zbMATH Open document ID: 1273.03050 / rank | |||||||||||||||
Normal rank | |||||||||||||||
Property / DOI | |||||||||||||||
Property / DOI: 10.1007/978-3-642-31612-8_21 / rank | |||||||||||||||
Normal rank | |||||||||||||||
Property / author | |||||||||||||||
Property / author: Zhao, Xishun / rank | |||||||||||||||
Normal rank | |||||||||||||||
Property / published in | |||||||||||||||
Property / published in: Theory and Applications of Satisfiability Testing – SAT 2012 / rank | |||||||||||||||
Normal rank | |||||||||||||||
Property / publication date | |||||||||||||||
12 August 2013
| |||||||||||||||
Property / publication date: 12 August 2013 / rank | |||||||||||||||
Normal rank | |||||||||||||||
Property / Mathematics Subject Classification ID | |||||||||||||||
Property / Mathematics Subject Classification ID: 03B35 / rank | |||||||||||||||
Normal rank | |||||||||||||||
Property / Mathematics Subject Classification ID | |||||||||||||||
Property / Mathematics Subject Classification ID: 03F20 / rank | |||||||||||||||
Normal rank | |||||||||||||||
Property / zbMATH DE Number | |||||||||||||||
Property / zbMATH DE Number: 6244028 / rank | |||||||||||||||
Normal rank | |||||||||||||||
Property / zbMATH DE Number | |||||||||||||||
Property / zbMATH DE Number: 6197760 / 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 | |||||||||||||||
Property / describes a project that uses | |||||||||||||||
Property / describes a project that uses: MiniSat / rank | |||||||||||||||
Normal rank | |||||||||||||||
Property / describes a project that uses | |||||||||||||||
Property / describes a project that uses: JBool / rank | |||||||||||||||
Normal rank | |||||||||||||||
Property / describes a project that uses | |||||||||||||||
Property / describes a project that uses: NiVER / rank | |||||||||||||||
Normal rank | |||||||||||||||
Property / MaRDI profile type | |||||||||||||||
Property / MaRDI profile type: MaRDI publication profile / rank | |||||||||||||||
Normal rank | |||||||||||||||
Property / OpenAlex ID | |||||||||||||||
Property / OpenAlex ID: W4246030944 / rank | |||||||||||||||
Normal rank | |||||||||||||||
Property / OpenAlex ID | |||||||||||||||
Property / OpenAlex ID: W3099604183 / rank | |||||||||||||||
Normal rank | |||||||||||||||
Property / arXiv ID | |||||||||||||||
Property / arXiv ID: 1202.2600 / rank | |||||||||||||||
Normal rank | |||||||||||||||
Property / cites work | |||||||||||||||
Property / cites work: Minimal non-two-colorable hypergraphs and minimal unsatisfiable formulas / rank | |||||||||||||||
Normal rank | |||||||||||||||
Property / cites work | |||||||||||||||
Property / cites work: Q3077976 / rank | |||||||||||||||
Normal rank | |||||||||||||||
Property / cites work | |||||||||||||||
Property / cites work: A Computing Procedure for Quantification Theory / rank | |||||||||||||||
Normal rank | |||||||||||||||
Property / cites work | |||||||||||||||
Property / cites work: An efficient algorithm for the minimal unsatisfiability problem for a subclass of CNF / rank | |||||||||||||||
Normal rank | |||||||||||||||
Property / cites work | |||||||||||||||
Property / cites work: Theory and Applications of Satisfiability Testing / rank | |||||||||||||||
Normal rank | |||||||||||||||
Property / cites work | |||||||||||||||
Property / cites work: Polynomial-time recognition of minimal unsatisfiable formulas with fixed clause-variable difference. / rank | |||||||||||||||
Normal rank | |||||||||||||||
Property / cites work | |||||||||||||||
Property / cites work: Elimination of Infrequent Variables Improves Average Case Performance of Satisfiability Algorithms / rank | |||||||||||||||
Normal rank | |||||||||||||||
Property / cites work | |||||||||||||||
Property / cites work: Q2741518 / rank | |||||||||||||||
Normal rank | |||||||||||||||
Property / cites work | |||||||||||||||
Property / cites work: Unit Refutations and Horn Sets / rank | |||||||||||||||
Normal rank | |||||||||||||||
Property / cites work | |||||||||||||||
Property / cites work: On subclasses of minimal unsatisfiable formulas / rank | |||||||||||||||
Normal rank | |||||||||||||||
Property / cites work | |||||||||||||||
Property / cites work: Q5503674 / rank | |||||||||||||||
Normal rank | |||||||||||||||
Property / cites work | |||||||||||||||
Property / cites work: Lean clause-sets: Generalizations of minimally unsatisfiable clause-sets / rank | |||||||||||||||
Normal rank | |||||||||||||||
Property / cites work | |||||||||||||||
Property / cites work: Upper and lower bounds on the complexity of generalised resolution and generalised constraint satisfaction problems / rank | |||||||||||||||
Normal rank | |||||||||||||||
Property / cites work | |||||||||||||||
Property / cites work: Constraint Satisfaction Problems in Clausal Form I: Autarkies and Deficiency / rank | |||||||||||||||
Normal rank | |||||||||||||||
Property / cites work | |||||||||||||||
Property / cites work: On Variables with Few Occurrences in Conjunctive Normal Forms / rank | |||||||||||||||
Normal rank | |||||||||||||||
Property / cites work | |||||||||||||||
Property / cites work: On Davis-Putnam reductions for minimally unsatisfiable clause-sets / rank | |||||||||||||||
Normal rank | |||||||||||||||
Property / cites work | |||||||||||||||
Property / cites work: Resolution-based lower bounds in MaxSAT / rank | |||||||||||||||
Normal rank | |||||||||||||||
Property / cites work | |||||||||||||||
Property / cites work: Q4583686 / rank | |||||||||||||||
Normal rank | |||||||||||||||
Property / cites work | |||||||||||||||
Property / cites work: Faster Extraction of High-Level Minimal Unsatisfiable Cores / rank | |||||||||||||||
Normal rank | |||||||||||||||
Property / cites work | |||||||||||||||
Property / cites work: Theory and applications of satisfiability testing -- SAT 2011. 14th international conference, SAT 2011, Ann Arbor, MI, USA, June 19--22, 2011. Proceedings / rank | |||||||||||||||
Normal rank | |||||||||||||||
Property / cites work | |||||||||||||||
Property / cites work: Theory and Applications of Satisfiability Testing / rank | |||||||||||||||
Normal rank | |||||||||||||||
Property / cites work | |||||||||||||||
Property / cites work: Minimal unsatisfiable formulas with bounded clause-variable difference are fixed-parameter tractable / rank | |||||||||||||||
Normal rank | |||||||||||||||
Property / cites work | |||||||||||||||
Property / cites work: Two tractable subclasses of minimal unsatisfiable formulas / rank | |||||||||||||||
Normal rank | |||||||||||||||
links / mardi / name | links / mardi / name | ||||||||||||||
Latest revision as of 05:44, 7 July 2024
scientific article; zbMATH DE number 6197760
- On Davis-Putnam Reductions for Minimally Unsatisfiable Clause-Sets
Language | Label | Description | Also known as |
---|---|---|---|
English | On Davis-Putnam reductions for minimally unsatisfiable clause-sets |
scientific article; zbMATH DE number 6197760 |
|
Statements
On Davis-Putnam reductions for minimally unsatisfiable clause-sets (English)
0 references
On Davis-Putnam Reductions for Minimally Unsatisfiable Clause-Sets (English)
0 references
10 January 2014
0 references
12 August 2013
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
0 references
0 references
0 references
0 references