source: doc/theses/aaron_moss_PhD/phd/resolution-heuristics.tex

Revision Log Mode:


Legend:

Added
Modified
Copied or renamed
Diff Rev Age Author Log Message
(edit) @bd405fa   3 years a3moss thesis: final edits arm-ehcleanup-dtorsenumforall-pointer-decayjacob/cs343-translationjenkins-sandboxnew-astnew-ast-unique-expr
(edit) @f845e80   3 years a3moss thesis: apply round 2 revisions and strip change bars aaron-thesisarm-ehcleanup-dtorsenumforall-pointer-decayjacob/cs343-translationjenkins-sandboxnew-astnew-ast-unique-expr
(edit) @69c37cc   3 years a3moss thesis: spelling and grammar fixes aaron-thesisarm-ehcleanup-dtorsenumforall-pointer-decayjacob/cs343-translationjenkins-sandboxnew-astnew-ast-unique-expr
(edit) @5d3a952   3 years a3moss thesis: fix overfull hbox warnings aaron-thesisarm-ehcleanup-dtorsenumforall-pointer-decayjacob/cs343-translationjenkins-sandboxnew-astnew-ast-unique-expr
(edit) @71a12390   3 years a3moss thesis: address comment about MaxSAT aaron-thesisarm-ehcleanup-dtorsenumforall-pointer-decayjacob/cs343-translationjenkins-sandboxnew-astnew-ast-unique-expr
(edit) @3b40801b   3 years a3moss thesis: add changebars aaron-thesisarm-ehcleanup-dtorsenumforall-pointer-decayjacob/cs343-translationjenkins-sandboxnew-astnew-ast-unique-expr
(edit) @c4b5486   3 years a3moss thesis: integrate defence answers as clarifications into thesis aaron-thesisarm-ehcleanup-dtorsenumforall-pointer-decayjacob/cs343-translationjenkins-sandboxnew-astnew-ast-unique-expr
(edit) @cf01d0b   3 years a3moss thesis: typo-fixing revisions from Werner, Ondrej aaron-thesisarm-ehcleanup-dtorsenumforall-pointer-decayjacob/cs343-translationjenkins-sandboxnew-astnew-ast-unique-expr
(edit) @c1f3d1a8   3 years a3moss thesis: more motivation for expression resolution problem, per Gregor aaron-thesisarm-ehcleanup-dtorsenumforall-pointer-decayjacob/cs343-translationjenkins-sandboxnew-astnew-ast-unique-expr
(edit) @397848f5   3 years a3moss thesis: typos from Gregor aaron-thesisarm-ehcleanup-dtorsenumforall-pointer-decayjacob/cs343-translationjenkins-sandboxnew-astnew-ast-unique-expr
(edit) @320e72a2   3 years a3moss thesis: tweak ascription cast aaron-thesisarm-ehcleanup-dtorsenumforall-pointer-decayjacob/cs343-translationjenkins-sandboxnew-astnew-ast-unique-expr
(edit) @a2545593   3 years a3moss Add ascription casts to future work aaron-thesisarm-ehcleanup-dtorsenumforall-pointer-decayjacob/cs343-translationjenkins-sandboxnew-astnew-ast-unique-expr
(edit) @8b1dc66   3 years a3moss thesis: second draft of ch.4 aaron-thesisarm-ehcleanup-dtorsenumforall-pointer-decayjacob/cs343-translationjenkins-sandboxnew-astnew-ast-unique-expr
(edit) @7db4836   3 years a3moss thesis: modify conversion graphs to use subfigures aaron-thesisarm-ehcleanup-dtorsenumforall-pointer-decayjacob/cs343-translationjenkins-sandboxnew-astnew-ast-unique-expr
(edit) @f316c68   3 years a3moss thesis: polish first draft of Ch.4 aaron-thesisarm-ehcleanup-dtorsenumforall-pointer-decayjacob/cs343-translationjenkins-sandboxnew-astnew-ast-unique-expr
(edit) @a2971cc   3 years a3moss thesis: first-pass edits to ch.1-3 aaron-thesisarm-ehcleanup-dtorsenumforall-pointer-decayjacob/cs343-translationjenkins-sandboxnew-astnew-ast-unique-expr
(edit) @4c41b17   3 years a3moss thesis: Add per-problem histogram aaron-thesisarm-ehcleanup-dtorsenumforall-pointer-decayjacob/cs343-translationjenkins-sandboxnew-astnew-ast-unique-expr
(edit) @7c6eb64   3 years a3moss thesis: incorporate feedback on cost model section aaron-thesisarm-ehcleanup-dtorsenumforall-pointer-decayjacob/cs343-translationjenkins-sandboxnew-astnew-ast-unique-expr
(edit) @9e43aff   3 years a3moss thesis: introduce experimental results from prototype aaron-thesisarm-ehcleanup-dtorsenumforall-pointer-decayjacob/cs343-translationjenkins-sandboxnew-astnew-ast-unique-expr
(edit) @0f78f3c7   3 years a3moss Fix one bug from Glen, initial exploration of data aaron-thesisarm-ehcleanup-dtorsenumforall-pointer-decayjacob/cs343-translationjenkins-sandboxnew-astnew-ast-unique-expr
(edit) @902b123   3 years a3moss thesis: expand details of conversion cost based on recent exploration … aaron-thesisarm-ehcleanup-dtorsenumforall-pointer-decayjacob/cs343-translationjenkins-sandboxnew-astnew-ast-unique-expr
(edit) @8d752592   3 years a3moss thesis: discuss design differences between cfa-cc and resolv-proto aaron-thesisarm-ehcleanup-dtorsenumforall-pointer-decayjacob/cs343-translationjenkins-sandboxnew-astnew-ast-unique-expr
(edit) @0e6a0be   3 years a3moss thesis: Started Experiments chapter aaron-thesisarm-ehcleanup-dtorsenumforall-pointer-decayjacob/cs343-translationjenkins-sandboxnew-astnew-ast-unique-expr
(edit) @c58bb11   3 years a3moss Complete background work on resolution algorithms aaron-thesisarm-ehcleanup-dtorsenumforall-pointer-decayjacob/cs343-translationjenkins-sandboxnew-astnew-ast-unique-expr
(edit) @3deb316   3 years a3moss thesis: further description of resolution algorithm variants aaron-thesisarm-ehcleanup-dtorsenumforall-pointer-decayjacob/cs343-translationjenkins-sandboxnew-astnew-ast-unique-expr
(edit) @e451c0f   3 years a3moss thesis: further analysis of expression resolution aaron-thesisarm-ehcleanup-dtorsenumforall-pointer-decayjacob/cs343-translationjenkins-sandboxnew-astnew-ast-unique-expr
(edit) @104a13e   3 years a3moss thesis: continue asymptotic analysis of resolution aaron-thesisarm-ehcleanup-dtorsenumforall-pointer-decayjacob/cs343-translationjenkins-sandboxnew-astnew-ast-unique-expr
(edit) @f2c5726   3 years a3moss thesis: start asymptotic analysis of resolution problem aaron-thesisarm-ehcleanup-dtorsenumforall-pointer-decayjacob/cs343-translationjenkins-sandboxnew-astnew-ast-unique-expr
(edit) @9a38436   3 years a3moss Thesis: further background material on resolution and some contributions aaron-thesisarm-ehcleanup-dtorsenumforall-pointer-decayjacob/cs343-translationjenkins-sandboxnew-astnew-ast-unique-expr
(edit) @2240ec4   3 years a3moss Thesis: further elaboration of cost model aaron-thesisarm-ehcleanup-dtorsenumforall-pointer-decayjacob/cs343-translationjenkins-sandboxnew-astnew-ast-unique-expr
(edit) @266f36d   3 years a3moss Thesis edits; more detail on CFA cost model aaron-thesisarm-ehcleanup-dtorsenumforall-pointer-decayjacob/cs343-translationjenkins-sandboxnew-astnew-ast-unique-expr
(edit) @af00c45   3 years a3moss Thesis edits aaron-thesisarm-ehcleanup-dtorsenumforall-pointer-decayjacob/cs343-translationjenkins-sandboxnew-astnew-ast-unique-exprno_listpersistent-indexer
(add) @67982887   4 years pabuhr specialize thesis directory-names aaron-thesisarm-ehcleanup-dtorsdeferred_resnenumforall-pointer-decayjacob/cs343-translationjenkins-sandboxnew-astnew-ast-unique-exprno_listpersistent-indexer
Note: See TracRevisionLog for help on using the revision log.