Results 311 to 320 of about 1,320,893 (348)
Some of the next articles are maybe not open access.
A Method for the Determinisation of Propositional Temporal Formulae
1992This paper is concerned with the generation of models for specifications expressed in a propositional temporal logic. These specifications represent dynamic and interacting systems and hence contain references to the environment in which the systems will execute.
openaire +2 more sources
On the Complexity of Derivation in Propositional Calculus
, 1983G. S. Tseitin
semanticscholar +1 more source
A DPLL Procedure for the Propositional Product Logic
International Joint Conference on Computational Intelligence, 2018Dušan Guller
semanticscholar +1 more source
A Proof-Sensitive Approach for Small Propositional Interpolants
Verified Software: Theories, Tools, Experiments, 2015Leonardo S. Alt +3 more
semanticscholar +1 more source
Propositional Calculus: Formulas, Models, Tableaux
2001A data type consists of a set of values and a set of predefined operators on those values. For example, in integer arithmetic the values are {..., −2, −1, 0, 1, 2,...} and the operators are {+, −, *, /}. The selection of these operators is arbitrary in the sense that other operators such as mod and abs could be added to the set.
openaire +2 more sources
A class of realizable propositional formulas
Journal of Soviet Mathematics, 1972openaire +4 more sources
SAT-Based Formula Simplification
International Conference on Theory and Applications of Satisfiability Testing, 2015Alexey Ignatiev +2 more
semanticscholar +1 more source
Pseudo-halide anion engineering for α-FAPbI3 perovskite solar cells
Nature, 2021Jaeki Jeong, Jongdeuk Seo, Haizhou Lu
exaly
The Relative Efficiency of Propositional Proof Systems
Journal of Symbolic Logic (JSL), 1979S. Cook, R. Reckhow
semanticscholar +1 more source