90-XX OPERATIONS RESEARCH, MATHEMATICAL PROGRAMMING
Filtern
Erscheinungsjahr
- 2018 (1)
Dokumenttyp
- ZIB-Report (1)
Sprache
- Englisch (1)
Volltext vorhanden
- ja (1) (entfernen)
Gehört zur Bibliographie
- nein (1)
Schlagworte
- exact rational integer programming (1) (entfernen)
Institut
We establish a general computational framework for Chvátal’s conjecture based on exact rational integer programming. As a result we prove Chvátal’s conjecture holds for all downsets whose union of sets contains seven elements or less. The computational proof relies on an exact branch-and-bound certificate that allows for elementary verification and is independent of the integer programming solver used.