Christopher Jefferson

Christopher Jefferson

University of Saint Andrews - St Andrews / United Kingdom
Others
AD Scientific Index ID: 1198145
University o St Andras
person_outline Christopher Jefferson's MOST POPULAR ARTICLES
1-) Minion: A fast scalable constraint solverIP Gent, C Jefferson, I MiguelECAI 141, 98-102, 20063552006
2-) Essence: A constraint language for specifying combinatorial problemsAM Frisch, W Harvey, C Jefferson, B Martinez-Hernandez, I MiguelConstraints 13 (3), 268-306, 20081962008
3-) Efficient methods for conversion and solution of sparse systems of low-degree multivariate polynomials over GF (2) via SAT-solversGV Bard, NT Courtois, C JeffersonCryptology ePrint Archive, 20071822007
4-) The essence of essenceAM Frisch, M Grum, C Jefferson, BM Hernández, I MiguelModelling and Reformulating Constraint Satisfaction Problems 73, 20051502005
5-) Symmetry definitions for constraint satisfaction problemsD Cohen, P Jeavons, C Jefferson, KE Petrie, BM SmithConstraints 11 (2-3), 115-137, 20061292006