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
|