Search

We found 467 hits for your search of 'ALGORITHM'.
  1. Lise Meitner Awardees 2020

    /career/job-openings/lise-meitner-award-fellowship/lise-meitner-awardees-2020

    finished her PhD from the Institute of Mathematical Sciences, HBNI, Chennai, India. She joined the Algorithms and Complexity group from October 2020. Her area of research is Parameterized Complexity, Kernelization

  2. Lise Meitner Awardees 2022

    /career/job-openings/lise-meitner-award-fellowship/lise-meitner-awardees-2022

    2023, she has been working in the Algorithms & Complexity group of Danupon Na Nongkai, and her research areas include “Computational Social Choice Theory” and “Algorithmic Game Theory”. Lise Meitner Awardees

  3. Literature

    /departments/automation-of-logic/teaching/winter-20162017/automated-reasoning/literature

    Handbook of Satisfiability IOS Press, 2009 Uwe Schöning, Jacobo Torán: The Satisfiability Problem - Algorithms and Analyses Lehmanns Verlag, 2013 Termination, well-founded orderings, confluence, unification

  4. Literature

    /departments/automation-of-logic/teaching/winter-20142015/automated-reasoning/literature

    Skip to main content or main navigation Institute D1 Algorithms & Complexity D2 Computer Vision and Machine Learning D3 Internet Architecture D4 Computer Graphics D5 Databases and Information Systems D6 [...] Local Reasoning Offers Teaching Summer 2024 Competitive Programming Winter 2023/2024 Summer 2023 Algorithmic Quantifier Elimination Winter 2022/2023 Automated Reasoning Summer 2022 Winter 2021/2022 Winter [...] Handbook of Satisfiability IOS Press, 2009 Uwe Schöning, Jacobo Torán: The Satisfiability Problem - Algorithms and Analyses Lehmanns Verlag, 2013 Termination, well-founded orderings, confluence, unification

  5. Literature

    /departments/automation-of-logic/teaching/winter-2022/2023/automated-reasoning/literature

    ty - Second Edition. IOS Press, 2021. Uwe Schöning, Jacobo Torán: The Satisfiability Problem - Algorithms and Analyses. Lehmanns Verlag, 2013. Termination, well-founded orderings, confluence, unification

  6. Literature

    /departments/automation-of-logic/teaching/winter-2020/2021/automated-reasoning/literature

    Handbook of Satisfiability IOS Press, 2009 Uwe Schöning, Jacobo Torán: The Satisfiability Problem - Algorithms and Analyses Lehmanns Verlag, 2013 Termination, well-founded orderings, confluence, unification

  7. Literature

    /departments/automation-of-logic/teaching/winter-20182019/automated-reasoning/literature

    Handbook of Satisfiability IOS Press, 2009 Uwe Schöning, Jacobo Torán: The Satisfiability Problem - Algorithms and Analyses Lehmanns Verlag, 2013 Termination, well-founded orderings, confluence, unification

  8. Literature

    /departments/automation-of-logic/teaching/winter-2024/2025/automated-reasoning/literature

    ty - Second Edition. IOS Press, 2021. Uwe Schöning, Jacobo Torán: The Satisfiability Problem - Algorithms and Analyses. Lehmanns Verlag, 2013. Termination, well-founded orderings, confluence, unification

  9. Livestream

    /livestream

    Skip to main content or main navigation Institute D1 Algorithms & Complexity D2 Computer Vision and Machine Learning D3 Internet Architecture D4 Computer Graphics D5 Databases and Information Systems D6 [...] Institute Hiring: CS/EE postdoc (m/f/d) & PhD positions (m/f/d) on optical networking Departments D1 Algorithms & Complexity D2 Computer Vision and Machine Learning D3 Internet Architecture D4 Computer Graphics [...] Automation of Logic RG2 Network and Cloud Systems RG3 Multimodal Language Processing Publications Algorithms & Complexity Computer Vision and Machine Learning Internet Architecture Computer Graphics Databases

  10. Livestream - 5988

    /livestream/livestream-login/livestreaming/livestream-5988

    Skip to main content or main navigation Institute D1 Algorithms & Complexity D2 Computer Vision and Machine Learning D3 Internet Architecture D4 Computer Graphics D5 Databases and Information Systems D6 [...] Institute Hiring: CS/EE postdoc (m/f/d) & PhD positions (m/f/d) on optical networking Departments D1 Algorithms & Complexity D2 Computer Vision and Machine Learning D3 Internet Architecture D4 Computer Graphics [...] Automation of Logic RG2 Network and Cloud Systems RG3 Multimodal Language Processing Publications Algorithms & Complexity Computer Vision and Machine Learning Internet Architecture Computer Graphics Databases