conftrace_

Jiaxin Liang

3 papers · 2022–2025 · 2 venues · across top CS/AI venues

Authors are matched by name, so researchers who share a name ("Yang Liu", "Wei Wang") appear as a single profile and their paper counts, venues and achievements are combined. How identity is handled.

Achievements

Jump to papers ↓

🌍 Conference Polyglot · Bronze

Venues

AAAI (2) IJCAI (1)

Top co-authors

Minghao Yin (3) Junping Zhou (3) Feifei Ma (1)

Research topics

Mathematics & Optimization (3) Optimization (3)

Keywords

local search (2) combinatorial optimization (2) propositional satisfiability (1) maxsat solving (1) perturbation strategy (1) diversity maximization (1) allsat solving (1) dpll algorithm (1) non-chronological backtracking (1) diversified search (1) initial assignment (1) component analysis (1)

Papers

DiverSAT: A Novel and Effective Local Search Algorithm for Diverse SAT Problem AAAI 2025 Enhance Diversified Top-k MaxSAT Solving by Incorporating New Strategy for Generating Diversified Initial Assignments (Student Abstract) AAAI 2024 AllSATCC: Boosting AllSAT Solving with Efficient Component Analysis IJCAI 2022