Skip to content
cs-conference-ranking.org

Reducing SAT to Max2SAT.

Carlos Anstegui, Jordi Levy

VenueA*IJCAI
Year2021
ProceedingsIJCAI
DBLP recordconf/ijcai/AnsoteguiL21 ↗

Browse the full IJCAI paper archive.