Search results for "disequalities"

Found 19 publication records. Showing 19 according to the selection in the facets

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
126	Mathias Péron, Nicolas Halbwachs	An Abstract Domain Extending Difference-Bound Matrices with Disequality Constraints.	VMCAI	2007	DBLP DOI BibTeX RDF	difference-bound matrices, disequalities, static analysis, alias analysis, abstract domains
79	Robert Seater, David Wonnacott	Efficient Manipulation of Disequalities During Dependence Analysis.	LCPC	2002	DBLP DOI BibTeX RDF
45	Scott McPeak, George C. Necula	Data Structure Specifications via Local Equality Axioms.	CAV	2005	DBLP DOI BibTeX RDF
34	Jacob Focke, Leslie Ann Goldberg, Marc Roth, Stanislav Zivný	Approximately Counting Answers to Conjunctive Queries with Disequalities and Negations.	PODS	2022	DBLP DOI BibTeX RDF
34	Jacob Focke, Leslie Ann Goldberg, Marc Roth, Stanislav Zivný	Approximately Counting Answers to Conjunctive Queries with Disequalities and Negations.	CoRR	2021	DBLP BibTeX RDF
34	Andreas Reuß, Helmut Seidl	Paths, tree homomorphisms and disequalities for -clauses.	Math. Struct. Comput. Sci.	2018	DBLP DOI BibTeX RDF
34	Bart Demoen, Maria Garcia de la Banda	Redundant disequalities in the Latin Square problem.	Constraints An Int. J.	2013	DBLP DOI BibTeX RDF
34	Helmut Seidl, Andreas Reuß	Extending ${\cal H}_1$ -Clauses with Path Disequalities.	FoSSaCS	2012	DBLP DOI BibTeX RDF
34	Andreas Reuß, Helmut Seidl	Crossing the Syntactic Barrier: Hom-Disequalities for H1-Clauses.	CIAA	2012	DBLP DOI BibTeX RDF
34	Helmut Seidl, Andreas Reuß	Extending H1-clauses with disequalities.	Inf. Process. Lett.	2011	DBLP DOI BibTeX RDF
34	Karianto Wong, Christof Löding	Unranked Tree Automata with Sibling Equalities and Disequalities.	ICALP	2007	DBLP DOI BibTeX RDF
34	Francisco Javier López-Fraguas, Jaime Sánchez-Hernández	Disequalities May Help to Narrow.	APPIA-GULP-PRODE	1999	DBLP BibTeX RDF
23	Roméo Courbis, Pierre-Cyrille Héam, Olga Kouchnarenko	TAGED Approximations for Temporal Properties Model-Checking.	CIAA	2009	DBLP DOI BibTeX RDF
23	Germain Faure, Robert Nieuwenhuis, Albert Oliveras, Enric Rodríguez-Carbonell	SAT Modulo the Theory of Linear Arithmetic: Exact, Inexact and Commercial Solvers.	SAT	2008	DBLP DOI BibTeX RDF
23	Salvatore Ruggieri, Frédéric Mesnard	Typing Linear Constraints for Moding CLP() Programs.	SAS	2008	DBLP DOI BibTeX RDF	well-moding, constraint logic programming, definiteness, polyhedra, linear constraints
23	Fadoua Ghourabi, Tetsuo Ida, Hidekazu Takahashi, Mircea Marin, Asem Kasem	Logical and algebraic view of Huzita's origami axioms with applications to computational origami.	SAC	2007	DBLP DOI BibTeX RDF	constraint solving, first-order predicate logic, origami, geometric theorem proving
23	Guillaume Bagan, Arnaud Durand 0001, Etienne Grandjean	On Acyclic Conjunctive Queries and Constant Delay Enumeration.	CSL	2007	DBLP DOI BibTeX RDF
23	Enric Rodríguez-Carbonell, Deepak Kapur	An Abstract Interpretation Approach for Automatic Generation of Polynomial Invariants.	SAS	2004	DBLP DOI BibTeX RDF
23	Alexandre Boudet, Hubert Comon	Diophantine Equations, Presburger Arithmetic and Finite Automata.	CAAP	1996	DBLP DOI BibTeX RDF