Resolution search

DOI10.1016/S0166-218X(96)00003-0MaRDI QIDQ674925zbMATH OpenOpenAlexFDO

Authors Juan-Miguel Gracia

Publication date 6 March 1997

Published in Discrete Applied Mathematics (Search for Journal in Brave)

Full work available at URL http://www.elsevier.com/locate/dam

zbMATH Keywords

branch-and-boundimplicit enumerationmixed zero-one linear programming problemsresolution searchsatisfiability

Mathematics Subject Classification ID

Boolean programming (90C09) Mixed integer programming (90C11)

Recommendations

• Resolution search and dynamic branch-and-bound
• How To Be Fickle
• Improving the performance of enumerative search methods. I: Exploiting structure and intelligence
• Generalized resolution search
• An implicit branch-and-bound algorithm for mixed-integer linear programming

Cites work

• A Machine-Oriented Logic Based on the Resolution Principle
• scientific article; zbMATH DE number 46958 (Why is no real title available?)
• Maximizing Submodular Set Functions: Formulations and Analysis of Algorithms
• On renamable Horn and generalized Horn functions
• Renaming a Set of Clauses as a Horn Set

Cited in

(13)

• Gersten resolution with support
• Improving the performance of enumerative search methods. I: Exploiting structure and intelligence
• Incumbent solutions in branch-and-bound algorithms: Setting the record straight
• \textit{Branch} \& \textit{memorize} exact algorithms for sequencing problems: efficient embedding of memorization into search trees
• Some new perspectives for solving 0--1 integer programming problems using balas method
• Information-based branching schemes for binary linear mixed integer problems
• CORAL: an exact algorithm for the multidimensional knapsack problem
• Backdoor branching
• How To Be Fickle
• scientific article; zbMATH DE number 3982556 (Why is no real title available?)
• Generalized resolution search
• Consistent neighborhood search for combinatorial optimization
• A multi-level search strategy for the 0-1 multidimensional knapsack problem

This page was built for publication: Resolution search

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q674925)