The following pages link to Ian Philip Gent (Q1203765):
Displayed 36 items.
- Item:Q1203765 (redirect page) (← links)
- Item:Q215103 (redirect page) (← links)
- Asymptotic and finite size parameters for phase transitions: Hamiltonian circuit as a case study (Q293254) (← links)
- Theory matrices (for modal logics) using alphabetical monotonicity (Q687154) (← links)
- A sequent- or tableau-style system for Lewis's counterfactual logic VC (Q1203766) (← links)
- Easy problems are sometimes hard (Q1342226) (← links)
- The TSP phase transition (Q1391912) (← links)
- Search algorithms in type theory (Q1575934) (← links)
- Decomposable constraints (Q1589469) (← links)
- Automatically improving constraint models in Savile Row (Q1680696) (← links)
- Satisfiability in the Year 2000 (Q1977747) (← links)
- \textsc{Conjure}: automatic generation of constraint models from problem specifications (Q2163883) (← links)
- Solving quantified constraint satisfaction problems (Q2389634) (← links)
- Generalised arc consistency for the AllDifferent constraint: an empirical survey (Q2389692) (← links)
- Generating custom propagators for arbitrary constraints (Q2453695) (← links)
- Heuristic solution of open bin packing problems (Q2567854) (← links)
- The satisfiability constraint gap (Q2674178) (← links)
- Optimal Implementation of Watched Literals and More General Techniques (Q2859022) (← links)
- Solving computational problems in the theory of word-representable graphs (Q3120420) (← links)
- Conditional Symmetry Breaking (Q3524179) (← links)
- Symmetry and Consistency (Q3524180) (← links)
- Watched Literals for Constraint Propagation in Minion (Q3524241) (← links)
- (Q4386921) (← links)
- (Q4475634) (← links)
- A review of literature on parallel constraint solving (Q4559826) (← links)
- Generalized support and formal development of constraint propagators (Q4591401) (← links)
- Short and Long Supports for Constraint Propagation (Q4907832) (← links)
- Theory and Applications of Satisfiability Testing (Q5325848) (← links)
- Complexity of n-Queens Completion (Q5371006) (← links)
- (Q5435012) (← links)
- S-crucial and bicrucial permutations with respect to squares (Q5502211) (← links)
- Theory and Applications of Satisfiability Testing (Q5713750) (← links)
- Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems (Q5713878) (← links)
- Principles and Practice of Constraint Programming – CP 2003 (Q5897206) (← links)
- Principles and Practice of Constraint Programming – CP 2003 (Q5897207) (← links)
- Random constraint satisfaction: Flaws and structure (Q5949019) (← links)
- Frozen development in graph coloring (Q5958809) (← links)