Capo

MaRDI QIDQ25118swMATHFDO

Official website http://dl.acm.org/citation.cfm?id=1055184

Cited in

(7)

• A proximal alternating direction method of multipliers for a minimization problem with nonconvex constraints
• A scheduling strategy for synchronous elastic designs
• Fastplace
• mPL6
• NTUplace3
• OptiMathSAT
• Solving SAT (and MaxSAT) with a quantum annealer: foundations, encodings, and preliminary results

This page was built for software: Capo