Hochschule für Technik und Wirtschaft Berlin

University of Applied Sciences
DEEN
Menu
  • Hochschule
  • Campus
  • Studium
  • Lehre
  • Forschung
  • Karriere
  • International
Informationen für
  • Studieninteressierte
  • Studierende
  • Unternehmen
  • Alumni
  • Presse
  • Beschäftigte

Forschung

  • Aktuelles
  • Ausgewählte Projekte
  • Online-Forschungskatalog
    • Volltextsuche
    • Projekte
    • Publikationen
    • Patente
    • Vorträge & Veranstaltungen
    • Betreute Promotionen
    • Fachgebiete
    • Lehr- und Forschungsgebiete
    • Professor_innenprofile
  • Forschungsprofil
    • Leitlinien für die Forschung
    • Forschungsstrategie
    • Forschungsschwerpunkte
      • Digitale Technologien für Industrie und Gesellschaft
      • Technologien für Gesundheit und Leben
      • Erneuerbare Energien und Ressourceneffizienz
      • Design und Kultur
      • Nachhaltiges Wirtschaften, Unternehmertum und Zukunft der Arbeit
    • Forschungscluster
      • Creative Computing
      • GAME CHANGER
      • Industrielle Produktion
      • Kultur Islam
      • Money, Finance, Trade and Development
      • Sustainable Smart Cities
      • Gesundheit
      • Klimagerechte Energieversorgungssysteme und energieeffiziente Gebäude
      • Kultur und Informatik
      • SOFTINE
    • Forschungsgruppen
    • Einrichtungen
    • An-Institute
    • Forschungspreis
    • Arbeitskreise
  • Wissenstransfer
    • Veranstaltungen
    • Transfer über Köpfe
    • Gründung
    • Kooperationszentrum Wissenschaft - Praxis
    • Kooperationsplattformen
    • Patente
    • Deutschlandstipendium
    • Third Mission
    • Publikationen
    • Transferpreis
    • Wissenschaftskommunikation
    • KMU-Büro
  • Partnerschaften und Netzwerke
    • IFAF Berlin - Institut für Angewandte Forschung Berlin
    • Berlin Partner
    • Hochschulallianz HAWtech
    • FHnet
    • European University Association
  • Forschungsservice für Hochschulmitglieder
    • Forschungsförderung
      • EU-Förderung
      • Nationale Förderung
      • Interne Förderung
    • Kooperationen
    • Patente und Lizenzen
    • Forschungsevaluation
    • Forschungsdatenbank my.HTW
    • Messen und Veranstaltungen
    • Transfer- und Projektkommunikation
      • Der Newsletter "Forsch in die Zukunft"
      • Handreichung Wissenschaftskommunikation
  • Promotion
    • Einstiegsinformationen
    • Wege zur Promotion
    • Promotionsmöglichkeit finden
    • Promotion planen und vorbereiten
    • Promotion finanzieren

Forschung

  • Aktuelles
  • Ausgewählte Projekte
  • Online-Forschungskatalog
    • Volltextsuche
    • Projekte
    • Publikationen
    • Patente
    • Vorträge & Veranstaltungen
    • Betreute Promotionen
    • Fachgebiete
    • Lehr- und Forschungsgebiete
    • Professor_innenprofile
  • Forschungsprofil
    • Leitlinien für die Forschung
    • Forschungsstrategie
    • Forschungsschwerpunkte
      • Digitale Technologien für Industrie und Gesellschaft
      • Technologien für Gesundheit und Leben
      • Erneuerbare Energien und Ressourceneffizienz
      • Design und Kultur
      • Nachhaltiges Wirtschaften, Unternehmertum und Zukunft der Arbeit
    • Forschungscluster
      • Creative Computing
      • GAME CHANGER
      • Industrielle Produktion
      • Kultur Islam
      • Money, Finance, Trade and Development
      • Sustainable Smart Cities
      • Gesundheit
      • Klimagerechte Energieversorgungssysteme und energieeffiziente Gebäude
      • Kultur und Informatik
      • SOFTINE
    • Forschungsgruppen
    • Einrichtungen
    • An-Institute
    • Forschungspreis
    • Arbeitskreise
  • Wissenstransfer
    • Veranstaltungen
    • Transfer über Köpfe
    • Gründung
    • Kooperationszentrum Wissenschaft - Praxis
    • Kooperationsplattformen
    • Patente
    • Deutschlandstipendium
    • Third Mission
    • Publikationen
    • Transferpreis
    • Wissenschaftskommunikation
    • KMU-Büro
  • Partnerschaften und Netzwerke
    • IFAF Berlin - Institut für Angewandte Forschung Berlin
    • Berlin Partner
    • Hochschulallianz HAWtech
    • FHnet
    • European University Association
  • Forschungsservice für Hochschulmitglieder
    • Forschungsförderung
      • EU-Förderung
      • Nationale Förderung
      • Interne Förderung
    • Kooperationen
    • Patente und Lizenzen
    • Forschungsevaluation
    • Forschungsdatenbank my.HTW
    • Messen und Veranstaltungen
    • Transfer- und Projektkommunikation
      • Der Newsletter "Forsch in die Zukunft"
      • Handreichung Wissenschaftskommunikation
  • Promotion
    • Einstiegsinformationen
    • Wege zur Promotion
    • Promotionsmöglichkeit finden
    • Promotion planen und vorbereiten
    • Promotion finanzieren
  • HTW Berlin
  • Forschung
  • Online-Forschungskatalog
  • Vorträge & Veranstaltungen
    • Exact Mixed-Integer Programming over the Rational Numbers

