Python library to compute properties of quantum tight binding models, including topological, electronic and magnetic properties and including the effect of many-body interactions.

Defect structure-searching employing chemically-guided bond distortions

Band structure unfolding made easy!

BreakID, a CNF symmetry-breaking library and tool

MQM2019 Poster

"Theoretical tool bridging cell polarities with development of robust morphologies" published in eLife (2018)

A C# implementation of Motif-Centric Network Motif Discovery Algorithms

Exploit ILP to learn symmetry breaking constraints of ASP programs.

Efficient Encoding of the Queen Domination Problem into SAT Using Hilbert Curve Ordering, Static Symmetry Breaking and CnC

Solver algorithm in #3 Paper: Diversified Top-K MaxSAT Solving with MaxSAT

Popular-science essay on the Siamese Cosmological Framework, a speculative model in which matter, gravity, expansion, and anisotropies emerge from a phase desynchronization between coupled universes. Translated into English, 中文, español y русский.

Complete computational framework for dynamical emergence in Geometric Standard Model (GSM). Includes honest RG tests revealing E8 as a UV organizing critical point.

Nuclear-quadrupole spin resonances caused by isotope substitution

Nuclear spin-symmetry breaking in rotational cluster states of a triatomic molecule