A linear-time transformation of linear inequalities into conjunctive normal form (Q293409): Difference between revisions

From MaRDI portal
Importer (talk | contribs)
Created a new Item
 
Importer (talk | contribs)
Changed an Item
Property / Mathematics Subject Classification ID
 
Property / Mathematics Subject Classification ID: 68T15 / rank
 
Normal rank
Property / Mathematics Subject Classification ID
 
Property / Mathematics Subject Classification ID: 90C05 / rank
 
Normal rank
Property / Mathematics Subject Classification ID
 
Property / Mathematics Subject Classification ID: 90C27 / rank
 
Normal rank
Property / zbMATH DE Number
 
Property / zbMATH DE Number: 6590775 / rank
 
Normal rank
Property / zbMATH Keywords
 
satisfiability
Property / zbMATH Keywords: satisfiability / rank
 
Normal rank
Property / zbMATH Keywords
 
combinatorial optimization
Property / zbMATH Keywords: combinatorial optimization / rank
 
Normal rank
Property / zbMATH Keywords
 
automatic theorem proving
Property / zbMATH Keywords: automatic theorem proving / rank
 
Normal rank

Revision as of 20:18, 27 June 2023

scientific article
Language Label Description Also known as
English
A linear-time transformation of linear inequalities into conjunctive normal form
scientific article

    Statements

    A linear-time transformation of linear inequalities into conjunctive normal form (English)
    0 references
    0 references
    9 June 2016
    0 references
    satisfiability
    0 references
    combinatorial optimization
    0 references
    automatic theorem proving
    0 references

    Identifiers