Clause Branching in MaxSAT and MinSAT.

Josep Argelich,Chu Min Li,Felip Manyà,Joan Ramon Soler

Clause Branching in MaxSAT and MinSAT.

2018

Josep Argelich
Chu Min Li
Felip Manyà
Joan Ramon Soler

Trabajo presentado en el 21st International Conference of the Catalan Association for Artificial Intelligence (CCIA 2018), celebrada en Roses (Espana) del 8 al 10 de Octubre de 2018

Keywords:

Branching (version control)
Combinatorics
Maximum satisfiability problem
Mathematics
Catalan
Humanities

Correction
Source
Cite
Save
Machine Reading By IdeaReader

References

Citations