First Page | Meta Content | |
---|---|---|
![]() | Document Date: 2012-05-29 03:59:19Open Document File Size: 267,13 KBShare Result on FacebookCompanyFord / Microsoft / /EventProduct Recall / Product Issues / /IndustryTermverification tools / function applications / propositional search / congruence closure algorithm / shortest path network algorithms / search using conflict / polynomial saturation algorithm / dynamic symbolic execution tools / ad-hoc solutions / search methods / resolution systems / be solved using efficient shortest path network algorithms / /PersonNikolaj Bjørner / Robert Mateescu / Lucas Bordeaux / Youssef Hamadi / /Productconnections / complexity of solving conjunctions / /Technologysimulation / Downey-Tarjan-Sethi congruence closure algorithm / Fulkerson algorithm / shortest path network algorithms / polynomial saturation algorithm / /SocialTag |