Keyword:look-ahead

Publications
A Note on Look-Ahead in Real Life: Proposed Models and Novel Applications Burle Sharma, Rakesh Mohanty and Sucheta Panda EasyChair Preprint 15496
Modern Cooperative Parallel SAT Solving Norbert Manthey, Davide Lanti and Ahmed Irfan In:POS-13. Pragmatics of SAT 2013