Modern Chaff-like SAT solvers enhance plain backtracking (DLL) by Conflict-Driven Learning (CDL), including 1UIP-based Conflict-Directed Backjumping (CDB), Non-Chronological Backtracking (NCB), and 1UIP-based Conflict-Clause Recording (CCR). We show how to add these enhancements step-by-step to plain DLL to derive Chaff’s Conflict-Driven Learning algorithm, separately and independently of BCP, ...

This paper studies the effects of power-concentrating institutions on the quality of political selection, i.e., the voters’ capacity to identify and empower well-suited politicians. In our model, candidates are heterogeneous in two unobservable quality aspects: ability and public-spiritedness. As voters can only base their ballots on the candidates’ binding policy proposals, low-quality candida...

Demands and concessions in a multi-stage bargaining process are shaped by the probabilities that each side will prevail in an impasse. Standard game-theoretic predictions are quite sharp: demands are pushed to the precipice with nothing left on the table, but there is no conflict regardless of the degree of power asymmetry. Indeed, there is no delay in reaching an agreement that incorporates th...

This study was performed with the purpose to investigate the impact of perceptions regarding intragroup conflicts and physician power bases on the stress of nursing professionals. To do this, 124 nursing aides and technicians of a university hospital answered Scales on Work Stress, Supervisor Power Bases Perception, and Intragroup Conflict Perception, and a form containing socio-demographic dat...

game theory is an approach based on mathematics to study social interactions and modeling strategic situations. this theory focuses on decision situations where preferences of decision makers are disputed. existence of strategic position in city also with a conflict of interest or competition makes using game theory to describe the urban management issues, attractive. one of the important contr...

BACKGROUND Alcohol intoxication is known to impair decision making in a variety of situations. Previous neuroimaging evidence suggests that the neurofunctional system subserving controlled processing is especially vulnerable to alcohol in conflict-evoking tasks. The present study investigated the effects of moderate alcohol intoxication on the spatiotemporal neural dynamics of event-related tot...