Allen Van Gelder

According to our database, Allen Van Gelder authored at least 94 papers between 1967 and 2023.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of three.

2023

Subsumption-Linear Q-Resolution for QBF Theorem Proving.

Allen Van Gelder

Proceedings of the Logic, Language, Information, and Computation, 2023

2016

The QBF Gallery: Behind the scenes.

Florian Lonsing, Martina Seidl, Allen Van Gelder

Artif. Intell., 2016

2014

The QBFGallery 2014: The QBF Competition at the FLoC Olympic Games.

Mikolas Janota, Charles Jordan, Will Klieber, Florian Lonsing, Martina Seidl, Allen Van Gelder

J. Satisf. Boolean Model. Comput., 2014

2013

Efficient Clause Learning for Quantified Boolean Formulas via QBF Pseudo Unit Propagation.

Florian Lonsing, Uwe Egly, Allen Van Gelder

Proceedings of the Theory and Applications of Satisfiability Testing - SAT 2013, 2013

Primal and Dual Encoding from Applications into Quantified Boolean Formulas.

Allen Van Gelder

Proceedings of the Principles and Practice of Constraint Programming, 2013

2012

Contrasat - A Contrarian SAT Solver.

Allen Van Gelder

J. Satisf. Boolean Model. Comput., 2012

Producing and verifying extremely large propositional refutations - Have your cake and eat it too.

Allen Van Gelder

Ann. Math. Artif. Intell., 2012

Vortex core detection: back to basics.

Allen Van Gelder

Proceedings of the Visualization and Data Analysis 2012, 2012

Extended Failed-Literal Preprocessing for Quantified Boolean Formulas.

Allen Van Gelder, Samuel B. Wood, Florian Lonsing

Proceedings of the Theory and Applications of Satisfiability Testing - SAT 2012, 2012

Contributions to the Theory of Practical Quantified Boolean Formula Solving.

Allen Van Gelder

Proceedings of the Principles and Practice of Constraint Programming, 2012

2011

Stable Feature Flow Fields.

Tino Weinkauf, Holger Theisel, Allen Van Gelder, Alex T. Pang

IEEE Trans. Vis. Comput. Graph., 2011

Generalized Conflict-Clause Strengthening for Satisfiability Solvers.

Allen Van Gelder

Proceedings of the Theory and Applications of Satisfiability Testing - SAT 2011, 2011

Careful Ranking of Multiple Solvers with Timeouts and Ties.

Allen Van Gelder

Proceedings of the Theory and Applications of Satisfiability Testing - SAT 2011, 2011

A Uniform Approach for Generating Proofs and Strategies for Both True and False QBF Formulas.

Alexandra Goultiaeva, Allen Van Gelder, Fahiem Bacchus

Proceedings of the IJCAI 2011, 2011

Variable Independence and Resolution Paths for Quantified Boolean Formulas.

Allen Van Gelder

Proceedings of the Principles and Practice of Constraint Programming - CP 2011, 2011

2010

Zero-One Designs Produce Small Hard SAT Instances.

Allen Van Gelder, Ivor T. A. Spence

Proceedings of the Theory and Applications of Satisfiability Testing, 2010

2009

Using PVsolve to Analyze and Locate Positions of Parallel Vectors.

Allen Van Gelder, Alex Pang

IEEE Trans. Vis. Comput. Graph., 2009

Improved Conflict-Clause Minimization Leads to Improved Propositional Proof Traces.

Allen Van Gelder

Proceedings of the Theory and Applications of Satisfiability Testing, 2009

2008

Another look at graph coloring via propositional satisfiability.

Allen Van Gelder

Discret. Appl. Math., 2008

Decomposition and Visualization of Fourth-Order Elastic-Plastic Tensors.

Alisa Neeman, Rebecca M. Brannon, Boris Jeremic, Allen Van Gelder, Alex Pang

Proceedings of the Eurographics / IEEE VGTC Symposium on Volume and Point-Based Graphics, 2008

Verifying RUP Proofs of Propositional Unsatisfiability.

Allen Van Gelder

Proceedings of the International Symposium on Artificial Intelligence and Mathematics, 2008

