Cuts from proofs: a complete and practical technique for solving linear inequalities over integers (Q453505): Difference between revisions
From MaRDI portal
Created a new Item |
Changed an Item |
||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 90C10 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 90C05 / rank | |||
Normal rank | |||
Property / zbMATH DE Number | |||
Property / zbMATH DE Number: 6087621 / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
linear inequalities over integers | |||
Property / zbMATH Keywords: linear inequalities over integers / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
algorithms | |||
Property / zbMATH Keywords: algorithms / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
constraint solving | |||
Property / zbMATH Keywords: constraint solving / rank | |||
Normal rank |
Revision as of 12:01, 30 June 2023
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Cuts from proofs: a complete and practical technique for solving linear inequalities over integers |
scientific article |
Statements
Cuts from proofs: a complete and practical technique for solving linear inequalities over integers (English)
0 references
27 September 2012
0 references
linear inequalities over integers
0 references
algorithms
0 references
constraint solving
0 references