Vyzkoušejte nový nástroj s podporou AI
Summon Research Assistant
BETA
Implementing Efficient All Solutions SAT Solvers
Published in The ACM journal of experimental algorithmics
(04.11.2016)
Get full text
Journal Article
Adaptive Cuckoo Filters
Published in The ACM journal of experimental algorithmics
(06.12.2020)
Get full text
Journal Article
Practical Wavelet Tree Construction
Published in The ACM journal of experimental algorithmics
(31.12.2021)
Get full text
Journal Article
Shadoks Approach to Low-Makespan Coordinated Motion Planning
Published in The ACM journal of experimental algorithmics
(31.12.2022)
Get full text
Journal Article
Algorithms for Efficiently Computing Structural Anonymity in Complex Networks
Published in The ACM journal of experimental algorithmics
(11.08.2023)
Get full text
Journal Article
A Data-dependent Approach for High-dimensional (Robust) Wasserstein Alignment
Published in The ACM journal of experimental algorithmics
(11.08.2023)
Get full text
Journal Article
Minimum Partition into Plane Subgraphs: The CG:SHOP Challenge 2022
Published in The ACM journal of experimental algorithmics
(11.08.2023)
Get full text
Journal Article
SAT-boosted Tabu Search for Coloring Massive Graphs
Published in The ACM journal of experimental algorithmics
(25.07.2023)
Get full text
Journal Article
ILP-Based Local Search for Graph Partitioning
Published in The ACM journal of experimental algorithmics
(06.12.2020)
Get full text
Journal Article
An Experimental Evaluation of Semidefinite Programming and Spectral Algorithms for Max Cut
Published in The ACM journal of experimental algorithmics
(11.08.2023)
Get full text
Journal Article
Conflict Optimization for Binary CSP Applied to Minimum Partition into Plane Subgraphs and Graph Coloring
Published in The ACM journal of experimental algorithmics
(11.05.2023)
Get full text
Journal Article
Random Projections for Linear Programming: An Improved Retrieval Phase
Published in The ACM journal of experimental algorithmics
(31.12.2023)
Get full text
Journal Article
Routing in Multimodal Transportation Networks with Non-scheduled Lines
Published in The ACM journal of experimental algorithmics
(21.12.2023)
Get full text
Journal Article
An Algorithmic Study of Fully Dynamic Independent Sets for Map Labeling
Published in The ACM journal of experimental algorithmics
(07.07.2022)
Get full text
Journal Article
Tight Localizations of Feedback Sets
Published in The ACM journal of experimental algorithmics
(31.12.2021)
Get full text
Journal Article
O’Reach: Even Faster Reachability in Large Graphs
Published in The ACM journal of experimental algorithmics
(21.10.2022)
Get full text
Journal Article
Incremental Updates of Generalized Hypertree Decompositions
Published in The ACM journal of experimental algorithmics
(03.03.2023)
Get full text
Journal Article
A Practical Algorithm for Volume Estimation based on Billiard Trajectories and Simulated Annealing
Published in The ACM journal of experimental algorithmics
(11.05.2023)
Get full text
Journal Article
Area-Optimal Simple Polygonalizations: The CG Challenge 2019
Published in The ACM journal of experimental algorithmics
(04.03.2022)
Get full text
Journal Article
A Batch-dynamic Suitor Algorithm for Approximating Maximum Weighted Matching
Published in The ACM journal of experimental algorithmics
(07.07.2022)
Get full text
Journal Article