English
Deutsch
Log In
Password Login
or
Log in with Fraunhofer Smartcard
Research Outputs
Projects
Researchers
Institutes
Statistics
Fraunhofer-Gesellschaft
Home
Fraunhofer-Gesellschaft
Konferenzschrift
Static and dynamic variable sorting strategies for backtracking-based search algorithms
Details
Full
Export
Statistics
Options
2005
Conference Paper
Titel
Static and dynamic variable sorting strategies for backtracking-based search algorithms
Author(s)
Müller, H.
Hauptwerk
19th Workshop on (Constraint) Logic Programming
Konferenz
Workshop on (Constraint) Logic Programming (W(C)LP) 2005
Language
English
google-scholar
View Details
FIRST