Capo

swMATH13202MaRDI QIDQ25118FDOQ25118

Author name not available (Why is that?)

Cited In (3)

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

This page was built for software: Capo