Results 41 to 50 of about 246,520 (298)
LearnSAT: A SAT Solver for Education [PDF]
Journal of Open Source Software, 2013 The extensive research on SAT solving and the development of software for applications have not been matched by the development of educational materials for introducing students to this field. LearnSAT is a SAT solver designed for educational purposes. It implements the DPLL algorithm with CDCL and NCB.
openaire +3 more sources
AIP Conference Proceedings, 2017 In Computer Science, the Boolean Satisfiability Problem(SAT) is the problem of determining if there exists an interpretation that satisfies a given Boolean formula. SAT is one of the first problems that was proven to be NP-complete, which is also fundamental to artificial intelligence, algorithm and hardware design.
Weiwei Gong, Xu Zhou
openaire +1 more source
Exploiting Macro-actions and Predicting Plan Length in Planning as Satisfiability [PDF]
, 2012 The use of automatically learned knowledge for a planning domain can significantly improve the performance of a generic planner when solving a problem in this domain.
Vallati, Mauro +2 more
core +2 more sources
Extended Resolution Clause Learning via Dual Implication Points [PDF]
Logical Methods in Computer ScienceWe present a new extended resolution clause learning (ERCL) algorithm, implemented as part of a conflict-driven clause-learning (CDCL) SAT solver, wherein new variables are dynamically introduced as definitions for {\it Dual Implication Points} (DIPs) in
Sam Buss +3 more
doaj +1 more source
ManySAT: a Parallel SAT Solver
Journal on Satisfiability, Boolean Modeling and Computation, 2009 In this paper, ManySAT a new portfolio-based parallel SAT solver is thoroughly described. The design of ManySAT benefits from the main weaknesses of modern SAT solvers: their sensitivity to parameter tuning and their lack of robustness. ManySAT uses a portfolio of complementary sequential algorithms obtained through careful variations of the standard ...
Youssef Hamadi +2 more
openaire +2 more sources
FEBS Letters, EarlyView.We present robust protocols for the preparation of supported lipid bilayers (SLBs) incorporating either Salmonella smooth LPS or outer membrane vesicles (OMVs). We use a combination of quartz crystal microbalance with dissipation (QCM‐D) and fluorescence microscopy to both characterize the SLBs of various compositions and to probe their interactions ...
Hudson P. Pace +6 more
wiley +1 more source
CDCL(Crypto) SAT Solvers for Cryptanalysis
CoRR, 2020 Over the last two decades, we have seen a dramatic improvement in the efficiency of conflict-driven clause-learning Boolean satisfiability (CDCL SAT) solvers on industrial problems from a variety of domains. The availability of such powerful general-purpose search tools as SAT solvers has led many researchers to propose SAT-based methods for ...
Saeed Nejati, Vijay Ganesh 0001
openaire +4 more sources
FEBS Letters, EarlyView.Proteostasis and the gut microbiota play a key role in shaping host physiology. Microbiota‐derived metabolites, vitamins, and RNA modulate host proteostasis. Findings from model systems, including C. elegans, indicate microbes can either stabilize or disrupt host proteostasis.
Abhishek Anil Dubey, Maria Ermolaeva
wiley +1 more source
Theory Propagation and Rational-Trees [PDF]
, 2013 SAT Modulo Theories (SMT) is the problem of determining the satisfiability of a formula in which constraints, drawn from a given constraint theory T, are composed with logical connectives.
Howe, Jacob M. +5 more
core +1 more source
Design and analysis strategies for robust microbiome ageing research
FEBS Letters, EarlyView.The gut microbiome changes with age and associates with age‐related morbidity and mortality, establishing it as a potential biomarker and intervention target for ageing. Realising this potential requires methodological rigour, yet distinguishing biological signals from methodological artefacts remains challenging across cohorts. This review provides an
Mark Olenik +5 more
wiley +1 more source