Papers by Allen Van Gelder

README

aggll-preprint.pdf       aggll-preprint.bib
TITLE = "Foundations of Aggregation in Deductive Databases",
YEAR = "1993" )

altfpjcss.pdf       altfpjcss.bib
TITLE = "The Alternating Fixpoint of Logic Programs with Negation",
YEAR = "1993",

amai04.pdf       amai04.bib
Title = "Persistent and Quasi-Persistent Lemmas in Propositional Model Elimination",
year = 2004

ambig94.pdf       ambig94.bib
TITLE = "Topological Considerations in Isosurface Generation",
YEAR = "1994",

anatomy97.pdf       anatomy97.bib
TITLE = "Anatomically Based Modeling",
YEAR = "1997",

aut-jar-dist.pdf       aut-jar-dist.bib
title = "Autarky Pruning in Propositional Model Elimination Reduces Failure Redundancy",
year = "1999",

careful.pdf       careful.bib
title = "Careful Ranking of Multiple Solvers with Timeouts and Ties",
year = "2011"

ccmin-avg-sat09.pdf       ccmin-avg-sat09.bib
Title = "Improved Conflict-Clause Minimization Leads to Improved Propositional Proof Traces",
YEAR = "2009"

chu91.pdf       chu91.bib
TITLE = "Deriving Constraints Among Argument Sizes in Logic Programs",
YEAR = "1991" )

colorsat02.pdf       colorsat02.bib
Title = "Another Look at Graph Coloring via Propositional Satisfiability",
YEAR = 2008

colorsat07.pdf       colorsat07.bib
Title = "Another Look at Graph Coloring via Propositional Satisfiability",
YEAR = 2008

cover-number-short.pdf       cover-number-short.bib
Title = "Preliminary Report on Input Cover Number as a Metric for Propositional Resolution Proofs",
YEAR = "2006"

cover-number.pdf       cover-number.bib
Title = "Preliminary Report on Input Cover Number as a Metric for Propositional Resolution Proofs",
YEAR = "2006"

ddgen93.pdf       ddgen93.bib
TITLE = "Deterministic Parsing of Languages with Dynamic Operators",
YEAR = "1993", MONTH = oct )

decimation-cgi99.pdf       decimation-cgi99.bib
TITLE = "Volume Decimation of Irregular Tetrahedral Grids",
YEAR = "1999",

eff-p-sim-aaai08.pdf       eff-p-sim-aaai08.bib
TITLE = "Clause Learning Can Effectively P-Simulate General Propositional Resolution",
YEAR = "2008",

elastic-tools-1.pdf       elastic-tools-1.bib
TITLE = "Approximate Simulation of Elastic Membranes by Triangulated Spring Meshes",
YEAR = "1998",

flow92.pdf       flow92.bib
TITLE = "Interactive {A}nimated {V}isualization of {F}low {F}ields",
YEAR = "1992",

franco-vg.pdf       franco-vg.bib
TITLE = "A Perspective on Certain Polynomial Time Solvable Classes of Satisfiability",
YEAR = 2003

fs02.pdf       fs02.bib
TITLE = "Combining Vision and Computer Graphics for Video Motion Capture",
YEAR = "2002"

fur_gi.pdf       fur_gi.bib
TITLE = "An Interactive Fur Modeling Technique",
YEAR = "1997",

generalized.pdf       generalized.bib
title = "Generalized Conflict-Clause Strengthening for Satisfiability Solvers",
year = "2011"

gg95.pdf       gg95.bib
TITLE = "Efficient Computation of Polygon Area and Polyhedron Volume",
YEAR = "1995",

hawaii02.pdf       hawaii02.bib
TITLE = "Interactive Video-Based Motion Capture for Character Animation",
YEAR = "2002",

human00.pdf       human00.bib
TITLE = "Human Motion from Active Contours",
YEAR = "2000"

incomplete.pdf       incomplete.bib
Title = "Incomplete Thoughts about Incomplete Satisfiability Procedures",
Year = 1993,

