Boolean lexicographic optimization: algorithms \& applications (Q421451): Difference between revisions

@@ Property / cites work @@
+MIPLIB 2003
@@ Property / cites work: MIPLIB 2003 / rank @@
+Normal rank
@@ Property / cites work @@
+Solving (Weighted) Partial MaxSAT through Satisfiability Testing
+Normal rank
@@ Property / cites work @@
+Q3429162
@@ Property / cites work: Q3429162 / rank @@
+Normal rank
@@ Property / cites work @@
+Earth observation satellite management
@@ Property / cites work: Earth observation satellite management / rank @@
+Normal rank
@@ Property / cites work @@
+Logic programming with satisfiability
@@ Property / cites work: Logic programming with satisfiability / rank @@
+Normal rank
@@ Property / cites work @@
+Exact ground states of Ising spin glasses: new experimental results with a branch-and-cut algorithm
+Normal rank
@@ Property / cites work @@
+Q3429154
@@ Property / cites work: Q3429154 / rank @@
+Normal rank
@@ Property / cites work @@
+A survey and annotated bibliography of multiobjective combinatorial optimization
+Normal rank
@@ Property / cites work @@
+Lexicographically-ordered constraint satisfaction problems
+Normal rank
@@ Property / cites work @@
+On Solving the Partial MAX-SAT Problem
@@ Property / cites work: On Solving the Partial MAX-SAT Problem / rank @@
+Normal rank
@@ Property / cites work @@
+Tabu search based procedure for solving the 0-1 multiobjective knapsack problem: The two objectives case
+Normal rank
@@ Property / cites work @@
+Conflict-Driven Answer Set Enumeration
@@ Property / cites work: Conflict-Driven Answer Set Enumeration / rank @@
+Normal rank
@@ Property / cites work @@
+Efficient and Accurate Haplotype Inference by Combining Parsimony and Pedigree Information
+Normal rank
@@ Property / cites work @@
+Algorithms for the maximum satisfiability problem
@@ Property / cites work: Algorithms for the maximum satisfiability problem / rank @@
+Normal rank
@@ Property / cites work @@
+Q3604009
@@ Property / cites work: Q3604009 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3624109
@@ Property / cites work: Q3624109 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3624095
@@ Property / cites work: Q3624095 / rank @@
+Normal rank
@@ Property / cites work @@
+Solving Multi-objective Pseudo-Boolean Problems
@@ Property / cites work: Solving Multi-objective Pseudo-Boolean Problems / rank @@
+Normal rank
@@ Property / cites work @@
+Satisfiability-based algorithms for Boolean optimization
+Normal rank
@@ Property / cites work @@
+Algorithms for Weighted Boolean Optimization
@@ Property / cites work: Algorithms for Weighted Boolean Optimization / rank @@
+Normal rank
@@ Property / cites work @@
+Towards More Effective Unsatisfiability-Based Maximum Satisfiability Algorithms
+Normal rank
@@ Property / cites work @@
+A Weighting Function for Pre-emptive Multicriteria Assignment Problems
+Normal rank
@@ Property / cites work @@
+Q3604006
@@ Property / cites work: Q3604006 / rank @@
+Normal rank
@@ Property / cites work @@
+Solving satisfiability problems with preferences
@@ Property / cites work: Solving satisfiability problems with preferences / rank @@
+Normal rank
@@ Property / cites work @@
+Q4221106
@@ Property / cites work: Q4221106 / rank @@
+Normal rank
@@ Property / cites work @@
+Optimal Protein Structure Alignment Using Maximum Cliques
+Normal rank
@@ Property / cites work @@
+Multi‐objective combinatorial optimization problems: A survey
+Normal rank
@@ Property / cites work @@
+A linear-time transformation of linear inequalities into conjunctive normal form
+Normal rank