Topic
Satz
About: Satz is a research topic. Over the lifetime, 82 publications have been published within this topic receiving 1460 citations. The topic is also known as: setting.
Papers published on a yearly basis
Papers
Journal Article•
TL;DR: Satz as discussed by the authors employs a variable ordering heuristic, a forward consistency checking (Unit Propagation) and a limited resolution before the search, where the heuristic is itself based on unit propagation.
Abstract: CNF propositional satisfiability (SAT) is a special kind of the more general Constraint Satisfaction Problem (CSP). While look-back techniques appear to be of little use to solve hard random SAT problems, it is supposed that they are necessary to solve hard structured SAT problems. In this paper, we propose a very simple DPL procedure called Satz which only employs some look-ahead techniques: a variable ordering heuristic, a forward consistency checking (Unit Propagation) and a limited resolution before the search, where the heuristic is itself based on unit propagation. Satz is favorably compared on random 3-SAT problems with three DPL procedures among the best in the literature for these problems. Furthermore on a great number of problems in 4 well-known SAT benchmarks Satz reaches or outspeeds the performance of three other DPL procedures among the best in the literature for structured SAT problems. The comparative results suggest that a suitable exploitation of look-ahead techniques, while very simple and efficient for random SAT problems, may allow to do without sophisticated look-back techniques in a DPL procedure.
154 citations
136 citations
TL;DR: The authors argues that a principle of educational adequacy cannot be all there is to justice in education and argues that other values are also important, not that equality is not important, and also argues that adequacy, not equality, constitutes justice.
Abstract: Some theorists argue that rather than advocating a principle of educational equality as a component of a theory of justice in education, egalitarians should adopt a principle of educational adequacy. This paper looks at two recent attempts to show that adequacy, not equality, constitutes justice in education. It responds to the criticisms of equality by claiming that they are either unsuccessful or merely show that other values are also important, not that equality is not important. It also argues that a principle of educational adequacy cannot be all there is to justice in education.
74 citations
Related Topics (5)
Performance Metrics
| Year | Papers |
|---|---|
| 2020 | 1 |
| 2019 | 2 |
| 2018 | 1 |
| 2017 | 1 |
| 2016 | 3 |
| 2015 | 4 |