Clause Learning Can Effectively P-Simulate General Propositional Resolution.

Philipp Hertel, Fahiem Bacchus, Toniann Pitassi, Allen Van Gelder

Proceedings of the Twenty-Third AAAI Conference on Artificial Intelligence, 2008

2007

Verifying Propositional Unsatisfiability: Pitfalls to Avoid.

Allen Van Gelder

Proceedings of the Theory and Applications of Satisfiability Testing, 2007

2006

Preliminary Report on Input Cover Number as a Metric for Propositional Resolution Proofs.

Allen Van Gelder

Proceedings of the Theory and Applications of Satisfiability Testing, 2006

Using the TPTP Language for Writing Derivations and Finite Interpretations.

Geoff Sutcliffe, Stephan Schulz, Koen Claessen, Allen Van Gelder

Proceedings of the Automated Reasoning, Third International Joint Conference, 2006

Extending the TPTP Language to Higher-Order Logic with Automated Parser Generation.

Allen Van Gelder, Geoff Sutcliffe

Proceedings of the Automated Reasoning, Third International Joint Conference, 2006

2005

Toward leaner binary-clause reasoning in a satisfiability solver.

Allen Van Gelder

Ann. Math. Artif. Intell., 2005

Input Distance and Lower Bounds for Propositional Resolution Proof Length.

Allen Van Gelder

Proceedings of the Theory and Applications of Satisfiability Testing, 2005

Pool Resolution and Its Relation to Regular Resolution and DPLL with Clause Learning.

Allen Van Gelder

Proceedings of the Logic for Programming, 2005

Independently Checkable Proofs from Decision Procedures: Issues and Progress.

Allen Van Gelder

Proceedings of the Logic for Programming, 2005

2004

Persistent and Quasi-Persistent Lemmas in Propositional Model Elimination.

Fumiaki Okushi, Allen Van Gelder

Ann. Math. Artif. Intell., 2004

2003

Combining vision and computer graphics for video motion capture.

Jane Wilhelms, Allen Van Gelder

Vis. Comput., 2003

A perspective on certain polynomial-time solvable classes of satisfiability.

John V. Franco, Allen Van Gelder

Discret. Appl. Math., 2003

2002

Model-based reconstruction for creature animation.

Maryann Simmons, Jane Wilhelms, Allen Van Gelder

Proceedings of the 2002 ACM SIGGRAPH/Eurographics Symposium on Computer Animation, 2002

Extracting (Easily) Checkable Proofs from a Satisfiability Solver that Employs both Preorder and Postorder Resolution.

Allen Van Gelder

Proceedings of the International Symposium on Artificial Intelligence and Mathematics, 2002

Generalizations of Watched Literals for Backtracking Search.

Allen Van Gelder

Proceedings of the International Symposium on Artificial Intelligence and Mathematics, 2002

2001

Fast and Easy Reach-Cone Joint Limits.

Jane Wilhelms, Allen Van Gelder

J. Graphics, GPU, & Game Tools, 2001

Combining Preorder and Postorder Resolution in a Satisfiability Solver.

Allen Van Gelder

Electron. Notes Discret. Math., 2001

Stream Surface Generation for Fluid Flow Solutions on Curvilinear Grids.

Allen Van Gelder

Proceedings of the 3rd Joint Eurographics - IEEE TCVG Symposium on Visualization, 2001

2000

Partitioning Methods for Satisfiability Testing on Large Formulas.

Tai Joon Park, Allen Van Gelder

Inf. Comput., 2000

Human Motion from Active Contours.

Jane Wilhelms, Allen Van Gelder, L. Atkinson-Derman, A. Luo

Proceedings of the Workshop on Human Motion, 2000

Computer Algorithms - Introduction to Design and Analysis (3. ed., repr. with corr.).

Sara Baase, Allen Van Gelder

Pearson / Prentice Hall, ISBN: 978-0-201-61244-8, 2000

1999

Autarky Pruning in Propositional Model Elimination Reduces Failure Redundancy.

Allen Van Gelder

J. Autom. Reason., 1999

Complexity Analysis of Propositional Resolution with Autarky Pruning.

