A Low-Load Distributed Stream Processing System for Continuous Conjunctive Normal Form Queries
Sign Up to like & getrecommendations! Published in 2022 at "IEEE Transactions on Cloud Computing"
DOI: 10.1109/tcc.2020.3034340
Abstract: One of the research issues for stream data is fast notification of continuous query results. Recent researches assume that query processing servers receive data from remote data sources continuously. Therefore, when a large number of… read more here.
Keywords: system; processing; communication traffic; conjunctive normal ... See more keywords
A Structural Entropy Measurement Principle of Propositional Formulas in Conjunctive Normal Form
Sign Up to like & getrecommendations! Published in 2021 at "Entropy"
DOI: 10.3390/e23030303
Abstract: The satisfiability (SAT) problem is a core problem in computer science. Existing studies have shown that most industrial SAT instances can be effectively solved by modern SAT solvers while random SAT instances cannot. It is… read more here.
Keywords: formula; entropy; propositional formulas; formulas conjunctive ... See more keywords