A formal methods approach to predicting new features of the eukaryotic vesicle traffic system (Q2022307): Difference between revisions

@@ Property / cites work @@
+Satisfiability Modulo Theories
@@ Property / cites work: Satisfiability Modulo Theories / rank @@
+Normal rank
@@ Property / cites work @@
+Q3620436
@@ Property / cites work: Q3620436 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5503674
@@ Property / cites work: Q5503674 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4553262
@@ Property / cites work: Q4553262 / rank @@
+Normal rank
@@ Property / cites work @@
+Syntax-guided optimal synthesis for chemical reaction networks
+Normal rank
@@ Property / cites work @@
+Tools and Algorithms for the Construction and Analysis of Systems
+Normal rank
@@ Property / cites work @@
+The complexity of theorem-proving procedures
@@ Property / cites work: The complexity of theorem-proving procedures / rank @@
+Normal rank
@@ Property / cites work @@
+Efficient E-Matching for SMT Solvers
@@ Property / cites work: Efficient E-Matching for SMT Solvers / rank @@
+Normal rank
@@ Property / cites work @@
+Model Checking Gene Regulatory Networks
@@ Property / cites work: Model Checking Gene Regulatory Networks / rank @@
+Normal rank
@@ Property / cites work @@
+Automating string processing in spreadsheets using input-output examples
+Normal rank
@@ Property / cites work @@
+Synthesis for vesicle traffic systems
@@ Property / cites work: Synthesis for vesicle traffic systems / rank @@
+Normal rank
@@ Property / cites work @@
+Exact DFA Identification Using SAT Solvers
@@ Property / cites work: Exact DFA Identification Using SAT Solvers / rank @@
+Normal rank
@@ Property / cites work @@
+Compressing BMC Encodings with QBF
@@ Property / cites work: Compressing BMC Encodings with QBF / rank @@
+Normal rank
@@ Property / cites work @@
+Synthesis of biological models from mutation experiments
+Normal rank
@@ Property / cites work @@
+Solving SAT and SAT Modulo Theories
@@ Property / cites work: Solving SAT and SAT Modulo Theories / rank @@
+Normal rank
@@ Property / cites work @@
+A Theorem on Graphs, with an Application to a Problem of Traffic Control
+Normal rank
@@ Property / cites work @@
+Relationships between nondeterministic and deterministic tape complexities
+Normal rank
@@ Property / cites work @@
+Q4131648
@@ Property / cites work: Q4131648 / rank @@
+Normal rank
@@ Property / cites work @@
+Effective use of Boolean satisfiability procedures in the formal verification of superscalar and VLIW microprocessors.
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1007/s00236-019-00357-3
+Normal rank
@@ Property / OpenAlex ID @@
+W2993534199
@@ Property / OpenAlex ID: W2993534199 / rank @@
+Normal rank
@@ Property / Wikidata QID @@
+Q126669409
@@ Property / Wikidata QID: Q126669409 / rank @@
+Normal rank