A probabilistic study of generalized solution concepts in satisfiability testing and constraint programming (Q507445): Difference between revisions

@@ Property / author @@
+Peng Zhang
@@ Property / author: Peng Zhang / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+Q25
@@ Property / Mathematics Subject Classification ID: 68Q25 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+Q87
@@ Property / Mathematics Subject Classification ID: 68Q87 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+T20
@@ Property / Mathematics Subject Classification ID: 68T20 / rank @@
+Normal rank
@@ Property / zbMATH DE Number @@
+6680878
@@ Property / zbMATH DE Number: 6680878 / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+generalized solution concepts
@@ Property / zbMATH Keywords: generalized solution concepts / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+super solutions
@@ Property / zbMATH Keywords: super solutions / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+satisfiability
@@ Property / zbMATH Keywords: satisfiability / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+constraint satisfaction
@@ Property / zbMATH Keywords: constraint satisfaction / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+random instances
@@ Property / zbMATH Keywords: random instances / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+probabilistic method
@@ Property / zbMATH Keywords: probabilistic method / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+threshold phenomena
@@ Property / zbMATH Keywords: threshold phenomena / rank @@
+Normal rank

A probabilistic study of generalized solution concepts in satisfiability testing and constraint programming (Q507445): Difference between revisions

Revision as of 01:56, 1 July 2023

Statements

Identifiers

Sitelinks

Mathematics(0 entries)