conftrace_

local search

98 papers

Explore in graph

Co-occurring keywords

combinatorial optimization (1039) approximation algorithm (630) configuration checking (7) graph algorithm (178) constraint satisfaction (294) reinforcement learning (4352) stochastic optimization (1060) neural network (6616) maximum satisfiability (22) traveling salesman problem (57)

Papers

Unsupervised Learning for Solving the Travelling Salesman Problem NIPS 2023
Partial Optimality in Cubic Correlation Clustering ICML 2023
Can You Improve My Code? Optimizing Programs with Local Search IJCAI 2023
Linear Time Algorithms for k-means with Multi-Swap Local Search NIPS 2023
Dagster: Parallel Structured Search AAAI 2023
Parameterized Local Search for Max c-Cut IJCAI 2023
Enhancing Network by Reinforcement Learning and Neural Confined Local Search IJCAI 2023
Multi-Swap k-Means++ NIPS 2023
Choosing Well Your Opponents: How to Guide the Synthesis of Programmatic Strategies IJCAI 2023
Search Space Expansion for Efficient Incremental Inductive Logic Programming from Streamed Data IJCAI 2022
Faster Algorithms for Weak Backdoors AAAI 2022
BandMaxSAT: A Local Search MaxSAT Solver with Multi-armed Bandit IJCAI 2022
Sharp Restricted Isometry Property Bounds for Low-Rank Matrix Recovery Problems with Corrupted Measurements AAAI 2022
NukCP: An Improved Local Search Algorithm for Maximum k-Club Problem AAAI 2022
Improving Local Search Algorithms via Probabilistic Configuration Checking AAAI 2022
TextHacker: Learning based Hybrid Local Search Algorithm for Text Hard-label Adversarial Attack EMNLP 2022
Large Neighbourhood Search for Anytime MaxSAT Solving IJCAI 2022
Deep Cooperation of CDCL and Local Search for SAT (Extended Abstract) IJCAI 2022
Automated Crossword Solving ACL 2022
Large Neighborhood Search with Decision Diagrams IJCAI 2022
The Query Complexity of Local Search and Brouwer in Rounds COLT 2022
Efficient Submodular Optimization under Noise: Local Search is Robust NIPS 2022
NuQClq: An Effective Local Search Algorithm for Maximum Quasi-Clique Problem AAAI 2021
Combining Preference Elicitation with Local Search and Greedy Search for Matroid Optimization AAAI 2021
Programmatic Strategies for Real-Time Strategy Games AAAI 2021