output
20032023
most citedEccentricity generation in hierarchical triple systems with non-coplanar and initially circular orbits

9 citations

researchers with a paper here
collaborating institutions
Showing 2023Show all

1 paper · 1 filter

cs.CC2023

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…