„Propositional Satisfiability“
Suchergebnisse
1.000+ Treffer
-
SAT Encodings and Beyond (Dagstuhl Seminar 23261)
-
Parameterised complexity of model checking and satisfiability in propositional dependence logic
-
Towards Next Generation Sequential and Parallel SAT Solvers
-
Logic for Programming, Artificial Intelligence, and Reasoning – 17th International Conference, LPAR-17, Yogyakarta, Indonesia, October 10-15, 2010. Proceedings
-
Recursive Backdoors for SAT
-
Expressive Equivalence Between Decidable Freeze and Metric Timed Temporal Logics.
-
CNOT-Optimal Clifford Synthesis as SAT
-
Analyzing Self-Stabilization of Synchronous Unison via Propositional Satisfiability
-
Decision Procedures – An Algorithmic Point of View
-
Economic sanctions as the propositional satisfiability problem
-
Dual-normal logic programs – the forgotten class
-
Optimal Layout Synthesis for Deep Quantum Circuits on NISQ Processors with 100+ Qubits
-
The Propositional Satisfiability Problem -- Algorithms and Lower Bounds (Dagstuhl Seminar 03141)
-
Proof Complexity and Its Relations to SAT Solving (Invited Talk)
-
A Comprehensive Study of k-Portfolios of Recent SAT Solvers
-
On the Enumeration of Frequent High Utility Itemsets: A Symbolic AI Approach
-
Parallel Model Counting with CUDA: Algorithm Engineering for Efficient Hardware Utilization
-
Generating Event-Sequence Test Cases by Answer Set Programming with the Incidence Matrix
-
Satisfiability: where Theory meets Practice (Invited Talk)
-
Better Algorithms for Satisfiability Problems for Formulas of Bounded Rank-width