input-dist.pdf       input-dist.bib
Title = "Input Distance and Lower Bounds for Propositional Resolution Proof Length",
YEAR = "2005"

jacm88.pdf       jacm88.bib
TITLE = "Efficient tests for top-down termination of logical rules",
YEAR = "1988" )

jlp87.pdf       jlp87.bib
TITLE = "Efficient loop detection in {P}rolog using the tortoise and hare technique",
YEAR = "1987",

jlp89.pdf       jlp89.bib
TITLE = "Negation as Failure Using Tight Derivations for General Logic Programs",
YEAR = "1989",

jlp90.pdf       jlp90.bib
TITLE = "Modeling simultaneous events with default reasoning and tight derivations",
YEAR = "1990",

jtl-tr.pdf       jtl-tr.bib
TITLE = "Efficient Spherical Joint Limits with Reach Cones",
YEAR = "2001",

jtl.pdf       jtl.bib
TITLE = "Fast and Easy Reach-Cone Joint Limits",
YEAR = "2001",

kclose-tr.pdf       kclose-tr.bib
Title = "Satisfiability Testing with More Reasoning and Less Guessing",
Year = 1996,

leaner05.pdf       leaner05.bib
Title = "Toward Leaner Binary-Clause Reasoning in a Satisfiability Solver",
year = 2005

lemmas-dist.pdf       lemmas-dist.bib
title = "Lemma and Cut Strategies for Propositional Model Elimination",
year = 1999

lics01-sat.pdf       lics01-sat.bib
Title = "Combining Preorder and Postorder Resolution in a Satisfiability Solver",
YEAR = "2001"

mdh94.pdf       mdh94.bib
TITLE = "Multi-Dimensional Trees for Controlled Volume Rendering and Compression",
YEAR = "1994"

mirrors94.pdf       mirrors94.bib
TITLE = "Doing It with Mirrors: Low Budget Stereo Graphics",
YEAR = "1994",

modoc-ub-dist.pdf       modoc-ub-dist.bib
TITLE = "Complexity Analysis of Propositional Resolution with Autarky Pruning",
YEAR = 1999

nail86.pdf       nail86.bib
TITLE = "Design overview of the {Nail!} system",
YEAR = "1986")

need-proofs.pdf       need-proofs.bib
Title = "Decision Procedures Should Be Able to Produce (Easily) Checkable Proofs",
YEAR = "2002",

oct92.pdf       oct92.bib
title = "Octrees for Faster Isosurface Generation",
year = "1992",

packet89.pdf       packet89.bib
TITLE = "Packet Distribution on a Ring",
YEAR = "1989" )

parallel88.pdf       parallel88.bib
TITLE = " Parallel Complexity of Logical Query Programs",
YEAR = "1988" )

partition-IC.pdf       partition-IC.bib
TITLE = "Partitioning Methods for Satisfiability Testing on Large Formulas",
YEAR = 2000

partition-cade13.pdf       partition-cade13.bib
TITLE = "Partitioning Methods for Satisfiability Testing on Large Formulas",
YEAR = "1996"

planning-dist.pdf       planning-dist.bib
title = "A Propositional Theorem Prover to Solve Planning and Other Problems",
year = 1999

pods92.pdf       pods92.bib
TITLE = "The well-founded semantics of aggregation",
YEAR = "1992" )

poly-res.pdf       poly-res.bib
Title = "Propositional Search with $k$-Clause Introduction Can Be Polynomially Simulated by Resolution",
YEAR = "1998"

pool-res.pdf       pool-res.bib
Title = "Pool Resolution and Its Relation to Regular Resolution and {DPLL} with Clause Learning",
YEAR = "2005"

pram89.pdf       pram89.bib
TITLE = "PRAM Processor Allocation: A Hidden Bottleneck in Sublogarithmic Algorithms",
YEAR = "1989" )

proj91.pdf       proj91.bib
title = {A Coherent Projection Approach for Direct Volume Rendering},
year = {1991},

proofs-isaim08.pdf       proofs-isaim08.bib
Title = "Verifying {RUP} Proofs of Propositional Unsatisfiability",
YEAR = "2008"