Allen Van Gelder

Discret. Appl. Math., 1999

Lemma and cut strategies for propositional model elimination.

Allen Van Gelder, Fumiaki Okushi

Ann. Math. Artif. Intell., 1999

A propositional theorem prover to solve planning and other problems.

Allen Van Gelder, Fumiaki Okushi

Ann. Math. Artif. Intell., 1999

Volume Decimation of Irregular Tetrahedral Grids.

Allen Van Gelder, Vivek Verma, Jane Wilhelms

Proceedings of the Computer Graphics International Conference, CGI 1999, Canmore, Alberta, 1999

1998

Approximate Simulation of Elastic Membranes by Triangulated Spring Meshes.

Allen Van Gelder

J. Graphics, GPU, & Game Tools, 1998

1997

Anatomically based modeling.

Jane Wilhelms, Allen Van Gelder

Proceedings of the 24th Annual Conference on Computer Graphics and Interactive Techniques, 1997

Varying spring constants for accurate simulation of elastic materials.

Allen Van Gelder, Jane Wilhelms

Proceedings of the ACM SIGGRAPH 97 Visual Proceedings: The art and interdisciplinary programs of SIGGRAPH '97, 1997

An Interactive Fur Modeling Technique.

Allen Van Gelder, Jane Wilhelms

Proceedings of the Graphics Interface 1997 Conference, 1997

1996

Direct Volume Rendering with Shading via Three-Dimensional Textures.

Allen Van Gelder, Kwansik Kim

Proceedings of the Proceeding of the 1996 Symposium on Volume Visualization, 1996

Hierarchical and Parallelizable Direct Volume Rendering for Irregular and Multiple Grids.

Jane Wilhelms, Allen Van Gelder, Paul Tarantino, Jonathan Gibbs

Proceedings of the 7th IEEE Visualization Conference, 1996

1995

Corrigendum: Topological Considerations in Isosurface Generation.

Allen Van Gelder, Jane Wilhelms

ACM Trans. Graph., 1995

Multi-Dimensional Trees for Controlled Volume Rendering and Compression.

Jane Wilhelms, Allen Van Gelder

Proceedings of the 1994 Symposium on Volume Visualization, 1995

1994

Topological considerations in isosurface generation.

Allen Van Gelder, Jane Wilhelms

ACM Trans. Graph., 1994

1993

Commonsense Axiomatizations for Logic Programs.

Allen Van Gelder, John S. Schlipf

J. Log. Program., 1993

The Alternating Fixpoint of Logic Programs with Negation.

Allen Van Gelder

J. Comput. Syst. Sci., 1993

Rapid Exploration of Curvilinear Grids Using Direct Volume Rendering.

Allen Van Gelder, Jane Wilhelms

Proceedings of the 4th IEEE Visualization Conference, 1993

Deterministic Parsing of Languages with Dynamic Operators.

Kjell Post, Allen Van Gelder, James Kerr

Proceedings of the Logic Programming, 1993

Multiple Join Size Estimation by Virtual Domains.

Allen Van Gelder

Proceedings of the Twelfth ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, 1993

Foundations of Aggregation in Deductive Databases.

Allen Van Gelder

Proceedings of the Deductive and Object-Oriented Databases, Third International Conference, 1993

Satisfiability testing with more reasoning and less guessing.

Allen Van Gelder, Yumi K. Tsuji

Proceedings of the Cliques, 1993

1992

Octrees for Faster Isosurface Generation.

Jane Wilhelms, Allen Van Gelder

ACM Trans. Graph., 1992

Short Note: Van Gelder's Response.

Allen Van Gelder

J. Log. Program., 1992

Interactive Visualization of Flow Fields.

Allen Van Gelder, Jane Wilhelms

Proceedings of the 1992 Workshop on Volume Visualization, 1992

The Well-Founded Semantics of Aggregation.

Allen Van Gelder

Proceedings of the Eleventh ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, 1992

Measuring the effectiveness of optimization. Search Strategies.

Rosana S. G. Lanzelotte, Mohamed Zaït, Allen Van Gelder

Proceedings of the VIIIèmes Journées Bases de Données Avancées, 1992

