David Mitchell
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
7
Venues
6
Active years
1998–2021
Best venue rank
A
Where they publish
Papers
7 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2021 | BMVC | X Resolution Correspondence Networks. | Georgi Tinchev, Shuda Li, Kai Han, David Mitchell, Rigas Kouskouridas |
| 2021 | CogSci | How effective is perceptual training? Evaluating two perceptual training methods on a difficult visual categorisation task. | Jessica Marris, Andrew Perfors, David Mitchell, Wayland Wang, Mark W. McCusker, Timothy John Haynes Lovell, Robert N. Gibson, Frank Gaillard, Piers Douglas Lionel Howe |
| 2019 | CP | Guarded Constraint Models Define Treewidth Preserving Reductions. | David Mitchell |
| 2019 | SAT | Simplifying CDCL Clause Database Reduction. | Sima Jamali, David Mitchell |
| 2018 | SAT | Centrality-Based Improvements to CDCL Heuristics. | Sima Jamali, David Mitchell |
| 2014 | CADE | Resolution and Clause Learning for Multi-Valued CNF Formulas. | David Mitchell |
| 1998 | WETICE | A Component Approach to Embedding Awareness and Conversation. | David Mitchell |