Constraint and Consequence
 
   
  Craig Holman   Research   Jabberwocky   Writing   Quotations   Contact
 
  Home > Research
 
 
 

Research Interests

  Most recent research overview

I have done research on and developed new algorithms for:

  • Boolean expression satisfiability
  • Boolean expression simplification
  • Determining whether a k-clique exists in a graph
  • Constructing all of the maximal cliques of a graph
  • Determining the size of the maximum cliques of a graph
  • Constructing all of the maximum cliques of a graph
  • Determining whether two graphs are isomorphic
  • Factoring composite integers into two factors

I have done research on:

  • The Adapative Market pattern
  • Problem-solving services
  • Active blackboards
  • Subgraph Isomorphism
  • The Business Object Model and Rule Systems Methodology
  • Ramsey theory (graph theory aspect)
  • Universal traversal sequences
  • Emergent-network dataflow processing
  • Netflix Prize Rating Prediction
  • Eternity II
  • The Riemann Hypothesis
 
 
  Home > Research
 
  Craig Holman   Research   Jabberwocky   Writing   Quotations   Contact
 
 
 
  Patterncraft™ and Constraint and Consequence™
are trademarks of Craig Stewart Holman

Copyright © 2004 - 2011 Craig Holman

All Rights Reserved.

 
   
 
  Patterncraft logo