Optimizing active databases using the SPLIT technique.

Serge Abiteboul, Allen Van Gelder

Proceedings of the VIIIèmes Journées Bases de Données Avancées, 1992

1991

Safety and Translation of Relational Calculus Queries.

Allen Van Gelder, Rodney W. Topor

ACM Trans. Database Syst., 1991

The Well-Founded Semantics for General Logic Programs.

Allen Van Gelder, Kenneth A. Ross, John S. Schlipf

J. ACM, 1991

Deriving Constraints Among Argument Sizes in Logic Programs.

Allen Van Gelder

Ann. Math. Artif. Intell., 1991

A coherent projection approach for direct volume rendering.

Jane Wilhelms, Allen Van Gelder

Proceedings of the 18th Annual Conference on Computer Graphics and Interactive Techniques, 1991

Termination Detection in Logic Programs using Argument Sizes.

Kirack Sohn, Allen Van Gelder

Proceedings of the Tenth ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, 1991

1990

Modeling Simultaneous Events with Default Reasoning and Tight Derivations.

Allen Van Gelder

J. Log. Program., 1990

Topological considerations in isosurface generation extended abstract.

Jane Wilhelms, Allen Van Gelder

Proceedings of the 1990 Workshop on Volume Visualization, 1990

A New Form of Circumscription for Logic Programs (Extended Abstract).

Allen Van Gelder

Proceedings of the Workshop Logic Programming and Non-Monotonic Logic, 1990

1989

PRAM Processor Allocation: A Hidden Bottleneck in Sublogarithmic Algorithms.

Allen Van Gelder

IEEE Trans. Computers, 1989

Packet Distribution on a Ring.

David Peleg, Allen Van Gelder

J. Parallel Distributed Comput., 1989

Negation as Failure using Tight Derivations for General Logic Programs.

Allen Van Gelder

J. Log. Program., 1989

1988

A Satisfiability Tester for Non-clausal Propositional Calculus

Allen Van Gelder

Inf. Comput., October, 1988

Efficient tests for top-down termination of logical rules.

Jeffrey D. Ullman, Allen Van Gelder

J. ACM, 1988

Parallel Complexity of Logical Query Programs.

Jeffrey D. Ullman, Allen Van Gelder

Algorithmica, 1988

Unfounded Sets and Well-Founded Semantics for General Logic Programs.

Allen Van Gelder, Kenneth A. Ross, John S. Schlipf

Proceedings of the Seventh ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, 1988

Negation as Failure Using Tight Derivations for General Logic Programs.

Allen Van Gelder

Proceedings of the Foundations of Deductive Databases and Logic Programming, 1988

1987

Efficient Loop Detection in Prolog using the Tortoise-and-Hare Technique.

Allen Van Gelder

J. Log. Program., 1987

YAWN! (Yet Another Window on NAIL!).

Katherine A. Morris, Jeffrey F. Naughton, Yatin P. Saraiya, Jeffrey D. Ullman, Allen Van Gelder

IEEE Data Eng. Bull., 1987

Safety and Correct Translation of Relational Calculus Formulas.

Allen Van Gelder, Rodney W. Topor

Proceedings of the Sixth ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, 1987

1986

Logic programming for parallel implementation.

Allen Van Gelder

PhD thesis, 1986

A Message Passing Framework for Logical Query Evaluation.

Allen Van Gelder

Proceedings of the 1986 ACM SIGMOD International Conference on Management of Data, 1986

Design Overview of the NAIL! System.

Katherine A. Morris, Jeffrey D. Ullman, Allen Van Gelder

Proceedings of the Third International Conference on Logic Programming, 1986

1984

System/U: A Database System Based on the Universal Relation Assumption.

Henry F. Korth, Gabriel M. Kuper, Joan Feigenbaum, Allen Van Gelder, Jeffrey D. Ullman

ACM Trans. Database Syst., 1984

1977

Structured Programming in Cobol: An Approach for Application Programmers.

Allen Van Gelder

Commun. ACM, 1977

1967

Some New Results in Pseudo-Random Number Generation.

Allen Van Gelder

J. ACM, 1967