Zur Hauptnavigation wechseln Zur Suche wechseln Zum Hauptinhalt wechseln

Redundancy in Clausal Proofs and Satisfaction Driven Clause Learning

  • Armin Biere (Vortragende*r)

Aktivität: Vortrag oder Präsentation › Vortrag nach Bewerbung und Auswahl › Science-to-science

Zeitraum05 Feb. 2019
EreignistitelSeminar on Bringing CP, SAT and SMT together: Next Challenges in Constraint Solving
VeranstaltungstypKonferenz
OrtDeutschlandAuf Karte anzeigen

Wissenschaftszweige

  • 202006 Computer Hardware
  • 603109 Logik
  • 102 Informatik
  • 102031 Theoretische Informatik
  • 102011 Formale Sprachen
  • 102022 Softwareentwicklung
  • 102001 Artificial Intelligence