Combinatorics, Probability and Computing, 2023 AbstractIn this paper we study a variation of the random $k$ -SAT problem, called polarised random $k$ -SAT, which contains both the classical random $k$ -SAT model and the random version of monotone $k$ -SAT another well-known NP-complete version of SAT.
Joel Larsson Danielsson, Klas Markström
openaire +3 more sources
Processes shaping the spatial pattern and seasonality of the surface air temperature response to anthropogenic forcing [PDF]
, 2020 In the period 1960-2010, the land surface air temperature (SAT) warmed more rapidly over some regions relative to the global mean. Using a set of time-slice experiments, we highlight how different physical processes shape the regional pattern of SAT ...
Dong, Buwen +4 more
core +1 more source
Community structure in industrial SAT instances [PDF]
, 2019 Modern SAT solvers have experienced a remarkable progress on solving industrial instances. It is believed that most of these successful techniques exploit the underlying structure of industrial instances.
Ansótegui Gil, Carlos +4 more
core +1 more source
Le identità transgender tra espressioni e vincoli dei corpi. L’autodeterminazione nell’approccio medicalizzato alla transizione [PDF]
S&F_scienzaefilosofia.it, 2020 Trangender identities between body’s expression and constrictions. Self-determination in medicalized gender transition Trans identities, through their non-conforming bodies, undermine a natural order based on the correspondence between sex and gender ...
GIARDINA, GIULIA, ZABONATI, ANNALISA
doaj
The relationship between frailty and social participation: focus on subjective health
BMC Research Notes, 2023 Objective Active participation of the older adults in the society is crucial; however, frailty prevents social participation. Meanwhile, many older adults participate daily in social activities, even with frailty. This study aims to examine whether older
Yuho Shimizu +3 more
doaj +1 more source
A new construction for a QMA complete 3-local Hamiltonian [PDF]
, 2006 We present a new way of encoding a quantum computation into a 3-local Hamiltonian. Our construction is novel in that it does not include any terms that induce legal-illegal clock transitions.
Aharonov D. +4 more
core +2 more sources
Set Constraint Model and Automated Encoding into SAT: Application to the Social Golfer Problem [PDF]
, 2014 On the one hand, Constraint Satisfaction Problems allow one to declaratively model problems. On the other hand, propositional satisfiability problem (SAT) solvers can handle huge SAT instances.
Crawford, Broderick +3 more
core +6 more sources
On Minimum Saturated Matrices [PDF]
, 2012 Motivated by the work of Anstee, Griggs, and Sali on forbidden submatrices and the extremal sat-function for graphs, we introduce sat-type problems for matrices. Let F be a family of k-row matrices.
Dudek, Andrzej +2 more
core +2 more sources
LSTM-ANN based DTC of Induction Motor with 5 Level Inverter [PDF]
E3S Web of ConferencesMedium voltage drives especially induction motor drives are mostly using in industries for many applications. The precious intelligent control of induction motors are high required in nuclear power generation units.
Singh Satendra +3 more
doaj +1 more source
Higher-order effects on the incompressibility of isospin asymmetric nuclear matter [PDF]
, 2009 Analytical expressions for the saturation density as well as the binding energy and incompressibility at the saturation density of asymmetric nuclear matter are given exactly up to 4th-order in the isospin asymmetry delta =(rho_n - rho_p)/rho using 11 ...
Cai, Bao-Jun +5 more
core +2 more sources