Lynce, I. and Marques-Silva, J. (2007) Random Backtracking in Backtrack Search Algorithms for Satisfiability. Discrete Applied Mathematics, 155 (12). pp. 1604-1612.
Download
![[img]](http://eprints.ecs.soton.ac.uk/style/images/fileicons/application_pdf.png)
|
PDF
Available under License Creative Commons Attribution Non-commercial No Derivatives. 158Kb |
| Item Type: | Article | ||||
|---|---|---|---|---|---|
| Creator/Authors: |
| ||||
| Editors: |
| ||||
| Research Group: | Old ECS Groups > Dependable Systems and Software Engineering Research Group | ||||
| Date: | June 2007 | ||||
| Information about this record: | |||||
| Performance Indicator: | EZ~02~01~11 | ||||
| Citations: | Google Scholar: 3 | ||||
| Downloads (2010): | 91 | ||||
| ID Code: | 14201 | ||||
| Last Modified: | 23 Sep 2011 10:35 | ||||
| Deposited On: | 17 Jun 2007 by Marques-Silva, Joao | ||||
Tools & Metadata
Download Statistics
Members of ECS may view the download statistics dashboard for this record.
Corrections
ECS staff and postgraduates may modify this record
