Skip to main content
TudRepo
Research repository
Education Repository
Cultural Heritage
About
·
How to search
·
How to upload
Include full text
Search results
Back
Searched for: department%3A%22Software%255C%252BTechnology%22
(1 - 5 of 5)
Document type
Date
List view
Grid view
Print
Email
export CSV
export Excel
Symmetry in gardens of Eden
Reusing the Assignment Trail in CDCL Solvers: System description
Whose side are you on?: Finding solutions in a biased search-tree
Parallel SAT Solving using Bit-level Operations
March dl: Adding Adaptive Heuristics and a New Branching Strategy
Searched for: department%3A%22Software%255C%252BTechnology%22
(1 - 5 of 5)
Document type
Date
List view
Grid view
Print
Email
export CSV
export Excel