PPaperPicks

Shaowei Cai

5 papers at tracked venues · 2 at CORE A* · active 20242026

Venues

Frequent coauthors

Papers

  1. Parallel Local Search for MaxSAT with Solutions and Score Functions Co-evolving
  2. An Efficient Core-Guided Solver for Weighted Partial MaxSAT
  3. Better Understandings and Configurations in MaxSAT Stochastic Local Search Solvers via Anytime Performance Analysis
  4. Bi-Objective Contract Allocation for Guaranteed Delivery Advertising
  5. ParaILP: A Parallel Local Search Framework for Integer Linear Programming with Cooperative Evolution Mechanism