HomeEPiC SeriesKalpa PublicationsPreprintsFor AuthorsFor Editors

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
Copyright © 2012-2025 easychair.org. All rights reserved.