Back to Results
First PageMeta Content
Theoretical computer science / Computer file formats / Mathematical optimization / Constraint programming / Assignment / C++ classes / MPS / Variable / Nl / Software engineering / Computing / Operations research


Journal on Satisfiability, Boolean Modeling and Computation[removed] Reusing the Assignment Trail in CDCL Solvers system description Peter van der Tak Antonio Ramos
Add to Reading List

Document Date: 2011-11-21 09:32:48

Open Document

File Size: 197,49 KB

Share Result on Facebook

City

las vegas / /

Company

RTL / Intel / IOS Press / /

/

Facility

CDCL Solvers trail x∗5 / Verification Johannes Kepler University / Assignment Trail / Software Technology Delft University of Technology / Delft University of Technology / /

IndustryTerm

combinatorial search / las vegas algorithms / search space / /

Organization

Formal Models and Verification Johannes Kepler University / Delft University of Technology / Institute for Formal Models / Austrian Science Foundation / /

Person

Peter van der Tak Antonio / Antonio Ramos peter / /

/

PublishedMedium

Lecture Notes in Computer Science / /

Technology

caching / ReusedTrail algorithm / las vegas algorithms / /

URL

http /

SocialTag