Letombe, F. and Marques-Silva, J. (2008) Improvements to Hybrid Incremental SAT Algorithms. In: International Conference on Theory and Applications of Satisfiability Testing, May 2008, Guangzhou, China.
Download
![[img]](http://eprints.ecs.soton.ac.uk/style/images/fileicons/application_pdf.png)
|
PDF
674Kb |
| Item Type: | Conference or Workshop Item | ||||
|---|---|---|---|---|---|
| Creator/Authors: |
| ||||
| Research Group: | Old ECS Groups > Dependable Systems and Software Engineering Research Group | ||||
| Date: | May 2008 | ||||
| Information about this record: | |||||
| Performance Indicator: | EZ~02~02~04 | ||||
| Citations: | ISI: 2, Google Scholar: 5 | ||||
| Downloads (2010): | 34 | ||||
| ID Code: | 15227 | ||||
| Last Modified: | 23 Sep 2011 10:36 | ||||
| Deposited On: | 29 Feb 2008 12:09 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
