Home
About
Advanced Search
Browse by Discipline
Scientific Societies
E-print Alerts
Add E-prints
FAQ
•
HELP
•
SITE MAP
•
CONTACT US
Search
Advanced Search
Smith, Barbara M. - School of Computing, University of Leeds
Caching Search States in Permutation Problems Barbara M. Smith
University of Leeds SCHOOL OF COMPUTER STUDIES
Models and Symmetry Breaking for `Peaceable Armies of Queens'
University of Leeds SCHOOL OF COMPUTING
University of Leeds SCHOOL OF COMPUTER STUDIES
University of Leeds SCHOOL OF COMPUTER STUDIES
University of Leeds SCHOOL OF COMPUTER STUDIES
Constraint Symmetry and Solution Symmetry David Cohen
Dual Models of Permutation Problems Barbara M. Smith
University of Leeds SCHOOL OF COMPUTER STUDIES
Dual Formulations of Magic Squares Barbara M. Smith
Search in the Patience Game `Black Hole' Ian Gent1, Christopher Jefferson2, In^es Lynce3, Ian Miguel1,
Handbook of Constraint Programming 375 Edited by F. Rossi, P. van Beek and T. Walsh
Constraint Programming Models for Solitaire Battleships
Constraint Programming Models for Graceful Graphs Barbara M. Smith
Symmetry and Search in a Network Design Problem Barbara M. Smith
Sets of Symmetry Breaking Constraints Barbara M. Smith
Comparison of Symmetry Breaking Methods in Constraint Programming
1 INTRODUCTION Dynamic Symmetry Breaking in
An Empirical Investigation of Value Ordering for Finding All Solutions
The Phase Transition in Constraint Satisfaction Problems
University of Leeds SCHOOL OF COMPUTER STUDIES
Constraint Symmetry for the Soft CSP Barbara M. Smith1