Collider limits on new physics within micrOMEGAs4.3

Results from the LHC put severe constraints on models of new physics. This includes constraints on the Higgs sector from the precise measurement of the mass and couplings of the 125GeV Higgs boson, as well as limits from searches for other new particles. We present the procedure to use these constraints in micrOMEGAs by interfacing it to the external codes Lilith, HiggsSignals, HiggsBounds and SModelS. A few dedicated modules are also provided. With these new features, micrOMEGAs_4.3 provides a generic framework for evaluating dark matter observables together with collider and non-collider constraints.Comment: 23 page

Logic Programming Approaches for Representing and Solving Constraint Satisfaction Problems: A Comparison

Many logic programming based approaches can be used to describe and solve combinatorial search problems. On the one hand there is constraint logic programming which computes a solution as an answer substitution to a query containing the variables of the constraint satisfaction problem. On the other hand there are systems based on stable model semantics, abductive systems, and first order logic model generators which compute solutions as models of some theory. This paper compares these different approaches from the point of view of knowledge representation (how declarative are the programs) and from the point of view of performance (how good are they at solving typical problems).Comment: 15 pages, 3 eps-figure