„Satisfiability“
Suchergebnisse
596 Treffer
-
Dual-normal logic programs – the forgotten class
-
SAT Interactions (Dagstuhl Seminar 12471)
-
Solving quantified verification conditions using satisfiability modulo theories
-
The Satisfiability Threshold For Random Linear Equations
-
Finding Optimal Solutions With Neighborly Help
-
Satisfiability for SCULPT-Schemas for CSV-Like Data
-
Quine's Fluted Fragment is Non-Elementary
-
The Complexity of Satisfiability for Fragments of CTL and CTL⋆
-
Fast(er) Reasoning in Interval Temporal Logic
-
Deciding Hyperproperties
-
Complexity Classifications for Different Equivalence and Audit Problems for Boolean Circuits
-
Satisfiability modulo user propagators
-
Satisfiability of Non-linear Transcendental Arithmetic as a Certificate Search Problem
-
Summary of "A Lazy Approach to Neural Numerical Planning with Control Parameters" (Extended Abstract)
-
Inferring Sensor Placement Using Critical Pairs and Satisfiability Modulo Theory
-
The Number of Random 2-SAT Solutions Is Asymptotically Log-Normal
-
Coinductive Techniques for Checking Satisfiability of Generalized Nested Conditions
-
Minimizing Working-Group Conflicts in Conference Session Scheduling Through Maximum Satisfiability (Short Paper)
-
Structure-Guided Local Improvement for Maximum Satisfiability
-
Slide&Drill, a New Approach for Multi-Objective Combinatorial Optimization