We introduce a new approach for focusing constraint reasoning using so-called streamlining constraints. Such constraints partition the solution space to drive the search first towards a small and structured combinatorial subspace. The streamlining constraints capture regularities observed in a subset of the solutions to smaller problem instances. We demonstrate the effectiveness of our approach...

OBJECTIVE To examine if streamlining a medical research funding application process saved time for applicants. DESIGN Cross-sectional surveys before and after the streamlining. SETTING The National Health and Medical Research Council (NHMRC) of Australia. PARTICIPANTS Researchers who submitted one or more NHMRC Project Grant applications in 2012 or 2014. MAIN OUTCOME MEASURES Average re...

This paper presents STrEAM (SuperTrace Evaluation Automated for Matching), a Mathematica package that calculates all functional supertraces which arise when matching generic UV model onto relativistic Effective Field Theory (EFT) at one loop and to arbitrary order in the heavy mass expansion. implements covariant derivative expansion automate most tedious step of streamlined prescription presen...