NDLI: Trace-Based Methods for Solving Nonlinear Global Optimization and Satisfiability Problems

Content Provider	Springer Nature Link
Author	Wah, Benjamin W. Chang, Yao Jen
Copyright Year	1997
Abstract	In this paper we present a method called NOVEL (Nonlinear Optimization via External Lead) forsolving continuous and discrete global optimization problems. NOVEL addresses the balance between global search and local search, using a trace to aid in identifying promising regions before committing to local searches. We discuss NOVEL for solving continuous constrained optimization problems and show how it can be extended to solve constrained satisfaction and discrete satisfiability problems. We first transform the problem using Lagrange multipliers into an unconstrained version. Since a stable solution in a Lagrangian formulation only guarantees a local optimum satisfying the constraints, we propose a global search phase in which an aperiodic and bounded trace function is added to the search to first identify promising regions for local search. The trace generates an information-bearing trajectory from which good starting points are identified for further local searches. Taking only a small portion of the total search time, this elegant approach significantly reduces unnecessary local searches in regions leading to the same local optimum. We demonstrate the effectiveness of NOVEL on a collection of continuous optimization benchmark problems, finding the same or better solutions while satisfying the constraints. We extend NOVEL to discrete constraint satisfaction problems (CPSs) by showing an efficient transformation method for CSPs and the associated representation in finite-difference equations in NOVEL. We apply NOVEL to solve Boolean satisfiability instances in circuit fault detection and circuit synthesis applications, and show comparable performance when compared to the best existing method.
Starting Page	107
Ending Page	141
Page Count	35
File Format	PDF
ISSN	09255001
Journal	Journal of Global Optimization
Volume Number	10
Issue Number	2
e-ISSN	15732916
Language	English
Publisher	Kluwer Academic Publishers
Publisher Date	1997-01-01
Publisher Place	Dordrecht
Access Restriction	One Nation One Subscription (ONOS)
Subject Keyword	Computer Science Real Functions Optimization Operation Research/Decision Theory
Content Type	Text
Resource Type	Article
Subject	Control and Optimization Applied Mathematics Management Science and Operations Research Business, Management and Accounting Computer Science Applications

Sl.	Authority	Responsibilities	Communication Details
1	Ministry of Education (GoI), Department of Higher Education	Sanctioning Authority	https://www.education.gov.in/ict-initiatives
2	Indian Institute of Technology Kharagpur	Host Institute of the Project: The host institute of the project is responsible for providing infrastructure support and hosting the project	https://www.iitkgp.ac.in
3	National Digital Library of India Office, Indian Institute of Technology Kharagpur	The administrative and infrastructural headquarters of the project	Dr. B. Sutradhar bsutra@ndl.gov.in
4	Project PI / Joint PI	Principal Investigator and Joint Principal Investigators of the project	Dr. B. Sutradhar bsutra@ndl.gov.in Prof. Saswat Chakrabarti will be added soon
5	Website/Portal (Helpdesk)	Queries regarding NDLI and its services	support@ndl.gov.in
6	Contents and Copyright Issues	Queries related to content curation and copyright issues	content@ndl.gov.in
7	National Digital Library of India Club (NDLI Club)	Queries related to NDLI Club formation, support, user awareness program, seminar/symposium, collaboration, social media, promotion, and outreach	clubsupport@ndl.gov.in
8	Digital Preservation Centre (DPC)	Assistance with digitizing and archiving copyright-free printed books	dpc@ndl.gov.in
9	IDR Setup or Support	Queries related to establishment and support of Institutional Digital Repository (IDR) and IDR workshops	idr@ndl.gov.in

A Discrete Lagrangian-Based Global-Search Method for Solving Satisfiability Problems

Parallel Characteristical Algorithms for Solving Problems of Global Optimization

Global Optimization of Nonlinear Bilevel Programming Problems

Deterministic Global Optimization in Nonlinear Optimal Control Problems

Semismooth Newton Methods for Solving Semi-Infinite Programming Problems

On Global Optimality Conditions for Nonlinear Optimal Control Problems

A Global Optimization Method for Solving Convex Quadratic Bilevel Programming Problems

Solving Problems with Min-Type Functions by Disjunctive Programming

Efficient and Adaptive Lagrange-Multiplier Methods for Nonlinear Continuous Global Optimization

Trace-Based Methods for Solving Nonlinear Global Optimization and Satisfiability Problems

Similar Documents

A Discrete Lagrangian-Based Global-Search Method for Solving Satisfiability Problems

Parallel Characteristical Algorithms for Solving Problems of Global Optimization

Global Optimization of Nonlinear Bilevel Programming Problems

Deterministic Global Optimization in Nonlinear Optimal Control Problems

Semismooth Newton Methods for Solving Semi-Infinite Programming Problems

On Global Optimality Conditions for Nonlinear Optimal Control Problems

A Global Optimization Method for Solving Convex Quadratic Bilevel Programming Problems

Solving Problems with Min-Type Functions by Disjunctive Programming

Efficient and Adaptive Lagrange-Multiplier Methods for Nonlinear Continuous Global Optimization

Trace-Based Methods for Solving Nonlinear Global Optimization and Satisfiability Problems