Zum Inhalt springen

  1. Speck, David [Verfasser:in] ; Nebel, Bernhard [Akademische:r Betreuer:in]; Nebel, Bernhard [Sonstige Person, Familie und Körperschaft]; Torralba, Álvaro [Sonstige Person, Familie und Körperschaft] Albert-Ludwigs-Universität Freiburg Arbeitsgruppe Grundlagen der Künstlichen Intelligenz, Albert-Ludwigs-Universität Freiburg Fakultät für Angewandte Wissenschaften

    Symbolic search for optimal planning with expressive extensions

    Bücher
    Online ansehen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Freiburg: Universität, 2022

  2. Conrads, Theo [Verfasser:in]; Drexler, Lukas [Verfasser:in]; Könen, Joshua [Verfasser:in]; Schmidt, Daniel R. [Verfasser:in]; Schmidt, Melanie [Verfasser:in] ; Theo Conrads and Lukas Drexler and Joshua Könen and Daniel R. Schmidt and Melanie Schmidt [Mitwirkende:r]

    Local Search k-means++ with Foresight

    Aufsätze
    Online ansehen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2024

  3. Esmer, Barış Can [Verfasser:in]; Kulik, Ariel [Verfasser:in]; Marx, Dániel [Verfasser:in]; Neuen, Daniel [Verfasser:in]; Sharma, Roohani [Verfasser:in] ; Barış Can Esmer and Ariel Kulik and Dániel Marx and Daniel Neuen and Roohani Sharma [Mitwirkende:r]

    Approximate Monotone Local Search for Weighted Problems

    Aufsätze
    Online ansehen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2023

  4. Zhou, Wenbo [Verfasser:in]; Zhao, Yujiao [Verfasser:in]; Wang, Yiyuan [Verfasser:in]; Cai, Shaowei [Verfasser:in]; Wang, Shimao [Verfasser:in]; Wang, Xinyu [Verfasser:in]; Yin, Minghao [Verfasser:in] ; Wenbo Zhou and Yujiao Zhao and Yiyuan Wang and Shaowei Cai and Shimao Wang and Xinyu Wang and Minghao Yin [Mitwirkende:r]

    Improving Local Search for Pseudo Boolean Optimization by Fragile Scoring Function and Deep Optimization

    Aufsätze
    Online ansehen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2023

  5. Zhou, Junping [Verfasser:in]; Liang, Jiaxin [Verfasser:in]; Yin, Minghao [Verfasser:in]; He, Bo [Verfasser:in] ; Junping Zhou and Jiaxin Liang and Minghao Yin and Bo He [Mitwirkende:r]

    LS-DTKMS: A Local Search Algorithm for Diversified Top-k MaxSAT Problem

    Aufsätze
    Online ansehen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2023

  6. Esmer, Barış Can [Verfasser:in]; Kulik, Ariel [Verfasser:in]; Marx, Dániel [Verfasser:in]; Neuen, Daniel [Verfasser:in]; Sharma, Roohani [Verfasser:in] ; Barış Can Esmer and Ariel Kulik and Dániel Marx and Daniel Neuen and Roohani Sharma [Mitwirkende:r]

    Faster Exponential-Time Approximation Algorithms Using Approximate Monotone Local Search

    Aufsätze
    Online ansehen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2022

  7. Liu, Paul [Verfasser:in]; Spalding-Jamieson, Jack [Verfasser:in]; Zhang, Brandon [Verfasser:in]; Zheng, Da Wei [Verfasser:in] ; Paul Liu and Jack Spalding-Jamieson and Brandon Zhang and Da Wei Zheng [Mitwirkende:r]

    Coordinated Motion Planning Through Randomized k-Opt (CG Challenge)

    Aufsätze
    Online ansehen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2021

  8. Cai, Shaowei [Verfasser:in]; Luo, Chuan [Verfasser:in]; Zhang, Xindi [Verfasser:in]; Zhang, Jian [Verfasser:in] ; Shaowei Cai and Chuan Luo and Xindi Zhang and Jian Zhang [Mitwirkende:r]

    Improving Local Search for Structured SAT Formulas via Unit Propagation Based Construct and Cut Initialization (Short Paper)

    Aufsätze
    Online ansehen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2021

  9. Bartier, Valentin [Verfasser:in]; Bathie, Gabriel [Verfasser:in]; Bousquet, Nicolas [Verfasser:in]; Heinrich, Marc [Verfasser:in]; Pierron, Théo [Verfasser:in]; Prieto, Ulysse [Verfasser:in] ; Valentin Bartier and Gabriel Bathie and Nicolas Bousquet and Marc Heinrich and Théo Pierron and Ulysse Prieto [Mitwirkende:r]

    PACE Solver Description: μSolver - Heuristic Track

    Aufsätze
    Online ansehen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2021

  10. Antypov, Dmytro [Verfasser:in]; Deligkas, Argyrios [Verfasser:in]; Gusev, Vladimir [Verfasser:in]; Rosseinsky, Matthew J. [Verfasser:in]; Spirakis, Paul G. [Verfasser:in]; Theofilatos, Michail [Verfasser:in] ; Dmytro Antypov and Argyrios Deligkas and Vladimir Gusev and Matthew J. Rosseinsky and Paul G. Spirakis and Michail Theofilatos [Mitwirkende:r]

    Crystal Structure Prediction via Oblivious Local Search

    Aufsätze
    Online ansehen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2020

  11. Gupta, Sushmita [Verfasser:in]; Jain, Pallavi [Verfasser:in]; Roy, Sanjukta [Verfasser:in]; Saurabh, Saket [Verfasser:in]; Zehavi, Meirav [Verfasser:in] ; Sushmita Gupta and Pallavi Jain and Sanjukta Roy and Saket Saurabh and Meirav Zehavi [Mitwirkende:r]

    On the (Parameterized) Complexity of Almost Stable Marriage

    Aufsätze
    Online ansehen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2020