scholarly journals Reducing SAT to Max2SAT

2021 ◽  
Author(s):  
Carlos Ansótegui ◽  
Jordi Levy
Keyword(s):  
Efficient Method ◽  
Combinatorial Structure ◽  
Constructive Method ◽  
Empirical Results ◽  
Sat Solvers

In the literature, we find reductions from 3SAT to Max2SAT. These reductions are based on the usage of a gadget, i.e., a combinatorial structure that allows translating constraints of one problem to constraints of another. Unfortunately, the generation of these gadgets lacks an intuitive or efficient method. In this paper, we provide an efficient and constructive method for Reducing SAT to Max2SAT and show empirical results of how MaxSAT solvers are more efficient than SAT solvers solving the translation of hard formulas for Resolution.

scholarly journals An Adaptive Strategy for Tuning Duplicate Trails in SAT Solvers

Symmetry ◽  
2019 ◽  
Vol 11 (2) ◽  
pp. 197
Author(s):  
Wenjing Chang ◽  
Yang Xu ◽  
Shuwei Chen
Keyword(s):  
Adaptive Strategy ◽  
Empirical Results ◽  
Sat Solvers ◽  
Decision Variables ◽  
Before And After ◽  
New Strategy ◽  
Clause Learning ◽  
Restart Strategy

In mainstream conflict driven clause learning (CDCL) solvers, because of frequent restarts and phase saving, there exists a large proportion of duplicate assignment trails before and after restarts, resulting in unnecessary time wastage during solving. This paper proposes a new strategy—identifying those duplicate assignments trails and dealing with them by changing the sort order. This approach’s performance is compared with that of the Luby static restart scheme and a dynamic Glucose-restart strategy. We show that the number of solved instances is increased by 3.2% and 4.6%. We also make a compassion with the MapleCOMSPS solver by testing against application benchmarks from the SAT Competitions 2015 to 2017. These empirical results provide further evidence of the benefits of the proposed heuristic, having the advantage of managing duplicate assignments trails and choosing appropriate decision variables adaptively.

scholarly journals Behavior Bounding: An Efficient Method for High-Level Behavior Comparison

2009 ◽  
Vol 34 ◽  
pp. 165-208 ◽  
Author(s):  
S. A. Wallace
Keyword(s):  
Human Behavior ◽  
Data Structures ◽  
Efficient Method ◽  
Theoretical Basis ◽  
Simple Method ◽  
Agent Behavior ◽  
Empirical Results ◽  
Version Spaces ◽  
Human Effort ◽  
High Level

In this paper, we explore methods for comparing agent behavior with human behavior to assist with validation. Our exploration begins by considering a simple method of behavior comparison. Motivated by shortcomings in this initial approach, we introduce behavior bounding, an automated model-based approach for comparing behavior that is inspired, in part, by Mitchell’s Version Spaces. We show that behavior bounding can be used to compactly represent both human and agent behavior. We argue that relatively low amounts of human effort are required to build, maintain, and use the data structures that underlie behavior bounding, and we provide a theoretical basis for these arguments using notions of PAC Learnability. Next, we show empirical results indicating that this approach is effective at identifying differences in certain types of behaviors and that it performs well when compared against our initial benchmark methods. Finally, we demonstrate that behavior bounding can produce information that allows developers to identify and fix problems in an agent’s behavior much more efficiently than standard debugging techniques.

Neuroscience and Ethics

2017 ◽  
Vol 64 (2) ◽  
pp. 82-92 ◽  
Author(s):  
S. Matthew Liao
Keyword(s):  
Empirical Evidence ◽  
Moral Judgments ◽  
Empirical Results ◽  
Joshua Greene

Abstract. A number of people believe that results from neuroscience have the potential to settle seemingly intractable debates concerning the nature, practice, and reliability of moral judgments. In particular, Joshua Greene has argued that evidence from neuroscience can be used to advance the long-standing debate between consequentialism and deontology. This paper first argues that charitably interpreted, Greene’s neuroscientific evidence can contribute to substantive ethical discussions by being part of an epistemic debunking argument. It then argues that taken as an epistemic debunking argument, Greene’s argument falls short in undermining deontological judgments. Lastly, it proposes that accepting Greene’s methodology at face value, neuroimaging results may in fact call into question the reliability of consequentialist judgments. The upshot is that Greene’s empirical results do not undermine deontology and that Greene’s project points toward a way by which empirical evidence such as neuroscientific evidence can play a role in normative debates.

Development of Strength-Based Youth Mentoring: Historical And Theoretical Perspectives, Empirical Results, and Policy Implications

2011 ◽  
Author(s):  
R. Bruce Thompson ◽  
Maryann Corsello ◽  
Samuel McReynolds ◽  
Bernice Conklin-Powers ◽  
Brittany Morley
Keyword(s):  
Policy Implications ◽  
Youth Mentoring ◽  
Empirical Results ◽  
Theoretical Perspectives ◽  
Strength Based

Preferences over Sequences-Empirical Results from Musical Sequences

2014 ◽  
Author(s):  
Manel Baucells ◽  
Daniel Smith ◽  
Martin Weber
Keyword(s):  
Empirical Results

The Effects of Employment Protection legislationon Personnel Policies: A Review of Theoretical Modelsand Empirical results

2014 ◽  
pp. 126-140
Author(s):  
O. Mironenko
Keyword(s):  
Personnel Selection ◽  
Selection Criteria ◽  
Theoretical Models ◽  
Employment Protection ◽  
Empirical Results ◽  
Protection Legislation ◽  
Labour Contracts ◽  
Hiring And Firing ◽  
The Impact ◽  
Personnel Policies

