Deciding in HFS-Theory via Linear Integer Programming.

Mohamed Hibti, Henri Lombardi, Bruno Legeard

Browse the full LPAR paper archive.