Results 71 to 80 of about 246,520 (298)
Introducing a Resolvable Network-Based SAT Solver Using Monotone CNF–DNF Dualization and Resolution
MathematicsThis paper is a theoretical contribution that introduces a new reasoning framework for SAT solving based on resolvable networks (RNs). RNs provide a graph-based representation of propositional satisfiability in which clauses are interpreted as directed ...
Gábor Kusper, Benedek Nagy
doaj +1 more source
Formalization and Implementation of Modern SAT Solvers [PDF]
Journal of Automated Reasoning, 2009 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire +1 more source
An efficient solver for weighted Max-SAT [PDF]
Journal of Global Optimization, 2007 We present a new branch and bound algorithm for weighted Max-SAT, called Lazy which incorporates original data structures and inference rules, as well as a lower bound of better quality. We provide experimental evidence that our solver is very competitive and outperforms some of the best performing Max-SAT and weighted Max-SAT solvers on a wide range ...
Teresa Alsinet +2 more
openaire +5 more sources
The Shewanella oneidensis Fic enzyme SoFic targets the switch‐I region of EF‐Tu for AMPylation
FEBS Letters, EarlyView.Fic enzymes mediate diverse post‐translational modifications across all domains of life, including AMPylation. Prokaryotic EF‐Tu can be AMPylated and deAMPylated by the conserved Fic enzyme SoFic. Structural and biochemical approaches were used to characterize the effect of AMPylation on EF‐Tu, SoFic's enzymatic activities, and the enzyme‐target ...
Svenja Runge +6 more
wiley +1 more source
Strengthening Crypto-1 Cipher Against Algebraic Attacks
Journal of ICT Research and Applications, 2015 In the last few years, several studies addressed the problem of data security in Mifare Classic. One of its weaknesses is the low random number quality. This causes SAT solver attacks to have lower complexity.
Farah Afianti, Ari M. Barmawi
doaj +1 more source
Prospecting the protein design landscape
FEBS Letters, EarlyView.This review outlines the current state of various protein design approaches. We discuss the current possibilities enabled by recently released tools, highlight future avenues to pursue in protein design, and underscore the crucial role of key databases and resources for successful protein design workflows.
Jakob R. Riccabona +4 more
wiley +1 more source
FEBS Letters, EarlyView.Synechocystis strains deficient in succinate dehydrogenase (SDH) secrete more succinate than the WT under dark anaerobic conditions, supporting that SDH then primarily acts as SDH, not as a fumarate reductase. L‐aspartate oxidase (Laspo) from Synechocystis is functional under anaerobic conditions, reducing fumarate to succinate.
Kateryna Kukil +3 more
wiley +1 more source
A signal correlation guided circuit-sat solver
, 2004 : We propose two heuristics, implicit learning and explicit learning, that utilize circuit topological information and signal correlations to derive conflict clauses that could efficiently prune the search space for solving circuit-based SAT problem ...
John Moondanos +12 more
core +2 more sources
Artificial molecular machines and motors—Design and control of nanoscale motion
FEBS Letters, EarlyView.Molecules are constantly moving because of thermal fluctuations, but random motion alone cannot be exploited to perform directional tasks. Artificial molecular machines use chemical, electrical, or light energy to bias this motion. Molecular shuttles, rotary motors, and supramolecular pumps illustrate how nanoscale movement can be controlled and ...
Leonardo Andreoni, Alberto Credi
wiley +1 more source
FEBS Letters, EarlyView.Heterodimeric amino acid transporters consist of SLC7 and SLC3 family proteins arranged in a conserved structural organization. They regulate nutrient transport across cell membranes, supporting essential cellular functions. These transporters also contribute to xenobiotic/drug uptake and distribution.
Mariafrancesca Scalise +5 more
wiley +1 more source