ANALYSIS OF L-STRUCTURE OF POLYHEDRON IN THE PARTIAL MAX SAT PROBLEM (Q5151087): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W2915739729
@@ Property / OpenAlex ID: W2915739729 / rank @@
+Normal rank
@@ Property / cites work @@
+Logical cryptanalysis as a SAT problem: Encoding and analysis of the U. S. Data Encryption Standard
+Normal rank
@@ Property / cites work @@
+On approximation algorithms for the minimum satisfiability problem
+Normal rank
@@ Property / cites work @@
+Analysis and solving SAT and MAX-SAT problems using an \(L\)-partition approach
+Normal rank
@@ Property / cites work @@
+Q4375757
@@ Property / cites work: Q4375757 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3639756
@@ Property / cites work: Q3639756 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4415205
@@ Property / cites work: Q4415205 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4852854
@@ Property / cites work: Q4852854 / rank @@
+Normal rank
@@ Property / cites work @@
+Investigation of maximum and minimum satisfiability problems using \(L\)-partition
+Normal rank
@@ Property / cites work @@
+ANALYSIS AND SOLUTION OF DISCRETE OPTIMIZATION PROBLEMS WITH LOGICAL CONSTRAINTS ON THE BASE OF L-PARTITION APPROACH
+Normal rank