Search results for "set-constraints"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
58	Witold Charatonik, Andreas Podelski	Set Constraints with Intersection.	LICS	1997	DBLP DOI BibTeX RDF	satisfiability test, set-based program analysis, DEXPTIME-complete, complexity characterization, negative set constraints, negated conjuncts, negated inclusion, computability, decidability, intersection, inclusions, set constraints
40	Witold Charatonik, Leszek Pacholski	Set constraints with projections are in NEXPTIME	FOCS	1994	DBLP DOI BibTeX RDF	negated set constraints, NEXPTIME, program analysis, projections, type inference, decidability, set constraints
31	Witold Charatonik, Jean-Marc Talbot	Atomic Set Constraints with Projection.	RTA	2002	DBLP DOI BibTeX RDF
29	Joachim Niehren, Martin Müller 0001, Jean-Marc Talbot	Entailment of Atomic Set Constraints is PSPACE-Complete.	LICS	1999	DBLP DOI BibTeX RDF
27	John Kodumal, Alex Aiken	Regularly annotated set constraints.	PLDI	2007	DBLP DOI BibTeX RDF	annotated inclusion constraints, pushdown model checking, flow analysis, set constraints, context-free language reachability
25	Rémi Gilleron, Sophie Tison, Marc Tommasi	Solving Systems of Set Constraints with Negated Subset Relationships	FOCS	1993	DBLP DOI BibTeX RDF	systems of set constraints, negated subset relationships, tree automata techniques, satisfiability, decision procedure, regular tree languages
22	John Kodumal, Alexander Aiken	The set constraint/CFL reachability connection in practice.	PLDI	2004	DBLP DOI BibTeX RDF	flow analysis, type qualifiers, set constraints, context-free language reachability
22	Allan Cheng, Dexter Kozen	A Complete Gentzen-Style Axiomatization for Set Constraints.	ICALP	1996	DBLP DOI BibTeX RDF
21	Guido Tack, Christian Schulte 0001, Gert Smolka	Generating Propagators for Finite Set Constraints.	CP	2006	DBLP DOI BibTeX RDF
21	Rémi Gilleron, Sophie Tison, Marc Tommasi	Solving Systems of Set Constraints using Tree Automata.	STACS	1993	DBLP DOI BibTeX RDF
20	Agostino Dovier, Carla Piazza, Gianfranco Rossi	Narrowing the Gap between Set-Constraints and CLP(SET)-Constraints.	APPIA-GULP-PRODE	1998	DBLP BibTeX RDF
20	David J. Pearce 0001, Paul H. J. Kelly, Chris Hankin	Efficient field-sensitive pointer analysis of C.	ACM Trans. Program. Lang. Syst.	2007	DBLP DOI BibTeX RDF	pointer analysis, Set-constraints
20	Siva Anantharaman, Paliath Narendran, Michaël Rusinowitch	ACID-Unification Is NEXPTIME-Decidable.	MFCS	2003	DBLP DOI BibTeX RDF	E-Unification, Dag automata, Complexity, Tree automata, Set constraints
19	Witold Charatonik, Andreas Podelski	Co-definite Set Constraints.	RTA	1998	DBLP DOI BibTeX RDF
18	Siva Anantharaman, Paliath Narendran, Michaël Rusinowitch	Unification Modulo ACU I Plus Homomorphisms/Distributivity.	CADE	2003	DBLP DOI BibTeX RDF	E-Unification, Rewrite reachability, Minskymachine, Complexity, Set constraints, Post correspondence problem
18	Roberto M. Amadio, Witold Charatonik	On Name Generation and Set-Based Analysis in the Dolev-Yao Model.	CONCUR	2002	DBLP DOI BibTeX RDF	name generation, verification, cryptographic protocols, set constraints
18	Pawel Rychlikowski, Tomasz Truderung	Set Constraints on Regular Terms.	CSL	2004	DBLP DOI BibTeX RDF
18	Jean Goubault-Larrecq	Higher-Order Positive Set Constraints.	CSL	2002	DBLP DOI BibTeX RDF
18	Dexter Kozen	Rational Spaces and Set Constraints.	TAPSOFT	1995	DBLP DOI BibTeX RDF
18	Dexter Kozen	Logical Aspects of Set Constraints.	CSL	1993	DBLP DOI BibTeX RDF
18	Tomás E. Uribe	Sorted Unification Using Set Constraints.	CADE	1992	DBLP DOI BibTeX RDF
17	Fabrice Bouquet, Bruno Legeard, Fabien Peureux	CLPS-B - A Constraint Solver for B.	TACAS	2002	DBLP DOI BibTeX RDF	Evaluation of specifications, Animation, CSP, B Method, Set constraints, CLP
15	Franz Baader	A New Description Logic with Set Constraints and Cardinality Constraints on Role Successors.	FroCoS	2017	DBLP DOI BibTeX RDF
15	Leszek Pacholski, Andreas Podelski	Set Constraints: A Pearl in Research on Constraints.	CP	1997	DBLP DOI BibTeX RDF
15	Alexander Aiken, Dexter Kozen, Edward L. Wimmers	Decidability of Systems of Set Constraints with Negative Constraints	Inf. Comput.	1995	DBLP DOI BibTeX RDF
15	Kjartan Stefánsson	Systems of Set Constraints with Negative Constraints are NEXPTIME-Complete	LICS	1994	DBLP DOI BibTeX RDF
15	Hubert Comon, Véronique Cortier, John Mitchell	Tree Automata with One Memory, Set Constraints, and Ping-Pong Protocols.	ICALP	2001	DBLP DOI BibTeX RDF
15	Alexander Aiken, Dexter Kozen, Moshe Y. Vardi, Edward L. Wimmers	The Complexity of Set Constraints.	CSL	1993	DBLP DOI BibTeX RDF
15	Gianfranco Rossi	From set unification to set constraints.	Intelligenza Artificiale	2011	DBLP DOI BibTeX RDF
15	Federico Bergenti, Alessandro Dal Palù, Gianfranco Rossi	Integrating Finite Domain and Set Constraints into a Set-based Constraint Language.	Fundam. Informaticae	2009	DBLP DOI BibTeX RDF
15	Gianfranco Rossi	From Set Unification to Set Constraints.	Il Milione	2008	DBLP BibTeX RDF
15	Agha Iqbal Ali	Reformulation of the set partitioning problem as apure network with special order set constraints.	Ann. Oper. Res.	1998	DBLP DOI BibTeX RDF
15	Nevin Heintze, Joxan Jaffar	Set Constraints and Set-Based Analysis.	PPCP	1994	DBLP DOI BibTeX RDF
15	Carmen Gervet	Conjunto: Constraint Propagation over Set Constraints with Finite Set Domain Variables.	ICLP	1994	DBLP BibTeX RDF
15	Ravi Chugh, Jeffrey A. Meister, Ranjit Jhala, Sorin Lerner	Staged information flow for javascript.	PLDI	2009	DBLP DOI BibTeX RDF	integrity, web applications, confidentiality, flow analysis, set constraints
15	Azzam Maraee, Mira Balaban	Efficient Reasoning About Finite Satisfiability of UML Class Diagrams with Constrained Generalization Sets.	ECMDA-FA	2007	DBLP DOI BibTeX RDF	finite satisfiability, reasoning about class diagram, generalization set constraints, class hierarchy structure, consistency, UML class diagram, cardinality constraints
15	Fabrice Bouquet, Bruno Legeard, Fabien Peureux	CLPS-B - A constraint solver to animate a B specification.	Int. J. Softw. Tools Technol. Transf.	2004	DBLP DOI BibTeX RDF	B notation, Evaluation of specifications, Animation, Constraint logic programming, Set constraints
15	Siva Anantharaman, Paliath Narendran, Michaël Rusinowitch	Unification Modulo ACUI Plus Distributivity Axioms.	J. Autom. Reason.	2004	DBLP DOI BibTeX RDF	equational unification, counter machines, complexity, decidability, rewriting, set constraints, Post correspondence problem
15	David J. Pearce 0001, Paul H. J. Kelly, Chris Hankin	Efficient field-sensitive pointer analysis for C.	PASTE	2004	DBLP DOI BibTeX RDF	pointer analysis, set-constraints
15	Thomas W. Reps	Undecidability of context-sensitive data-independence analysis.	ACM Trans. Program. Lang. Syst.	2000	DBLP DOI BibTeX RDF	?, context-sensitive program-analysis, graph-reachability problem, linear matche-parenthesis language, structure-transmitted data-dependence, dependence analysis, control-flow analysis, set constraints, set-based analysis
14	V. Wiktor Marek, Jeffrey B. Remmel	Set Constraints in Logic Programming.	LPNMR	2004	DBLP DOI BibTeX RDF
13	Pawel Mielniczuk, Leszek Pacholski	Tarskian Set Constraints Are in NEXPTIME.	MFCS	1998	DBLP DOI BibTeX RDF
11	Francisco Azevedo	Cardinal: A Finite Sets Constraint Solver.	Constraints An Int. J.	2007	DBLP DOI BibTeX RDF	Constraint Logic Programming - PI, Primary Input - TG, Test Generation, CLP
11	Martin Müller 0001, Joachim Niehren, Andreas Podelski	Inclusion Constraints over Non-empty Sets of Trees.	TAPSOFT	1997	DBLP DOI BibTeX RDF
11	John P. Gallagher, Germán Puebla	Abstract Interpretation over Non-deterministic Finite Tree Automata for Set-Based Analysis of Logic Programs.	PADL	2002	DBLP DOI BibTeX RDF
10	Chang-Duo Liang, Ming-Feng Ge, Zhi-Wei Liu, Zhi-Wei Gu, Qian Chen	Distributed Predefined-Time Optimization Control for Networked Marine Surface Vehicles Subject to Set Constraints.	IEEE Trans. Intell. Transp. Syst.	2024	DBLP DOI BibTeX RDF
10	Meng Luan, Guanghui Wen, Hongzhe Liu, Tingwen Huang, Guanrong Chen, Wenwu Yu	Distributed Discrete-Time Convex Optimization With Closed Convex Set Constraints: Linearly Convergent Algorithm Design.	IEEE Trans. Cybern.	2024	DBLP DOI BibTeX RDF
10	Hongli Wang, Yuqiang Feng, Liguo Fei	Uncertain linear programming with cloud set constraints integrating fuzziness and randomness.	Appl. Soft Comput.	2024	DBLP DOI BibTeX RDF
10	Nand Sharma, Joshua Millstein	CausNet: generational orderings based search for optimal Bayesian networks via dynamic programming with parent set constraints.	BMC Bioinform.	2023	DBLP DOI BibTeX RDF
10	Ping Zhan	A Simple Characterization of Assignment Mechanisms on Set Constraints.	Oper. Res. Forum	2023	DBLP DOI BibTeX RDF
10	Yao Zou, Kewei Xia, Bomin Huang, Ziyang Meng	Distributed Optimization for Second-Order Discrete-Time Multiagent Systems With Set Constraints.	IEEE Trans. Neural Networks Learn. Syst.	2023	DBLP DOI BibTeX RDF
10	Nand Sharma, Joshua Millstein	CausNet : Generational orderings based search for optimal Bayesian networks via dynamic programming with parent set constraints.	CoRR	2022	DBLP DOI BibTeX RDF
10	Chenyang Liu, Xiaohua Dou, Songsong Cheng, Yuan Fan	A Gradient-free Penalty ADMM for Solving Distributed Convex Optimization Problems with Feasible Set Constraints.	ICARCV	2022	DBLP DOI BibTeX RDF
10	Kaihong Lu, Qixin Zhu	Distributed Algorithms Involving Fixed Step Size for Mixed Equilibrium Problems With Multiple Set Constraints.	IEEE Trans. Neural Networks Learn. Syst.	2021	DBLP DOI BibTeX RDF
10	Ruidong Yan, Hongwei Du 0001, Yi Li 0030, Wenping Chen, Yongcai Wang, Yuqing Zhu 0002, Deying Li 0001	Target users' activation probability maximization with different seed set constraints in social networks.	Theor. Comput. Sci.	2020	DBLP DOI BibTeX RDF
10	Joseph Eremondi	Set Constraints, Pattern Match Analysis, and SMT.	CoRR	2019	DBLP BibTeX RDF
10	Joseph Eremondi	Set Constraints, Pattern Match Analysis, and SMT.	TFP	2019	DBLP DOI BibTeX RDF
10	Catherine Dubois, Sulyvan Weppe	Towards Coq Formalisation of {log} Set Constraints Resolution.	SETS@ABZ	2018	DBLP BibTeX RDF
10	Michael Leuschel	Solving Set Constraints in B and Event-B: Foundations and Applications (invited talk).	SETS@ABZ	2018	DBLP BibTeX RDF
10	Shilp Dixit, Umberto Montanaro, Saber Fallah, Mehrdad Dianati, David Oxtoby, Tom Mizutani, Alexandros Mouzakitis	Trajectory Planning for Autonomous High-Speed Overtaking using MPC with Terminal Set Constraints.	ITSC	2018	DBLP DOI BibTeX RDF
10	Sergey Dovgal, Vlady Ravelomanana	Shifting the Phase Transition Threshold for Random Graphs Using Degree Set Constraints.	LATIN	2018	DBLP DOI BibTeX RDF
10	Rintaro Ikeshita, Masahito Togami, Yohei Kawaguchi, Yusuke Fujita, Kenji Nagamatsu	Local Gaussian model with source-set constraints in audio source separation.	MLSP	2017	DBLP DOI BibTeX RDF
10	Huaxian Cai, Tian Tian, Yilin Cai	Linear Programming Problem for Nonlinear Convex Set Constraints Based on Nonlinear Neural Network.	J. Digit. Inf. Manag.	2014	DBLP BibTeX RDF
10	Hao Han, Lihong Li 0002, Chaijie Duan, Hao Zhang 0026, Yang Zhao, Zhengrong Liang	A unified EM approach to bladder wall segmentation with coupled level-set constraints.	Medical Image Anal.	2013	DBLP DOI BibTeX RDF
10	Manuel Bodirsky, Martin Hils	Tractable Set Constraints.	J. Artif. Intell. Res.	2012	DBLP DOI BibTeX RDF
10	Franz Baader, Alexander Okhotin	Solving Language Equations and Disequations with Applications to Disunification in Description Logics and Monadic Set Constraints.	LPAR	2012	DBLP DOI BibTeX RDF
10	Victor W. Marek, Jeffrey B. Remmel	Disjunctive Programs with Set Constraints.	Correct Reasoning	2012	DBLP DOI BibTeX RDF
10	Manuel Bodirsky, Martin Hils, Alex Krimkevitch	Tractable Set Constraints	CoRR	2011	DBLP BibTeX RDF
10	Justin Yip, Pascal Van Hentenryck	Checking and Filtering Global Set Constraints.	CP	2011	DBLP DOI BibTeX RDF
10	Manuel Bodirsky, Martin Hils, Alex Krimkevitch	Tractable Set Constraints.	IJCAI	2011	DBLP DOI BibTeX RDF
10	Witold Charatonik, Leszek Pacholski	Set constraints with projections.	J. ACM	2010	DBLP DOI BibTeX RDF
10	Francisco Bueno, Jorge A. Navas, Manuel V. Hermenegildo	Towards Parameterized Regular Type Inference Using Set Constraints	CoRR	2010	DBLP BibTeX RDF
10	Thomas Graf	Reference-Set Constraints as Linear Tree Transductions via Controlled Optimality Systems.	FG	2010	DBLP DOI BibTeX RDF
10	Pascal Van Hentenryck, Justin Yip, Carmen Gervet, Grégoire Dooms	Bound Consistency for Binary Length-Lex Set Constraints.	AAAI	2008	DBLP BibTeX RDF
10	Christoph Schnörr	Signal and image approximation with level-set constraints.	Computing	2007	DBLP DOI BibTeX RDF	AMS Subject Classifications 68U10, 65K05, 65K10, 90C33
10	Magnus Ågren 0002	Set Constraints for Local Search.		2007	RDF
10	Hubert Comon, Véronique Cortier	Tree automata with one memory set constraints and cryptographic protocols.	Theor. Comput. Sci.	2005	DBLP DOI BibTeX RDF
10	Christian Rinderknecht	An Algorithm for Validating ASN.1 (X.680) Specifications using Set Constraints.	Comput. J.	2003	DBLP DOI BibTeX RDF
10	Wlodzimierz Drabent, Jan Maluszynski, Pawel Pietrzak	Using parametric set constraints for locating errors in CLP programs	CoRR	2002	DBLP BibTeX RDF
10	Wlodzimierz Drabent, Jan Maluszynski, Pawel Pietrzak	Using parametric set constraints for locating errors in CLP programs.	Theory Pract. Log. Program.	2002	DBLP DOI BibTeX RDF
10	Robert Givan, David A. McAllester, Carl Witty, Dexter Kozen	Tarskian Set Constraints.	Inf. Comput.	2002	DBLP DOI BibTeX RDF
10	Witold Charatonik, Andreas Podelski	Set Constraints with Intersection.	Inf. Comput.	2002	DBLP DOI BibTeX RDF
10	Franck Seynhaeve	Set constraints and topology.	Inf. Process. Lett.	2001	DBLP DOI BibTeX RDF
10	Mitchell Wand, William D. Clinger	Set constraints for destructive array update optimization.	J. Funct. Program.	2001	DBLP DOI BibTeX RDF
10	Jean-Marc Talbot	The forall-exists2 fragment of the first-order theory of atomic set constraints is Pi01-hard.	Inf. Process. Lett.	2000	DBLP DOI BibTeX RDF
10	David Melski, Thomas W. Reps	Interconvertibility of a class of set constraints and context-free-language reachability.	Theor. Comput. Sci.	2000	DBLP DOI BibTeX RDF
10	Jean-Marc Talbot, Philippe Devienne, Sophie Tison	Generalized Definite Set Constraints.	Constraints An Int. J.	2000	DBLP DOI BibTeX RDF
10	Francisco Azevedo, Pedro Barahona	Modelling Digital Circuits Problems with Set Constraints.	Computational Logic	2000	DBLP DOI BibTeX RDF
10	Rémi Gilleron, Sophie Tison, Marc Tommasi	Set Constraints and Automata.	Inf. Comput.	1999	DBLP DOI BibTeX RDF
10	Witold Charatonik	An Undecidable Fragment of the Theory of Set Constraints.	Inf. Process. Lett.	1998	DBLP DOI BibTeX RDF
10	Thomas Drakengren, Peter Jonsson	Reasoning About Set Constraints Applied to Tractable Inference in Intuitionistic Logic.	J. Log. Comput.	1998	DBLP DOI BibTeX RDF
10	Witold Charatonik	Set Constraints in Some Equational Theories.	Inf. Comput.	1998	DBLP DOI BibTeX RDF
10	Dexter Kozen	Set Constraints and Logic Programming.	Inf. Comput.	1998	DBLP DOI BibTeX RDF
10	Philippe Devienne, Jean-Marc Talbot, Sophie Tison	Co-definite Set Constraints with Membership Expressions.	IJCSLP	1998	DBLP BibTeX RDF
10	Mitchell Wand, William D. Clinger	Set Constraints for Destructive Array Update Optimization.	ICCL	1998	DBLP DOI BibTeX RDF
10	Gilles Richard, Frédéric Saubion, A. Tellez-Arenas	Intensional Set Constraints.	APPIA-GULP-PRODE	1997	DBLP BibTeX RDF
10	David Melski, Thomas W. Reps	Interconveritibility of Set Constraints and Context-Free Language Reachability.	PEPM	1997	DBLP DOI BibTeX RDF
10	Manuel Fähndrich, Alexander Aiken	Program Analysis Using Mixed Term and Set Constraints.	SAS	1997	DBLP DOI BibTeX RDF
10	Philippe Devienne, Jean-Marc Talbot, Sophie Tison	Solving Classes of Set Constraints with Tree Automata.	CP	1997	DBLP DOI BibTeX RDF
10	Dexter Kozen	Rational Spaces and Set Constraints.	Theor. Comput. Sci.	1996	DBLP DOI BibTeX RDF