Allen Van Gelder

Publication Activity (10 Years)

Years Active: 1967-2024
Publications (10 Years): 3

Top Venues

CoRR

J. Satisf. Boolean Model. Comput.

WoLLIC

Artif. Intell.

Publications

Allen Van Gelder
Partial Boolean Functions for QBF Semantics. ISAIM (2024)
Allen Van Gelder
Subsumption-Linear Q-Resolution for QBF Theorem Proving. WoLLIC (2023)
Florian Lonsing, Martina Seidl, Allen Van Gelder
The QBF Gallery: Behind the scenes. Artif. Intell. 237 (2016)
Florian Lonsing, Martina Seidl, Allen Van Gelder
The QBF Gallery: Behind the Scenes. CoRR (2015)
Mikolas Janota, Charles Jordan, Will Klieber, Florian Lonsing, Martina Seidl, Allen Van Gelder
The QBFGallery 2014: The QBF Competition at the FLoC Olympic Games. J. Satisf. Boolean Model. Comput. 9 (1) (2014)
Florian Lonsing, Uwe Egly, Allen Van Gelder
Efficient Clause Learning for Quantified Boolean Formulas via QBF Pseudo Unit Propagation. SAT (2013)
Allen Van Gelder
Primal and Dual Encoding from Applications into Quantified Boolean Formulas. CP (2013)
Allen Van Gelder
Contributions to the Theory of Practical Quantified Boolean Formula Solving. CP (2012)
Allen Van Gelder
Contrasat - A Contrarian SAT Solver. J. Satisf. Boolean Model. Comput. 8 (3/4) (2012)
Allen Van Gelder
Vortex core detection: back to basics. Visualization and Data Analysis (2012)
Allen Van Gelder, Samuel B. Wood, Florian Lonsing
Extended Failed-Literal Preprocessing for Quantified Boolean Formulas. SAT (2012)
Allen Van Gelder
Producing and verifying extremely large propositional refutations - Have your cake and eat it too. Ann. Math. Artif. Intell. 65 (4) (2012)
Allen Van Gelder
Careful Ranking of Multiple Solvers with Timeouts and Ties. SAT (2011)
Alexandra Goultiaeva, Allen Van Gelder, Fahiem Bacchus
A Uniform Approach for Generating Proofs and Strategies for Both True and False QBF Formulas. IJCAI (2011)
Allen Van Gelder
Variable Independence and Resolution Paths for Quantified Boolean Formulas. CP (2011)
Tino Weinkauf, Holger Theisel, Allen Van Gelder, Alex T. Pang
Stable Feature Flow Fields. IEEE Trans. Vis. Comput. Graph. 17 (6) (2011)
Allen Van Gelder
Generalized Conflict-Clause Strengthening for Satisfiability Solvers. SAT (2011)
Allen Van Gelder, Ivor T. A. Spence
Zero-One Designs Produce Small Hard SAT Instances. SAT (2010)
Allen Van Gelder
Improved Conflict-Clause Minimization Leads to Improved Propositional Proof Traces. SAT (2009)
Allen Van Gelder, Alex Pang
Using PVsolve to Analyze and Locate Positions of Parallel Vectors. IEEE Trans. Vis. Comput. Graph. 15 (4) (2009)
Alisa Neeman, Rebecca M. Brannon, Boris Jeremic, Allen Van Gelder, Alex Pang
Decomposition and Visualization of Fourth-Order Elastic-Plastic Tensors. VG/PBG@SIGGRAPH (2008)
Philipp Hertel, Fahiem Bacchus, Toniann Pitassi, Allen Van Gelder
Clause Learning Can Effectively P-Simulate General Propositional Resolution. AAAI (2008)
Allen Van Gelder
Verifying RUP Proofs of Propositional Unsatisfiability. ISAIM (2008)
Allen Van Gelder
Another look at graph coloring via propositional satisfiability. Discret. Appl. Math. 156 (2) (2008)
Allen Van Gelder
Verifying Propositional Unsatisfiability: Pitfalls to Avoid. SAT (2007)
Geoff Sutcliffe, Stephan Schulz, Koen Claessen, Allen Van Gelder
Using the TPTP Language for Writing Derivations and Finite Interpretations. IJCAR (2006)
Allen Van Gelder
Preliminary Report on Input Cover Number as a Metric for Propositional Resolution Proofs. SAT (2006)
Allen Van Gelder, Geoff Sutcliffe
Extending the TPTP Language to Higher-Order Logic with Automated Parser Generation. IJCAR (2006)
Allen Van Gelder
Pool Resolution and Its Relation to Regular Resolution and DPLL with Clause Learning. LPAR (2005)
Allen Van Gelder
Input Distance and Lower Bounds for Propositional Resolution Proof Length. SAT (2005)
Allen Van Gelder
Toward leaner binary-clause reasoning in a satisfiability solver. Ann. Math. Artif. Intell. 43 (1) (2005)
Allen Van Gelder
Independently Checkable Proofs from Decision Procedures: Issues and Progress. LPAR (2005)
Fumiaki Okushi, Allen Van Gelder
Persistent and Quasi-Persistent Lemmas in Propositional Model Elimination. Ann. Math. Artif. Intell. 40 (3-4) (2004)
Jane Wilhelms, Allen Van Gelder
Combining vision and computer graphics for video motion capture. Vis. Comput. 19 (6) (2003)
John V. Franco, Allen Van Gelder
A perspective on certain polynomial-time solvable classes of satisfiability. Discret. Appl. Math. 125 (2-3) (2003)
Allen Van Gelder
Extracting (Easily) Checkable Proofs from a Satisfiability Solver that Employs both Preorder and Postorder Resolution. AI&M (2002)
Allen Van Gelder
Generalizations of Watched Literals for Backtracking Search. AI&M (2002)
Maryann Simmons, Jane Wilhelms, Allen Van Gelder
Model-based reconstruction for creature animation. Symposium on Computer Animation (2002)
Allen Van Gelder
Stream Surface Generation for Fluid Flow Solutions on Curvilinear Grids. VisSym (2001)
Jane Wilhelms, Allen Van Gelder
Fast and Easy Reach-Cone Joint Limits. J. Graphics, GPU, & Game Tools 6 (2) (2001)
Allen Van Gelder
Combining Preorder and Postorder Resolution in a Satisfiability Solver. Electron. Notes Discret. Math. 9 (2001)
Fumiaki Okushi, Allen Van Gelder
Persistent and Quasi-Persistent Lemmas in Propositional Model Elimination. AI&M (2000)
Tai Joon Park, Allen Van Gelder
Partitioning Methods for Satisfiability Testing on Large Formulas. Inf. Comput. 162 (1-2) (2000)
Jane Wilhelms, Allen Van Gelder, L. Atkinson-Derman, A. Luo
Human Motion from Active Contours. Workshop on Human Motion (2000)
Allen Van Gelder, Vivek Verma, Jane Wilhelms
Volume Decimation of Irregular Tetrahedral Grids. Computer Graphics International (1999)
Allen Van Gelder, Fumiaki Okushi
Lemma and cut strategies for propositional model elimination. Ann. Math. Artif. Intell. 26 (1-4) (1999)
Allen Van Gelder
Autarky Pruning in Propositional Model Elimination Reduces Failure Redundancy. J. Autom. Reason. 23 (2) (1999)
Allen Van Gelder
Complexity Analysis of Propositional Resolution with Autarky Pruning. Discret. Appl. Math. (1999)
Allen Van Gelder, Fumiaki Okushi
A propositional theorem prover to solve planning and other problems. Ann. Math. Artif. Intell. 26 (1-4) (1999)
Allen Van Gelder
Approximate Simulation of Elastic Membranes by Triangulated Spring Meshes. J. Graphics, GPU, & Game Tools 3 (2) (1998)
Allen Van Gelder, Jane Wilhelms
Varying spring constants for accurate simulation of elastic materials. SIGGRAPH Visual Proceedings (1997)
Jane Wilhelms, Allen Van Gelder
Anatomically based modeling. SIGGRAPH (1997)
Allen Van Gelder, Jane Wilhelms
An Interactive Fur Modeling Technique. Graphics Interface (1997)
Tai Joon Park, Allen Van Gelder
Partitioning Methods for Satisfiability Testing on Large Formulas. CADE (1996)
Allen Van Gelder, Kwansik Kim
Direct Volume Rendering with Shading via Three-Dimensional Textures. VVS (1996)
Jane Wilhelms, Allen Van Gelder, Paul Tarantino, Jonathan Gibbs
Hierarchical and Parallelizable Direct Volume Rendering for Irregular and Multiple Grids. IEEE Visualization (1996)
Jane Wilhelms, Allen Van Gelder
Multi-Dimensional Trees for Controlled Volume Rendering and Compression. VVS (1995)
Allen Van Gelder, Jane Wilhelms
Corrigendum: Topological Considerations in Isosurface Generation. ACM Trans. Graph. 14 (3) (1995)
Allen Van Gelder, Jane Wilhelms
Topological considerations in isosurface generation. ACM Trans. Graph. 13 (4) (1994)
Allen Van Gelder
Foundations of Aggregation in Deductive Databases. DOOD (1993)
Allen Van Gelder, Jane Wilhelms
Rapid Exploration of Curvilinear Grids Using Direct Volume Rendering. IEEE Visualization (1993)
Kjell Post, Allen Van Gelder, James Kerr
Deterministic Parsing of Languages with Dynamic Operators. ILPS (1993)
Allen Van Gelder, John S. Schlipf
Commonsense Axiomatizations for Logic Programs. J. Log. Program. 17 (2/3&4) (1993)
Allen Van Gelder, Yumi K. Tsuji
Satisfiability testing with more reasoning and less guessing. Cliques, Coloring, and Satisfiability (1993)
Allen Van Gelder
The Alternating Fixpoint of Logic Programs with Negation. J. Comput. Syst. Sci. 47 (1) (1993)
Allen Van Gelder
Multiple Join Size Estimation by Virtual Domains. PODS (1993)
Allen Van Gelder, Jane Wilhelms
Interactive Visualization of Flow Fields. VVS (1992)
Rosana S. G. Lanzelotte, Mohamed Zaït, Allen Van Gelder
Measuring the effectiveness of optimization. Search Strategies. BDA (1992)
Serge Abiteboul, Allen Van Gelder
Optimizing active databases using the SPLIT technique. BDA (1992)
Allen Van Gelder
The Well-Founded Semantics of Aggregation. PODS (1992)
Allen Van Gelder
Short Note: Van Gelder's Response. J. Log. Program. 14 (1&2) (1992)
Jane Wilhelms, Allen Van Gelder
Octrees for Faster Isosurface Generation. ACM Trans. Graph. 11 (3) (1992)
Serge Abiteboul, Allen Van Gelder
Optimizing Active Databases using the Split Technique. ICDT (1992)
Kirack Sohn, Allen Van Gelder
Termination Detection in Logic Programs using Argument Sizes. PODS (1991)
Jane Wilhelms, Allen Van Gelder
A coherent projection approach for direct volume rendering. SIGGRAPH (1991)
Allen Van Gelder
Deriving Constraints Among Argument Sizes in Logic Programs. Ann. Math. Artif. Intell. 3 (2-4) (1991)
Allen Van Gelder, Rodney W. Topor
Safety and Translation of Relational Calculus Queries. ACM Trans. Database Syst. 16 (2) (1991)
Allen Van Gelder, Kenneth A. Ross, John S. Schlipf
The Well-Founded Semantics for General Logic Programs. J. ACM 38 (3) (1991)
Allen Van Gelder
A New Form of Circumscription for Logic Programs (Extended Abstract). LPNMR (1990)
Jane Wilhelms, Allen Van Gelder
Topological considerations in isosurface generation extended abstract. VVS (1990)
Allen Van Gelder
Modeling Simultaneous Events with Default Reasoning and Tight Derivations. J. Log. Program. 8 (1) (1990)
Allen Van Gelder
Deriving Constraints Among Argument Sizes in Logic Programs. PODS (1990)
Jane Wilhelms, Allen Van Gelder
Octrees for faster isosurface generation. VVS (1990)
Allen Van Gelder
Negation as Failure using Tight Derivations for General Logic Programs. J. Log. Program. 6 (1&2) (1989)
Allen Van Gelder
The Alternating Fixpoint of Logic Programs with Negation. PODS (1989)
David Peleg, Allen Van Gelder
Packet Distribution on a Ring. J. Parallel Distributed Comput. 6 (3) (1989)
Allen Van Gelder
PRAM Processor Allocation: A Hidden Bottleneck in Sublogarithmic Algorithms. IEEE Trans. Computers 38 (2) (1989)
Jeffrey D. Ullman, Allen Van Gelder
Efficient tests for top-down termination of logical rules. J. ACM 35 (2) (1988)
Allen Van Gelder
A Satisfiability Tester for Non-clausal Propositional Calculus Inf. Comput. 79 (1) (1988)
Allen Van Gelder, Kenneth A. Ross, John S. Schlipf
Unfounded Sets and Well-Founded Semantics for General Logic Programs. PODS (1988)
Jeffrey D. Ullman, Allen Van Gelder
Parallel Complexity of Logical Query Programs. Algorithmica 3 (1988)
Allen Van Gelder, Rodney W. Topor
Safety and Correct Translation of Relational Calculus Formulas. PODS (1987)
Allen Van Gelder
Efficient Loop Detection in Prolog using the Tortoise-and-Hare Technique. J. Log. Program. 4 (1) (1987)
Katherine A. Morris, Jeffrey F. Naughton, Yatin P. Saraiya, Jeffrey D. Ullman, Allen Van Gelder
YAWN! (Yet Another Window on NAIL!). IEEE Data Eng. Bull. 10 (4) (1987)
Katherine A. Morris, Jeffrey D. Ullman, Allen Van Gelder
Design Overview of the NAIL! System. ICLP (1986)
Allen Van Gelder
Negation as Failure Using Tight Derivations for General Logic Programs. SLP (1986)
Jeffrey D. Ullman, Allen Van Gelder
Parallel Complexity of Logical Query Programs FOCS (1986)
Allen Van Gelder
A Message Passing Framework for Logical Query Evaluation. SIGMOD Conference (1986)
Allen Van Gelder
A Satisfiability Tester for Non-Clausal Propositional Calculus. CADE (1984)
Henry F. Korth, Gabriel M. Kuper, Joan Feigenbaum, Allen Van Gelder, Jeffrey D. Ullman
System/U: A Database System Based on the Universal Relation Assumption. ACM Trans. Database Syst. 9 (3) (1984)

Allen Van Gelder.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Allen Van Gelder