Generalized Craig Interpolation for Stochastic Boolean Satisfiability Problems With Applications to Probabilistic State Reachability and Region Stability

Logical Methods in Computer Science - Germany
doi 10.2168/lmcs-8(2:16)2012
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Logical Methods in Computer Science e.V.

Related search

Bi-Decomposing Large Boolean Functions via Interpolation and Satisfiability Solving

2008English

Probabilistic Reachability Analysis for Large Scale Stochastic Hybrid Systems

2007English

Boolean Satisfiability With Transitivity Constraints

ACM Transactions on Computational Logic
Computational MathematicsTheoretical Computer ScienceComputer ScienceLogic
2002English

A Logical Deduction Based Clause Learning Algorithm for Boolean Satisfiability Problems

International Journal of Computational Intelligence Systems
Computational MathematicsComputer Science
2017English

Boolean Satisfiability in Quantum Compilation

Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences
MathematicsEngineeringAstronomyPhysics
2019English

Shatter: Efficient Symmetry-Breaking for Boolean Satisfiability

English

Stability Region for Linear Systems With Generalized Frequency Variables

Transactions of the Society of Instrument and Control Engineers
2012English

A Stochastic Continuous Optimization Backend for MiniZinc With Applications to Geometrical Placement Problems

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2016English

Generalized Random Α-Ψ-Contractive Mappings With Applications to Stochastic Differential Equation

Symmetry
MathematicsChemistryPhysicsComputer ScienceAstronomy
2019English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2024 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy