Results 21 to 30 of about 1,600,173 (280)
Strengthening Model Checking Techniques with Inductive Invariants [PDF]
, 2009 This paper describes optimized techniques to efficiently compute and reap benefits from inductive invariants within SAT-based model checking. We address sequential circuit verification, and we consider both equivalences and implications between pairs of ...
Cabodi, Gianpiero +2 more
core +1 more source
Why almost all satisfiable $k$-CNF formulas are easy [PDF]
Discrete Mathematics & Theoretical Computer Science, 2007 Finding a satisfying assignment for a $k$-CNF formula $(k \geq 3)$, assuming such exists, is a notoriously hard problem. In this work we consider the uniform distribution over satisfiable $k$-CNF formulas with a linear number of clauses (clause-variable ...
Amin Coja-Oghlan +2 more
doaj +1 more source
National Journal of Physiology, Pharmacy and Pharmacology, 2023 Background: Female sterilization is the most accepted method of contraception in India. Almost 5–6 million female sterilization procedures are performed annually contributing to 98% of all sterilizations and roughly 62% of all contraceptive use. Although,
Mayadevi Brahmanandan +2 more
doaj +1 more source
The Fractal Dimension of SAT Formulas [PDF]
, 2013 Modern SAT solvers have experienced a remarkable progress on solving industrial instances. Most of the techniques have been developed after an intensive experimental testing process.
Ansótegui, C. +3 more
core +3 more sources
Journal of Pure and Applied Microbiology, 2018 The clinical pathogenic strains of S. dysenteriae in this study were initially diagnosed as enteroinvasive E. coli due to the high similarity in characterization and pathogenic mechanism.
Nagham Sh. Alattar +2 more
doaj +1 more source
HordeSat: A Massively Parallel Portfolio SAT Solver
, 2015 A simple yet successful approach to parallel satisfiability (SAT) solving is to run several different (a portfolio of) SAT solvers on the input problem at the same time until one solver finds a solution.
Balyo, Tomas +2 more
core +1 more source
Crystal structure of the 3C protease from South African Territories type 2 foot-and-mouth disease virus [PDF]
, 2016 The replication of foot-and-mouth disease virus (FMDV) is dependent on the virus-encoded 3C protease (3Cpro). As in other picornaviruses, 3Cpro performs most of the proteolytic processing of the polyprotein expressed from the single open reading frame in
Curry, S, Leen, EN, Maree, FF, Yang, J
core +4 more sources
Effect analysis of antenna translation vibration on GEO SARimage
The Journal of Engineering, 2019 Due to the high orbital altitude, the large-area antenna and solar array will be utilised in geosynchronous synthetic aperture radar (GEO SAR) to meet the requirement of high transmitting power.
Tianyi Zhang +5 more
doaj +1 more source
Transplantation Reports, 2023 The global organ transplant activity remains satisfying less than 10% of the total number of patients in the waiting list. Brain dead donors and living donors have been the most common source of organs used worldwide.
Pablo Farinelli +15 more
doaj +1 more source
Learning Robot Speech Models to Predict Speech Acts in HRI
Paladyn, 2016 In order to be acceptable and able to “camouflage” into their physio-social context in the long run, robots need to be not just functional, but autonomously psycho-affective as well. This motivates a long term necessity of introducing behavioral autonomy
Arora Ankuj +3 more
doaj +1 more source