Mathematical programming approach to the Petri nets reachability problem (Q856211): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1016/j.ejor.2005.10.060
+Normal rank
@@ Property / OpenAlex ID @@
+W1996191241
@@ Property / OpenAlex ID: W1996191241 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3773358
@@ Property / cites work: Q3773358 / rank @@
+Normal rank
@@ Property / cites work @@
+Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems
+Normal rank
@@ Property / cites work @@
+Q3694702
@@ Property / cites work: Q3694702 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4023496
@@ Property / cites work: Q4023496 / rank @@
+Normal rank
@@ Property / cites work @@
+Formal verification of parallel programs
@@ Property / cites work: Formal verification of parallel programs / rank @@
+Normal rank
@@ Property / cites work @@
+Parallel program schemata
@@ Property / cites work: Parallel program schemata / rank @@
+Normal rank
@@ Property / cites work @@
+Q4535180
@@ Property / cites work: Q4535180 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3771634
@@ Property / cites work: Q3771634 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4040299
@@ Property / cites work: Q4040299 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4471845
@@ Property / cites work: Q4471845 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4247289
@@ Property / cites work: Q4247289 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4220896
@@ Property / cites work: Q4220896 / rank @@
+Normal rank