We propose a novel constraint-based approach to graph generation. Our approach utilizes
the interaction between a CDCL SAT solver and a special symmetry propagator where the …

We propose a novel SAT-based approach to graph generation. Our approach utilizes the
interaction between a CDCL SAT solver and a special symmetry propagator where the SAT …

Dominance breaking is a powerful technique in improving the solving efficiency of
Constraint Optimization Problems (COPs) by removing provably suboptimal solutions with …

The in silico study and reverse engineering of regulatory networks has gained in recognition
as an insightful tool for the qualitative study of biological mechanisms that underlie a broad …

A major complication in COVID-19 infection consists in the onset of acute respiratory distress
fueled by a dysregulation of the host immune network that leads to a run-away cytokine …

This paper presents a technique for symmetry reduction that adaptively assigns a prefix of
variables in a system of constraints so that the generated prefix-assignments are pairwise …

Enabled by rapid advances in computational sciences, in silico logical modeling of complex
and large biological networks is more and more feasible making it an increasingly popular …

We introduce the physical puzzle Rush Hour and its generalization. We briefly survey its
complexity limits, then we model and solve it using declarative paradigms. In particular, we …

A significant cause of morbidity in COVID-19 infected patients admitted to the hospital is a
severe dysregulated inflammatory response characterized as a cytokine storm, a key …

Abstract Gulf War Illness (GWI) is a poorly understood exposure-induced neuroinflammatory
disorder where complexity and the high cost of animal exposure studies has led to …