„satisfiability“
Suchergebnisse
596 Treffer
-
New Formal Methods for Automotive Configuration
-
Satisfiability and Optimization in Periodic Traffic Flow Problems
-
Verification of Stochastic Systems by Stochastic Satisfiability Modulo Theories with Continuous Domain (CSSMT)
-
WoLFram - A Word Level Framework for Formal Verification and its Application
-
Connectivity of Boolean satisfiability
-
Logics on data words – Expressivity, satisfiability, model checking
-
On the Satisfiability of Random 3-SAT Formulas with k-Wise Independent Clauses
-
SAT-based String Solving – Solving String Constraints by Reduction to Boolean Satisfiability
-
A Topological Version of Schaefer’s Dichotomy Theorem
-
Symbolic reactive synthesis
-
Recursive Backdoors for SAT
-
Mathematical Software – ICMS 2018 – 6th International Conference, South Bend, IN, USA, July 24-27, 2018, Proceedings
-
Verification, Model Checking, and Abstract Interpretation – 19th International Conference, VMCAI 2018, Los Angeles, CA, USA, January 7-9, 2018, Proceedings
-
Theory and Applications of Satisfiability Testing – SAT 2017 – 20th International Conference, Melbourne, VIC, Australia, August 28 – September 1, 2017, Proceedings
-
Min-CSPs on Complete Instances II: Polylogarithmic Approximation for Min-NAE-3-SAT
-
Quantum SAT Problems with Finite Sets of Projectors Are Complete for a Plethora of Classes
-
Parameterized Streaming Algorithms for Topological Sorting
-
Static Detection of Software Errors – Precise and Scalable Algorithms for Automatic Detection of Software Errors
-
Automated Reasoning – 7th International Joint Conference, IJCAR 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 19-22, 2014. Proceedings
-
FM 2011: Formal Methods – 17th International Symposium on Formal Methods, Limerick, Ireland, June 20-24, 2011. Proceedings