The University of Edinburgh -
Division of Informatics
Forrest Hill & 80 South Bridge


Documents Authored by: Ian Gent

Please note that only papers and publications recorded in this departments database are shown here. An author may have many other papers and publications produced while working elsewhere which are not listed here. This page does not therefore represent a definitive list of this authors work.

Journal Paper

JP685 1994 Journal Paper Gent,I
Proof Systems for Fourteen Logics of Counterfactuals
JP683 1993 Journal Paper Gent,I; Walsh,T
An Empirical Analysis of Search in GSAT
JP684 1993 Journal Paper Gent,I
Theory Matrices (for Model Logics) using Alphabetical Monotonicity
JP139 1992 Journal Paper Gent,I
a Sequent- or Tableau-style System for Lewis's Counter-Factual Logic VC

Paper in Conference Proceedings

PP682 1993 Paper in Conference Proceedings Gent,I; Walsh,T
Towards an Understanding of Hill-climbing Procedures for SAT

Research Paper

RP679 1994 Research Paper Gent,I; Walsh,T
The Sat Phase Transition
RP680 1994 Research Paper Gent,I; Walsh,T
The Hardest Random Sat Problems
RP702 1994 Research Paper Gent,I
The Satisfiability Constraint Gap
RP714 1994 Research Paper Gent,I; Walsh,T
How not to do it
RP721 1994 Research Paper Gent,I; Walsh,T
Unsatisfied Variables in Local Search
RP724 1994 Research Paper Gent,I; Walsh,T
Computational Phase Transitions in Real Problems
RP614 1993 Research Paper Gent,I; Walsh,T
Towards an Understanding of Hill-Climbing Procedures for Sat
RP634 1993 Research Paper Gent,I; Walsh,T
An Empirical Analysis of Search in Gsat
RP642 1993 Research Paper Gent,I; Walsh,T
Easy Problems are Sometimes Hard
RP605 1992 Research Paper Gent,I; Walsh,T
The Enigma of Sat Hill-Climbing Procedures


[Search These Pages] [DAI Home Page] [Comment]