„Boolean satisfiability“
Suchergebnisse
1.000+ Treffer
-
SPABBATS: A pathway-discovery method based on Boolean satisfiability that facilitates the characterization of suppressor mutants
-
Efficient solution of Boolean satisfiability problems with digital memcomputing
-
Exact Algorithms and Hardness Result for the Boolean Connectivity Problem of k-Horn Formulas
-
Logikbasierte Optimierungsverfahren für die Bedarfsprognose
-
SAT Encodings of Finite CSPs
-
Towards Next Generation Sequential and Parallel SAT Solvers
-
WoLFram - A Word Level Framework for Formal Verification and its Application
-
Connectivity of Boolean satisfiability
-
SAT-based String Solving – Solving String Constraints by Reduction to Boolean Satisfiability
-
A Topological Version of Schaefer’s Dichotomy Theorem
-
Static Detection of Software Errors – Precise and Scalable Algorithms for Automatic Detection of Software Errors
-
Handbook of Parallel Constraint Reasoning
-
On Top-Down Pseudo-Boolean Model Counting
-
Towards Modern and Modular SAT for LCG (Short Paper)
-
DynamicSAT: Dynamic Configuration Tuning for SAT Solving
-
SPABBATS: a pathway-discovery method based on Boolean satisfiability that facilitates the characterization of suppressor mutants
-
Decision Procedures – An Algorithmic Point of View
-
Finding Small Satisfying Assignments Faster Than Brute Force: A Fine-Grained Perspective into Boolean Constraint Satisfaction
-
SAT and Interactions (Dagstuhl Seminar 16381)
-
SAT Interactions (Dagstuhl Seminar 12471)