Allen Van Gelder

107 papers A* 12A 20B 5C 2Misc 3Journal 42Unranked 20

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