Maximum satisfiability problem (English Wikipedia)

M. Krentel (1988). "The complexity of optimization problems". Journal of Computer and System Sciences. 36 (3): 490–509. doi:10.1016/0022-0000(88)90039-6. hdl:1813/6559.
Borchers, Brian; Furman, Judith (1998-12-01). "A Two-Phase Exact Algorithm for MAX-SAT and Weighted MAX-SAT Problems". Journal of Combinatorial Optimization. 2 (4): 299–306. doi:10.1023/A:1009725216438. ISSN 1382-6905. S2CID 6736614.
Avidor, Adi; Berkovitch, Ido; Zwick, Uri (2006). "Improved Approximation Algorithms for MAX NAE-SAT and MAX SAT". Approximation and Online Algorithms. Vol. 3879. Berlin, Heidelberg: Springer Berlin Heidelberg. pp. 27–40. doi:10.1007/11671411_3. ISBN 978-3-540-32207-8.
Makarychev, Konstantin; Makarychev, Yury (2017). "Approximation Algorithms for CSPs". Drops-Idn/V2/Document/10.4230/Dfu.vol7.15301.287: 39 pages, 753340 bytes. doi:10.4230/DFU.VOL7.15301.287. ISSN 1868-8977.
Battiti, Roberto; Protasi, Marco (1998). "Approximate Algorithms and Heuristics for MAX-SAT". Handbook of Combinatorial Optimization. pp. 77–148. doi:10.1007/978-1-4613-0303-9_2. ISBN 978-1-4613-7987-4.
Josep Argelich and Felip Manyà. Exact Max-SAT solvers for over-constrained problems. In Journal of Heuristics 12(4) pp. 375-392. Springer, 2006.
Jaulin, L.; Walter, E. (2002). "Guaranteed robust nonlinear minimax estimation" (PDF). IEEE Transactions on Automatic Control. 47 (11): 1857–1864. doi:10.1109/TAC.2002.804479.

ensta-bretagne.fr (Global: low place; English: low place)

Jaulin, L.; Walter, E. (2002). "Guaranteed robust nonlinear minimax estimation" (PDF). IEEE Transactions on Automatic Control. 47 (11): 1857–1864. doi:10.1109/TAC.2002.804479.

M. Krentel (1988). "The complexity of optimization problems". Journal of Computer and System Sciences. 36 (3): 490–509. doi:10.1016/0022-0000(88)90039-6. hdl:1813/6559.

Borchers, Brian; Furman, Judith (1998-12-01). "A Two-Phase Exact Algorithm for MAX-SAT and Weighted MAX-SAT Problems". Journal of Combinatorial Optimization. 2 (4): 299–306. doi:10.1023/A:1009725216438. ISSN 1382-6905. S2CID 6736614.

Battiti, Roberto; Protasi, Marco (1998). "Approximate Algorithms and Heuristics for MAX-SAT". Handbook of Combinatorial Optimization. pp. 77–148. doi:10.1007/978-1-4613-0303-9_2. ISBN 978-1-4613-7987-4.

Borchers, Brian; Furman, Judith (1998-12-01). "A Two-Phase Exact Algorithm for MAX-SAT and Weighted MAX-SAT Problems". Journal of Combinatorial Optimization. 2 (4): 299–306. doi:10.1023/A:1009725216438. ISSN 1382-6905. S2CID 6736614.
Makarychev, Konstantin; Makarychev, Yury (2017). "Approximation Algorithms for CSPs". Drops-Idn/V2/Document/10.4230/Dfu.vol7.15301.287: 39 pages, 753340 bytes. doi:10.4230/DFU.VOL7.15301.287. ISSN 1868-8977.