Multimedia : keine Angst vor dem 3. Jahrtausend

von Scheider, Stefan
Veröffentlicht 1995

Die Erde lebt - die Erde bebt

MediaTrailer : über 200 Videoszenen, Photo-CD-Bilder, Titelgrafiken und Animationen für Ihre Videos, Dias & Präsentationen

von Scheider, Stefan
Veröffentlicht 1994

˜Dieœ Briefmaschine LetterMan für privat & Büro : Traumbriefe im Handumdrehen ...

Veröffentlicht 1997

A Faster Algorithm for Propositional Model Counting Parameterized by Incidence Treewidth

von Slivovsky, Friedrich
Veröffentlicht in SAT (23. : 2020 : Online) Theory and applications of satisfiability testing - SAT 2020 (2020)

Finding the Hardest Formulas for Resolution

von Peitl, Tomáš
Veröffentlicht in CP (26. : 2020 : Online) Principles and practice of constraint programming (2020)

Computing Optimal Hypertree Decompositions

von Schidler, André
Veröffentlicht in ALENEX (2020 : Salt Lake City, Utah) Symposium on Algorithm Engineering and Experiments (ALENEX20) (2020)

Mobilität - Energiebedarf in Abhängigkeit vom Gebäudestandort

von Hänger, Martin
Veröffentlicht 2011

MaxSAT-Based Postprocessing for Treedepth

von Ramaswamy, Vaidyanathan Peruvemba
Veröffentlicht in CP (26. : 2020 : Online) Principles and practice of constraint programming (2020)

Learning Fast-Inference Bayesian Networks

von Peruvemba Ramaswamy, Vaidyanathan
Veröffentlicht in NeurIPS (35. : 2021 : Online) 35th Conference on Neural Information Processing Systems (NeurIPS 2021) ; Volume 22 of 36 (2022)

PC OK : Vorstellung, Ausstattung, Kauf, Betrieb, Anwendung

von Scheider, Armin
Veröffentlicht 1993

Short Q-Resolution Proofs with Homomorphisms

von Shukla, Ankit
Veröffentlicht in SAT (23. : 2020 : Online) Theory and applications of satisfiability testing - SAT 2020 (2020)

PC OK : Vorstellung, Ausstattung, Kauf, Betrieb, Anwendung ; [Grundwissen für Einsteiger ; verständlich, systematisch, umfassend ; inkl. Arts & Letters Scenerio-Vollversion, ARD-...

Formalizing Graph Trail Properties in Isabelle/HOL

von Kovács, Laura
Veröffentlicht in CICM (13. : 2020 : Online) Intelligent computer mathematics (2020)

PC OK : Vorstellung, Ausstattung, Kauf, Betrieb, Anwendung; [Grundwissen für Einsteiger; verständlich, systematisch, umfassend; inkl. Arts & Letters Scenerio-Vollversion, ARD-Leh...

von Scheider, Armin
Veröffentlicht 1993

PC OK : Vorstellung, Ausstattung, Anschaffung, Betrieb, Anwendung

von Scheider, Armin
Veröffentlicht 1993

A Time Leap Challenge for SAT-Solving

von Fichte, Johannes K.
Veröffentlicht in CP (26. : 2020 : Online) Principles and practice of constraint programming (2020)

Breaking Symmetries with RootClique and LexTopSort

von Fichte, Johannes K.
Veröffentlicht in CP (26. : 2020 : Online) Principles and practice of constraint programming (2020)

Theory and applications of satisfiability testing - SAT 2010 : 13th international conference, SAT 2010, Edinburgh, UK, July 11-14, 2010 ; proceedings

Veröffentlicht 2010

Inconsistent Cores for ASP: The Perks and Perils of Non-monotonicity

von Fichte, Johannes K.
Veröffentlicht in AAAI Conference on Artificial Intelligence (37. : 2023 : Washington, DC; Online) 37th AAAI Conference on Artificial Intelligence (AAAI-23) ; Volume 5, part 2 of 2 (2023)