Heuristic-Based Backtracking Relaxation for Propositional Satisfiability
Bhalla, Ateet ; Lynce, Inês ; Sousa, José T. de ; Marques-Silva, João
- Link zu diesem Datensatz
- https://d-nb.info/135436841X
- Titel
- Heuristic-Based Backtracking Relaxation for Propositional Satisfiability
- Art des Inhalts
- Teil eines Werks
- Verfassangaben
- by Ateet Bhalla, Inês Lynce, José T. de Sousa, João Marques-Silva
- Autor(en)
-
- Bhalla, Ateet
- Lynce, Inês
- Sousa, José T. de
- Marques-Silva, João
- Organisation(en)
-
- SpringerLink (Online service)
- Zeitliche Einordnung
- Erscheinungsdatum: 2005
- Umfang/Format
- 1 Online-Ressource.
- DOI
- 10.1007/s10817-005-9005-y
- Online
- https://doi.org/10.1007/s10817-005-9005-y
- Sprache
- eng
- Schlagwörter
- Frühere/spätere Titel
-
- Enthalten in: Journal of automated reasoning
- Enthalten in: Journal of automated reasoning
- Enthalten in: Journal of automated reasoning
- Stand
- 27.01.2025 18:04
- Im Katalog seit
- 07.03.2026