Refutation Analysis for Constraint Satisfaction Problems

Tudor Hulubei and Barry O'Sullivan

PhD Thesis, December 17, 2007, Cork, Ireland
Retrieve the Adobe PDF document.

Failure Analysis in Backtrack Search for Constraint Satisfaction

Tudor Hulubei and Barry O'Sullivan

CP 2006 - Twelfth International Conference on Principles and Practice of Constraint Programming
September 24 - 29, 2006, Nantes, France
Retrieve the Postscript or Adobe PDF version of the short paper. The A0 poster version is also available in both Postscript and Adobe PDF formats. Short version also available from SpringerLink here.

A longer version of the paper is available online from Hulubei.Net in Postscript and Adobe PDF format.

Heavy-tailed Runtime Distributions: Heuristics, Models and Optimal Refutations

Tudor Hulubei and Barry O'Sullivan

CP 2006 - Twelfth International Conference on Principles and Practice of Constraint Programming
September 24 - 29, 2006, Nantes, France
Retrieve the Postscript or Adobe PDF version of the short paper. The A0 poster version is also available in both Postscript and Adobe PDF formats. Short version also available from SpringerLink here.

A longer version of the paper is available online from Hulubei.Net in Postscript and Adobe PDF format.

The Impact of Search Heuristics on Heavy-Tailed Behaviour

Tudor Hulubei and Barry O'Sullivan

Constraints, Volume 11 - Special Issue of the 11th International Conference on Principles and Practice of Constraint Programming (dedicated to Eugene C. Freuder on the occasion of his 60th birthday).
Retrieve the Postscript or Adobe PDF version of the paper.

Search Heuristics and Heavy-Tailed Behaviour

Tudor Hulubei and Barry O'Sullivan

CP 2005 - Eleventh International Conference on Principles and Practice of Constraint Programming
October 1 - 5, 2005, Sitges (Barcelona), Spain
Retrieve the Postscript or Adobe PDF version of the paper. Also available from SpringerLink here.

Optimal Refutations for Constraint Satisfaction Problems

Tudor Hulubei and Barry O'Sullivan

IJCAI-05 - The Nineteenth International Joint Conference on Artificial Intelligence
30 July - 5 August 2005, Edinburgh, Scotland
Retrieve the Postscript or Adobe PDF version of the paper.

The Goldilocks Problem

Tudor Hulubei and Eugene C. Freuder

Workshop on Configuration,
July 18-19 1999, Orlando, FL, USA
Retrieve the Postscript or Adobe PDF version of the paper.

CP'99,
October 12-16, 1999, Alexandria, VA, USA
Retrieve the Postscript or Adobe PDF version of the paper, or the PowerPoint presentation.

AI EDAM,
April, 2003, Worcester, MA, USA

Free Software and Romania - Achievements and Opportunities

Tudor Hulubei and Andrei Pitis

m17n99: the 3rd International Symposium on Multilingual Information Processing
March 23-25 1999, Tsukuba, Japan

Retrieve the Postscript or Adobe PDF version of the paper.

The Thix Operating System

Tudor Hulubei

ROSE'94 - The Romanian Open Systems Conference & Exhibition
November 3-5 1994, Bucharest Romania

Browse the HTML version of the paper.