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

@@ Property / Mathematics Subject Classification ID @@
+C27
@@ Property / Mathematics Subject Classification ID: 90C27 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+C29
@@ Property / Mathematics Subject Classification ID: 90C29 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+T20
@@ Property / Mathematics Subject Classification ID: 68T20 / rank @@
+Normal rank
@@ Property / zbMATH DE Number @@
+6038198
@@ Property / zbMATH DE Number: 6038198 / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+Boolean optimization
@@ Property / zbMATH Keywords: Boolean optimization / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+lexicographic optimization
@@ Property / zbMATH Keywords: lexicographic optimization / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+maximum satisfiability
@@ Property / zbMATH Keywords: maximum satisfiability / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+pseudo-Boolean optimization
@@ Property / zbMATH Keywords: pseudo-Boolean optimization / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+haplotyping with pedigrees
@@ Property / zbMATH Keywords: haplotyping with pedigrees / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+software package dependencies
@@ Property / zbMATH Keywords: software package dependencies / rank @@
+Normal rank

Revision as of 20:46, 29 June 2023