TY - RPRT TI - Enhancing the Efficiency in Checking Constraints Satisfaction when Planning Ground-based and Space Experiments, Using an Alternative Problem AU - Atanas Marinov Atanassov PY - 2010 UR - https://arxiv.org/abs/1004.4999 ID - 1004.4999 ER -