View Document Preview and Link Document Date: 2011-11-25 16:24:02 Open Document File Size: 144,45 KB Share Result on Facebook
City Cambridge / / Company IOS Press / Creative Commons / Microsoft / / Country United Kingdom / / Currency pence / / / Facility University College Dublin / / IndustryTerm search strategies / distributed verification tools / search process / interpolation algorithms / quantifier elimination algorithm / computer systems / multi-core processors / reconciliation algorithm / distributed algorithms / interpolation algorithm / verification tools / interpolation systems / solver technology / divide-and-conquer algorithms / suitable interpolation algorithm / search space / pre-processing / costly decomposition algorithms / / OperatingSystem Microsoft Windows / / Person Roger Hoover / Hans van Maaren / Robert F. Damiano / Barry K. Rosen / Fadi A. Aloul / Michael F. Plass / Aziz Abdulla / Toby Walsh / Christoph M. Wintersteiger / Peter F. Sweeney / Ted Stanion / James H. Kukula / Igor L. Markov / F. Kenneth Zadeck / Robert Endre Tarjan / Bowen Alpern / Youssef Hamadi Joao / / Position straight-forward / / PublishedMedium Lecture Notes in Computer Science / / Technology costly decomposition algorithms / 2.5 GHz processors / SAT solver technology / load balancing / quantifier elimination algorithm / suitable Model Checking algorithm / two interpolation algorithms / Linear-Time Algorithm / interpolation algorithm / SAT algorithms / suitable interpolation algorithm / parallel BCP algorithms / reconciliation algorithm / divide-and-conquer algorithms / / URL http / SocialTag 
Lazy Decomposition for Distributed Decision Procedures Youssef Hamadi Joao Marques-Silva Christoph M. Wintersteiger