The following useful function is found in the includes/wc-core-functions.php and can be used by themes and plugins.

Gets a WooCommerce page ID by name, e.g. thankyou

wc_get_page_id( $page )