Ask the publishers to restore access to 500,000+ books. An icon used to represent a menu that can be toggled by interacting with this icon. A line drawing of the Internet Archive headquarters building ...

Abstract: The Maximum Satisfiability problem (MaxSAT) is a major optimization challenge with numerous practical applications. In recent MaxSAT evaluations, most MaxSAT solvers have incorporated an ...

Abstract: The algorithms and software tools for solving large-scale NP-hard MILP (mixed-integer linear programming) problems are analyzed, specifically focusing on the modeling of electric power ...