Goal-conflict identification based on local search and fast boundary-condition verification based on incremental satisfiability filter