proofs-sat07.pdf       proofs-sat07.bib
Title = "Verifying Propositional Unsatisfiability: Pitfalls to Avoid",
YEAR = "2007"

pvsolve-preprint.pdf       pvsolve-preprint.bib
TITLE = "Using {PVsolve} to Analyze and Locate Positions of Parallel Vectors",
YEAR = "2009"

pvsolve.pdf       pvsolve.bib
TITLE = "Using {PVsolve} to Analyze and Locate Positions of Parallel Vectors",
YEAR = "2009",

rjcfTR.pdf       rjcfTR.bib
title = "Report on Relaxed {J}ordan Canonical Form for Computer Animation and Visualization",
year = "2009",

safety87.pdf       safety87.bib
TITLE = "Safety and correct translation of relational calculus formulas",
YEAR = "1987",

safety91.pdf       safety91.bib
TITLE = "Safety and translation of relational calculus formulas",
YEAR = "1991" )

sat-pre-post.pdf       sat-pre-post.bib
Title = "Extracting (Easily) Checkable Proofs from a Satisfiability Solver that Employs both Preorder and Postorder Resolution",
YEAR = "2002"

sat2000.pdf       sat2000.bib
Title = "Lemmas in Propositional Model Search and Refutation Search",
YEAR = "2000"

satIC1988.pdf       satIC1988.bib
Title="{A Satisfiability Tester for Non-Clausal Propositional Calculus}",
YEAR=1988,

sgen2-sat10.pdf       sgen2-sat10.bib
Title = "Zero-One Designs Produce Small Hard SAT Instances",
YEAR = "2010"

sigmod86.pdf       sigmod86.bib
TITLE = "A message passing framework for logical query evaluation",
YEAR = "1986",

stableFFF.pdf       stableFFF.bib
TITLE = "Stable Feature Flow Fields",
YEAR = "2011" }

strategies.pdf       strategies.bib
title = "A Uniform Approach for Generating Proofs and Strategies for both True and False {QBF} Formulas",
year = "2011"

streamsurf01.pdf       streamsurf01.bib
TITLE = "Stream Surface Generation for Fluid Flow Solutions on Curvilinear Grids",
YEAR = "2001"

tensors-vg08-long.pdf       tensors-vg08-long.bib
TITLE = "Decomposition and Visualization of Fourth-Order Elastic-Plastic Tensors",
YEAR = "2008",

termab91.pdf       termab91.bib
TITLE = "Termination Detection in Logic Programs using Argument Sizes",
YEAR = "1991" )

vcore-vda12.pdf       vcore-vda12.bib
TITLE = "Vortex Core Detection: Back to Basics",
YEAR = "2012",

vis93.pdf       vis93.bib
TITLE = "Rapid Exploration of Curvilinear Grids Using Direct Volume Rendering",
YEAR = "1993",

vis96.pdf       vis96.bib
TITLE = "Hierarchical and Parallelizable Direct Volume Rendering for Irregular and Multiple Grids",
YEAR = "1996",

voltx96.pdf       voltx96.bib
TITLE = "Direct Volume Rendering with Shading via {3D} Textures",
YEAR = "1996",

volvis92.pdf       volvis92.bib
title = {Interactive Animated Visualization of Flow Fields},
year = {1992},

watched-lits.pdf       watched-lits.bib
Title = "Generalizations of Watched Literals for Backtracking Search",
YEAR = "2002"

wf.pdf       wf.bib
TITLE = "The Well-Founded Semantics for General Logic Programs",
YEAR = "1991" )

wfax.pdf       wfax.bib
TITLE = "Common-Sense Axiomatizations for Logic Programs",
YEAR = 1993,

wfcircum90.pdf       wfcircum90.bib
TITLE = "A New Form of Circumscription for Logic Programs",
YEAR = 1990)

wftut.pdf       wftut.bib
TITLE = "A Tutorial on the Well-Founded Semantics",
YEAR = 1998,


Questions regarding about page content should be directed to
webmaster@cse.ucsc.edu
 Last modified Saturday, 12-Nov-2011 16:09:59 PST.