In this work, we improve on existing results on the relationship between proof systems obtained from conflict-driven clause-learning SAT solvers and general resolution. Previous contributions such as those by Beame et al (2004), Hertel et al (2008), and Buss et al (2008) demonstrated that variations on conflict-driven clause-learning SAT solvers corresponded to proof systems as powerful as gene...

Conflict resolution is nowadays an important topic. Online Dispute Resolution in particular is nowadays a major research topic, focusing on the development of technology-based tools to assist parties involved in conflict resolution processes. In this paper we present such a tool aimed at the generation of solutions. It is based on Genetic Algorithms that evolve a population of solutions through...

A contextual approach to the study of sanction maps an important connection between the behavioral sciences and jurisprudence .I Modem jurisprudence is open to the scientific study of every phase of law in society. The problems may be conceived from the point of view of a contemplative spectator of events or of an imaginative manipulator who thinks in terms of postulated goals.2 Although the pr...

In the pre-colonial days, there were many principles guiding conflict resolution in traditional Nigerian societies. Those who want their conflicts resolved must have confidence tribunal that would resolve dispute. These include elders, chiefs, priests, priestesses, secret cult etc. The disputants them. They (disputants) be ready to submit themselves constituted authorities, faith authorities an...

The underlying conflict resolution policy plays a vital role in the performance of most Transactional Memory (TM) systems and there is not a commonly accepted policy. Work carried out in this field contains a wide choice of conflict resolution ideas and authors tend to make their choices according to their workload characteristics. The conflict resolution policy is especially critical in eager-...

Preference for different conflict resolution styles is influenced by cultural background and power distance of two parties involving in conflict. This research put forward 7 hypotheses and tested the preference differences of the five conflict resolution styles between Chinese owner and contractor as well as the preference differences concerning the same style between two parties. The research ...