Employers incur costs while fulfilling the requirements of employment protection legislation. The article contains a review of the core theoretical models and empirical results concerning the impact of these costs on firms’ practices in hiring, firing, training and remuneration. Overall, if wages are flexible or enforcement is weak, employment protection does not significantly influence employers’ behavior. Otherwise, stringent employment protection results in the reduction of hiring and firing rates, changes in personnel selection criteria, types of labour contracts and dismissal procedures, and, in some cases, it may lead to the growth of wages and firms’ investments to human capital.

Human Capital Accumulation and Resource Abundance

2011 ◽  
pp. 66-77
Author(s):  
O. Vasilieva
Keyword(s):  
Economic Growth ◽  
Human Capital ◽  
Capital Accumulation ◽  
Relevant Literature ◽  
Harmful Effect ◽  
Human Capital Accumulation ◽  
Resource Abundance ◽  
Empirical Results ◽  
Theoretical Predictions ◽  
Crowd Out

Does resource abundance positively affect human capital accumulation? Or, alternatively, does it «crowd out» the human capital leading to the deterioration of economic growth? The paper gives an overview of the relevant literature and discusses both theoretical and empirical results obtained regarding the connection between human capital accumulation and resource abundance. It shows that despite some theoretical predictions about the harmful effect of resource abundance on human capital accumulation, unambiguous evidence of such impact that would be robust with respect to the change of resource abundance parameter has not been obtained yet.

ЭКОЛОГО-ГЕОХИМИЧЕСКОЕ РАЙОНИРОВАНИЕ ТЕРРИТОРИИГ. БИРОБИДЖАНА ПО УРОВНЮ ЗАГРЯЗНЕНИЯ СНЕЖНОГО ПОКРОВА

2019 ◽  
Author(s):  
V.B. Kalmanova
Keyword(s):  
Heavy Metals ◽  
Snow Cover ◽  
Urban Area ◽  
Constructive Method ◽  
Comparative Characteristic ◽  
Ecological State ◽  
Sources Of Pollution ◽  
Mobile Sources ◽  
Arcview Gis ◽  
Very High

В статье представлены результаты исследования экологогеохимического состояния снежного покрова как индикатора качества атмосферного воздуха г. Биробиджана. Выявлены основные природные и антропогенные факторы, предопределяющие экологическое состояние городской территории в зимний период (климатические, планировочная структура, стационарные и мобильные источники загрязнения). Определено, что выбросы основных загрязнителей во время отопительного сезона превышает летний в 6,5 раз. Проведены геохимические исследования снежного покрова на 60 экспериментальных площадках, заложенных в различных функциональных зонах города. Выявлено значительное превышение тяжелых металлов над фоновым уровнем: железа до 60, марганца до 50, меди до 40, цинка до 20, никеля до 12, свинца до 10, кобальта до 6 раз. С 2003 по 2018 годы содержание химических элементов в снеге увеличилось в 2 раза за счет мобильных источников загрязнения, ТЭЦ, котельных. Проведена сравнительная характеристика накопления тяжелых металлов в снеге за 2003 и 2018 годы и установлен ранжированный ряд загрязняющих токсичных веществ. Разработана шкала оценки загрязнения депонирующих сред по суммарному показателю концентрации тяжелых металлов, согласно которой в Биробиджане выявлено 5 уровней загрязнения снежного покрова. В целом экологическое состояние урбанизированной территории признано неудовлетворительным (8 площади территории относится к очень высокому, 14 к высокому, 21 к выше среднему, 27 к среднему уровням загрязнения, 30 к относительно чистым районам города). По полученным результатам разработана карта в программе ArcView GIS Экологогеохимическое районирование территории г. Биробиджана по уровню загрязнения снежного покрова с выделением наиболее загрязненных участков (70 от общей площади города является загрязненной). По результатам проведенных исследований предложены конструктивные методы планирования урбанизированной территории с целью улучшения ее экологического состояния: проведение геомониторинга (контроль загрязнения снежного покрова и своевременный его вывоз на специально оборудованные полигоны). Snow cover is taken as an indicator of air quality using Birobidzhan, a middlesize city in the Russian Far East, as a case study. The main natural and manmade determinants influencing the ecological state of the urban area in winter are identified: climate, a planning structure, and the stationary and mobile sources of pollution. During the heating season the emission of major pollutants exceeds the summer level by 6.5 times. The geochemical study of snow cover was performed at 60 experimental sites in different functional urban areas. A significant excess of heavy metals over the regional background level was revealed: iron up to 60 times, manganese up to 50, copper up to 40, zinc up to 20 , nickel up to 12, lead up to 10, cobalt up to 6 times. From 2003 to 2018 the content of chemical elements in snow increased in 2 times due to the mobile sources of pollution, thermal power plants, and boilers. The comparative characteristic of accumulation of heavy metals in snow for 2003 and 2018 is carried out, and the ranked number of polluting toxic substances is established. The scale of pollution assessment in depositing environments was developed using the cumulative indicator of heavy metal concentration. Five levels of snow cover pollution are found in Birobidzhan: low, moderate, above moderate, high and very high. As a whole, the ecological state of the urban area is considered as unsatisfactory (8 of the area with a very high level of pollution, 14 with high, 21 above moderate, 27 a moderate level of pollution, 30 a relatively clean area). According to the results, a map was developed in the ArcView GIS program Ecological and geochemical zoning of Birobidzhan, using the level of the snow cover pollution with the allocation of the most polluted areas (70 of the total area of the city is polluted). According to the results, a constructive method of planning in an urban area is proposed in order to improve its environmental condition: geomonitoring as a control of pollution in snow cover and its prompt removal to specially equipped landfills.

Sign in / Sign up

Export Citation Format

Share Document