Abstract: In the paper we propose new algorithms for constructing compact representations of databases of conflict clauses accumulated by state-of-the-art CDCL SAT solvers. These algorithms use the ...

In 1998, astronomers discovered dark energy. The finding, which transformed our conception of the cosmos, came with a little-known consequence: It threw a wrench into the already daunting task of ...

In this video, we explore the relationship between string theory and quantum field theory (QFT). QFT is a mathematical framework that describes nearly all particles and forces in the universe but ...

Add a description, image, and links to the flux-compactification topic page so that developers can more easily learn about it.

This workshop focuses on recent advances around the (co-)homology of general linear and related groups. These basic topological invariants are, for example, related to questions in algebraic K-theory ...

ABSTRACT: We introduce a deformation wave model of brane cosmology, where a 5D membrane embedded in a 6D bulk spacetime undergoes intrinsic geometric deformations triggered by a Gaussian perturbation.

Note: The article usage is presented with a three- to four-day delay and will update daily once available. Due to ths delay, usage data will not appear immediately following publication. Citation ...

Scientific Organizers: Clay Córdova (Chicago), David Poland (Yale), Sasha Zhiboedov (CERN) The program will consist of a pedagogical series of lectures given over a four-week period, three or four ...

Abstract: The behaviour of the moment-sums-of-squares (moment-SOS) hierarchy for polynomial optimal control problems on compact sets has been explored to a large extent. Our contribution focuses on ...

Abstract: The projective line PP^1 is the only algebraic curve on which every degree 0 divisor is principal. For any other algebraic curve, it is thus natural to ask when a ‘random’ divisor on the ...