A fixed point operator for the generalised maximum satisfiability problem (Q689970): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Q3475303
@@ Property / cites work: Q3475303 / rank @@
+Normal rank
@@ Property / cites work @@
+Future paths for integer programming and links to artificial intelligence
+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 @@
+Q3908823
@@ Property / cites work: Q3908823 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3781511
@@ Property / cites work: Q3781511 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5526189
@@ Property / cites work: Q5526189 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3777423
@@ Property / cites work: Q3777423 / rank @@
+Normal rank