9 citations
5 papers
1-in-3 vs. Not-All-Equal: Dichotomy of a broken promise
Lorenzo Ciardo, Marcin Kozik, Andrei Krokhin +2
The 1-in-3 and Not-All-Equal satisfiability problems for Boolean CNF formulas are two well-known NP-hard problems. In contrast, the promise 1-in-3 vs. Not-All-Equal problem can be…
Seeing the Bigger Picture: The Rosetta Mission Amateur Observing Campaign and Lessons for the Future
Helen Usher, Colin Snodgrass, Simon F. Green +2
Amateur astronomers can make useful contributions to the study of comets. They add temporal coverage and multi-scale observations which can aid the study of fast-changing, and larg…
Eccentricity generation in hierarchical triple systems with non-coplanar and initially circular orbits
Nikolaos Georgakarakos
In a previous paper, we developed a technique for estimating the inner eccentricity in coplanar hierarchical triple systems on initially circular orbits, with comparable masses and…
The Best Trail Algorithm for Assisted Navigation of Web Sites
Richard Wheeldon, Mark Levene
We present an algorithm called the Best Trail Algorithm, which helps solve the hypertext navigation problem by automating the construction of memex-like trails through the corpus.…
Power Law Distributions in Class Relationships
Richard Wheeldon, Steve Counsell
Power law distributions have been found in many natural and social phenomena, and more recently in the source code and run-time characteristics of Object-Oriented (OO) systems. A p…