Skip to content
conftrace_

maxsat problem

4 papers

Explore in graph

Also known as

MAXSAT

Co-occurring keywords · papers mentioning both

combinatorial optimization (2) above guarantee (1) clause satisfaction (1) pure literal elimination (1) max k-sat (1) random satisfiability (1) configuration model (1) graph neural network (1) degree distribution (1) satisfiability threshold (1)

Papers

A Fast Algorithm for MaxSAT above Half Number of Clauses IJCAI 2024 Can Graph Neural Networks Learn to Solve the MaxSAT Problem? (Student Abstract) AAAI 2023 Analysis of Pure Literal Elimination Rule for Non-uniform Random (MAX) k-SAT Problem with an Arbitrary Degree Distribution AAAI 2022 Low-Rank Semidefinite Programming for the MAX2SAT Problem AAAI 2019