Local Search for Checking Satisfiability of Formulas with Trigonometric Functions.

Xinpeng Ni, Bican Xia, Tianqi Zhao

Browse the full ATVA paper archive.