research
∙
04/29/2023
Local Search for Integer Linear Programming
Integer linear programming models a wide range of practical combinatoria...
share
research
∙
03/12/2023
Local Search For SMT On Linear and Multilinear Real Arithmetic
Satisfiability Modulo Theories (SMT) has significant application in vari...
research
∙
03/02/2023
LANDMARK: Language-guided Representation Enhancement Framework for Scene Graph Generation
Scene graph generation (SGG) is a sophisticated task that suffers from b...
research
∙
02/10/2023
Incremental Satisfiability Modulo Theory for Verification of Deep Neural Networks
Constraint solving is an elementary way for verification of deep neural ...
research
∙
11/18/2022
Local Search For Satisfiability Modulo Integer Arithmetic Theories
Satisfiability Modulo Theories (SMT) refers to the problem of deciding t...
research
∙
11/15/2021
Can Graph Neural Networks Learn to Solve MaxSAT Problem?
With the rapid development of deep learning techniques, various recent w...
research
∙
01/26/2020
NLocalSAT: Boosting Local Search with Solution Prediction
The boolean satisfiability problem is a famous NP-complete problem in co...
research
∙
06/11/2019
An Incremental Evaluation Mechanism for the Critical Node Problem
The Critical Node Problem (CNP) is to identify a subset of nodes in a gr...
research
∙
06/06/2019
Combining Reinforcement Learning and Configuration Checking for Maximum k-plex Problem
The Maximum k-plex Problem is an important combinatorial optimization pr...
research
∙
02/15/2017
Local Search for Minimum Weight Dominating Set with Two-Level Configuration Checking and Frequency Based Scoring Function
The Minimum Weight Dominating Set (MWDS) problem is an important general...
research
∙
02/04/2014