„Satisfiability“
Suchergebnisse
1.000+ Treffer
-
SAT Encodings and Beyond (Dagstuhl Seminar 23261)
-
Parameterised complexity of model checking and satisfiability in propositional dependence logic
-
SPABBATS: A pathway-discovery method based on Boolean satisfiability that facilitates the characterization of suppressor mutants
-
Effiziente Erfüllbarkeitsalgorithmen für die Generierung von Testmustern Efficient Satisfiability Solving Algorithms for Test Pattern Generation
-
2-Xor Revisited: Satisfiability and Probabilities of Functions
-
Cylindrical algebraic decomposition based methods in satisfiability modulo non-linear real arithmetic
-
Revisiting SATZilla Features in 2024
-
Automated Validation & Verification of UML/OCL Models Using Satisfiability Solvers
-
Easier Ways to Prove Counting Hard: A Dichotomy for Generalized #SAT, Applied to Constraint Graphs
-
Efficient solution of Boolean satisfiability problems with digital memcomputing
-
Multi-discrete genetic algorithm in hopfield neural network with weighted random k satisfiability
-
Partition function estimation and phase transitions on random satisfiability problems
-
Exact Algorithms and Hardness Result for the Boolean Connectivity Problem of k-Horn Formulas
-
Random Satisfiability Logic-Driven Approach in the Hopfield Neural Networks with Application to COVID-19 Datasets
-
Satisfiability with exponential families
-
Combinatorial Search: From Algorithms to Systems
-
The Expressive Power, Satisfiability and Path Checking Problems of MTL and TPTL over Non-Monotonic Data Words
-
On the Satisfiability of Temporal Logics with Concrete Domains
-
The Complexity of the Product Logics K4xS5 and S4xS5 and of the Logic SSL of Subset Spaces
-
Logikbasierte Optimierungsverfahren für die Bedarfsprognose