Exact Mixed-Integer Programming over the Rational Numbers

Veranstaltungsbeitrag › Vortrag › 2021

Veranstaltung

Beyond Satisfiability
Simons Institute for the Theory of Computing, Berkeley, USA, 09.02.2021 - 11.05.2021

Ergänzende Angaben

Vortrag

Homepage

https://simons.berkeley.edu/workshops/sat-2021-1

Zugehörige Publikationen

  • A Computational Status Update for Exact Rational Mixed Integer Programming
    Konferenzbeitrag › Konferenzpaper › 2021

Kontakt

Ambros Gleixner
 Rufnummer: +49 30 5019-3908
Ambros.Gleixner@HTW-Berlin.de
Campus Wilhelminenhof
TGS Haus 1a/b, 403
Ostendstraße 25
12459 Berlin
nach oben

Über die HTW Berlin

Die HTW Berlin bietet Studium, Forschung und Weiterbildung in den Bereichen Wirtschaft, Ingenieurwesen, Informatik, Design, Kultur, Gesundheit, Energie & Umwelt, Recht, Bauen & Immobilien.

Studieren Sie in einem der 80 Studiengänge - Bachelor, Master, MBA. Forschen Sie in wissenschaftlichen Projekten. Oder besuchen Sie die Fortbildungen der Hochschule.

Beliebte Seiten

  • Akademischer Kalender
  • Aktuelles
  • Einrichtungen
  • Standorte
  • Studiengänge
  • Bewerbung
  • Stellenangebote

Portale

  • Campus Stories — Online-Magazin
  • Webmail
  • Moodle
  • LSF - Campus Management
  • WebOPAC
  • Mediathek
  • HTW.Intranet für Beschäftigte

Service

  • Bibliothek
  • Rechenzentrum
  • Studierenden-Service-Center
  • Studienberatung
  • Zentrum für berufsbegleitendes und weiterbildendes Studium
  • Hochschulsport
© HTW Berlin
  • Impressum
  • Datenschutzhinweise
  • Barrierefreiheit
  • Gebärdensprache
  • Leichte Sprache
  • Datenschutzeinstellungen ändern
DEEN

Themen

  • Hochschule
  • Campus
  • Studium
  • Lehre
  • Forschung
  • Karriere
  • International

Informationen für

  • Studieninteressierte
  • Studierende
  • Unternehmen
  • Alumni
  • Presse
  • Beschäftigte

Über die HTW Berlin

Die HTW Berlin bietet Studium, Forschung und Weiterbildung in den Bereichen Wirtschaft, Ingenieurwesen, Informatik, Design, Kultur, Gesundheit, Energie & Umwelt, Recht, Bauen & Immobilien.

Studieren Sie in einem der 80 Studiengänge - Bachelor, Master, MBA. Forschen Sie in wissenschaftlichen Projekten. Oder besuchen Sie die Fortbildungen der Hochschule.

Beliebte Seiten

  • Akademischer Kalender
  • Aktuelles
  • Einrichtungen
  • Standorte
  • Studiengänge
  • Bewerbung
  • Stellenangebote

Portale

  • Campus Stories — Online-Magazin
  • Webmail
  • Moodle
  • LSF - Campus Management
  • WebOPAC
  • Mediathek
  • HTW.Intranet für Beschäftigte

Service

  • Bibliothek
  • Rechenzentrum
  • Studierenden-Service-Center
  • Studienberatung
  • Zentrum für berufsbegleitendes und weiterbildendes Studium
  • Hochschulsport