Did you mean: research

search result

Cover von Engineering A* Search for the Flip Distance of Plane Triangulations

Engineering A* Search for the Flip Distance of Plane Triangulations

Year: 2024
Media group: LIPIcs
Cover von Accelerating ILP Solvers for Minimum Flow Decompositions Through Search Space and Dimensionality Reductions

Accelerating ILP Solvers for Minimum Flow Decompositions Through Search Space and Dimensionality Reductions

Year: 2024
Media group: LIPIcs
Cover von On the Number of Distinct Fringe Subtrees in Binary Search Trees

On the Number of Distinct Fringe Subtrees in Binary Search Trees

Year: 2024
Media group: LIPIcs
Cover von Exact Search-To-Decision Reductions for Time-Bounded Kolmogorov Complexity

Exact Search-To-Decision Reductions for Time-Bounded Kolmogorov Complexity

Year: 2024
Media group: LIPIcs
Cover von Bottom-Up Rebalancing Binary Search Trees by Flipping a Coin

Bottom-Up Rebalancing Binary Search Trees by Flipping a Coin

Year: 2024
Media group: LIPIcs
Cover von Improving Local Search for Pseudo Boolean Optimization by Fragile Scoring Function and Deep Optimization

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

Author: Wang, Xinyu; Yin, Minghao
Year: 2023
Media group: LIPIcs
Cover von Large Neighborhood Beam Search for Domain-Independent Dynamic Programming

Large Neighborhood Beam Search for Domain-Independent Dynamic Programming

Year: 2023
Media group: LIPIcs
Cover von Towards More Efficient Local Search for Pseudo-Boolean Optimization

Towards More Efficient Local Search for Pseudo-Boolean Optimization

Year: 2023
Media group: LIPIcs
Cover von A Polynomial-Time Algorithm for MCS Partial Search Order on Chordal Graphs

A Polynomial-Time Algorithm for MCS Partial Search Order on Chordal Graphs

Year: 2023
Media group: LIPIcs
Cover von The (Im)possibility of Simple Search-To-Decision Reductions for Approximation Problems

The (Im)possibility of Simple Search-To-Decision Reductions for Approximation Problems

Year: 2023
Media group: LIPIcs
OPEN V 11.1.0.0