Integrating Conflict Driven Clause Learning to Local Search
, 2009 This article introduces SatHyS (SAT HYbrid Solver), a novel hybrid approach for propositional satisfiability. It combines local search and conflict driven clause learning (CDCL) scheme. Each time the local search part reaches a local minimum, the CDCL is
Bertrand Mazure +5 more
core +3 more sources
The Political Legitimacy of Multilevel Crisis Governance: The EU's Recovery and Resilience Facility
JCMS: Journal of Common Market Studies, EarlyView.Abstract European‐wide crises have required extraordinary responses from the EU and its member states that affected its governance and legal framework as well as its legitimacy. The recent COVID‐19 pandemic spread across borders and involved multiple levels of government to mitigate its socio‐economic impact and facilitate a swift recovery.
Marius Guderjan, Mario Kölling
wiley +1 more source
An Experimental Study of Adaptive Control for Evolutionary Algorithms [PDF]
, 2014 The balance of exploration versus exploitation (EvE) is a key issue on evolutionary computation. In this paper we will investigate how an adaptive controller aimed to perform Operator Selection can be used to dynamically manage the EvE balance required ...
di Tollo, Giacomo +3 more
core +5 more sources
Journal of Management Studies, EarlyView.Abstract This article examines how and to what extent violence has become a pivotal tool for conducting business in places integrated into the global value chain. It also explores the roles stakeholders play in silencing workers' resistance within these places.
Shoaib Ahmed
wiley +1 more source
Righting a Financial Wrong: Debt Settlement Services, Private Student Lenders, and Auto Lenders Use Forced Arbitration to Escape Accountability When They Harm Consumers [PDF]
, 2014 The Consumer Financial Protection Bureau (CFPB, or "the Bureau") in December 2013 released preliminary results of a study called for in the 2010 Dodd -- Frank Wall Street Reform and Consumer Protection Act on financial services businesses' use of ...
Christine Hines
core
Relaxation and Metastability in the RandomWalkSAT search procedure
, 2003 An analysis of the average properties of a local search resolution procedure for the satisfaction of random Boolean constraints is presented. Depending on the ratio alpha of constraints per variable, resolution takes a time T_res growing linearly (T_res \
A. Montanari +31 more
core +1 more source
Literary Journalism on Trial: Janet Malcolm, Criminal Character and the Legacy of New Journalism
Critical Quarterly, EarlyView.
Jess Cotton
wiley +1 more source
Duration and Term Structure of Trade Agreements [PDF]
, 2010 Why are some trade agreements concluded for a limited period of time while others have the form of evergreen contracts supplemented with an advance termination notice clause?
Guriev, Sergei, Klimenko, Mikhail
core
Slow switching and the psychology of memory
Mind &Language, EarlyView.This article presents elements of a theory of the representational contents of episodic memory and a new perspective on the relationship between memory and self‐knowledge. These two interrelated outcomes fall out of a novel naturalistic treatment of the debate concerning the compatibility between semantic externalism and a priori self‐knowledge.
Jay Richardson
wiley +1 more source
Capital market development, corporate governance and the credibility of exchange rate pegs [PDF]
Focusing on emerging market currency arrangements, we build a model of an exchange rate peg with escape clauses and output persistence. We first show how output persistence works as an additional 'fundamental' so that an exogenous increase in persistence
Castrén, Olli, Takalo, Tuomas
core +3 more sources