Search results for "Constraint-Solving"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
22	Barry O'Sullivan, Alex Ferguson, Eugene C. Freuder	Boosting Constraint Satisfaction Using Decision Trees.	ICTAI	2004	DBLP DOI BibTeX RDF
20	Lu Yang	Distance Coordinates Used in Geometric Constraint Solving.	Automated Deduction in Geometry	2002	DBLP DOI BibTeX RDF
20	Pedro Barahona	Defeasible Constraint Solving over the Booleans.	IBERAMIA	1998	DBLP DOI BibTeX RDF
20	Sabrina Baselice, Piero A. Bonatti, Michael Gelfond	Towards an Integration of Answer Set and Constraint Solving.	ICLP	2005	DBLP DOI BibTeX RDF
20	Carsten Gips, Fritz Wysotzki	Spatial Inference - Combining Learning and Constraint Solving.	KI	2003	DBLP DOI BibTeX RDF
20	Carsten Gips, Petra Hofstedt, Fritz Wysotzki	Spatial Inference - Learning vs. Constraint Solving.	KI	2002	DBLP DOI BibTeX RDF
19	Matthias M. Hölzl, John N. Crossley	Disjunctive Constraint Lambda Calculi.	LPAR	2005	DBLP DOI BibTeX RDF
19	Georg Ringwelski	Object-Oriented Constraint Programming with J.CP.	MICAI	2002	DBLP DOI BibTeX RDF
19	Greg Nelson	Foundations of a Constraint-Based Illustrator.	FroCoS	2002	DBLP DOI BibTeX RDF
19	Martin Sulzmann	A General Type Inference Framework for Hindley/Milner Style Systems.	FLOPS	2001	DBLP DOI BibTeX RDF
19	Peter J. Stuckey, S. Sudarshan 0001	Compiling Query Constraints.	PODS	1994	DBLP DOI BibTeX RDF
19	Peter J. Stuckey, Martin Sulzmann, Jeremy Wazny	Type Processing by Constraint Reasoning.	APLAS	2006	DBLP DOI BibTeX RDF
19	Chung-Yang Huang, Kwang-Ting Cheng	Using word-level ATPG and modular arithmetic constraint-solvingtechniques for assertion property checking.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	2001	DBLP DOI BibTeX RDF
19	Baoqiu Cui, David Scott Warren	A System for Tabled Constraint Logic Programming.	Computational Logic	2000	DBLP DOI BibTeX RDF
19	Helmut Simonis	Building Industrial Applications with Constraint Programming.	CCL	1999	DBLP BibTeX RDF
19	Luis Barguñó, Carles Creus, Guillem Godoy, Florent Jacquemard, Camille Vacher	The Emptiness Problem for Tree Automata with Global Constraints.	LICS	2010	DBLP DOI BibTeX RDF	Symbolic Constraint Solving, Tree Automata, Monadic Second Order Logic, XML Processing
19	Yi Wei 0001, Serge Gebhardt, Bertrand Meyer 0001, Manuel Oriol	Satisfying Test Preconditions through Guided Object Selection.	ICST	2010	DBLP DOI BibTeX RDF	precondition satisfaction, linear constraint solving, random testing
19	Heping Gao, Meera Sitharam	Characterizing 1-dof Henneberg-I graphs with efficient configuration spaces.	SAC	2009	DBLP DOI BibTeX RDF	Henneberg-I graph, combinatorial rigidity, geometric constraints and reasoning, graph characterization, one degree of freedom (1-dof), quadratic or radical solvability, triangle-decomposable or tree-decomposable graph, underconstrained geometric constraint solving, computer aided design, mechanism, linkage, graph minor, algebraic complexity, configuration space
19	Andreas Petter, Alexander Behring, Max Mühlhäuser	Solving Constraints in Model Transformations.	ICMT@TOOLS	2009	DBLP DOI BibTeX RDF	model transformation, model driven engineering, constraint programming, constraint solving
19	Michael Leuschel, Jérôme Falampin, Fabian Fritz, Daniel Plagge	Automated Property Verification for Large Scale B Models.	FM	2009	DBLP DOI BibTeX RDF	Model Checking, Tools, Constraint-Solving, Industrial Applications, B-Method
19	Cristian Cadar, Vijay Ganesh, Peter M. Pawlowski, David L. Dill, Dawson R. Engler	EXE: Automatically Generating Inputs of Death.	ACM Trans. Inf. Syst. Secur.	2008	DBLP DOI BibTeX RDF	attack generation, dynamic analysis, symbolic execution, test case generation, constraint solving, bug finding
19	A. K. McIver, Carroll C. Morgan, Carlos Gonzalía	Proofs and Refutations for Probabilistic Refinement.	FM	2008	DBLP DOI BibTeX RDF	quantitative program logic, refinement, constraint solving, counterexamples, Probabilistic systems
19	Patricia Mouy, Bruno Marre, Nicky Williams, Pascale Le Gall	Generation of All-Paths Unit Test with Function Calls.	ICST	2008	DBLP DOI BibTeX RDF	all-paths unit test, unit test with function calls, unit test, constraint solving, structural testing, automatic generation, testing C programs
19	Éric Monfroy, Frédéric Saubion, Broderick Crawford, Carlos Castro 0001	A Theoretical Framework for Local Search Techniques.	CSE	2008	DBLP DOI BibTeX RDF	Constraint Satisfaction Problem (CSP), Local Search, Constraint Solving
19	Darko Marinov, Wolfram Schulte	Workshop on state-space exploration for automated testing (SSEAT 2008).	ISSTA	2008	DBLP DOI BibTeX RDF	random exploration, genetic algorithms, model checking, symbolic execution, automated testing, constraint solving, state-space exploration
19	Zhipeng Lü, Jin-Kao Hao	Solving the Course Timetabling Problem with a Hybrid Heuristic Algorithm.	AIMSA	2008	DBLP DOI BibTeX RDF	tabu search, constraint solving, Timetabling, iterated local search, hybrid heuristic
19	Hilderick A. van der Meiden, Willem F. Bronsvoort	Solving Systems of 3D Geometric Constraints with Non-rigid Clusters.	GMP	2008	DBLP DOI BibTeX RDF	clusters, rewriting, Geometric constraint solving, rigidity
19	Miguel Castro 0001, Manuel Costa, Jean-Philippe Martin	Better bug reporting with better privacy.	ASPLOS	2008	DBLP DOI BibTeX RDF	privacy, symbolic execution, constraint solving, bug reports
19	Aless Lasaruk, Thomas Sturm 0001	Weak quantifier elimination for the full linear theory of the integers.	Appl. Algebra Eng. Commun. Comput.	2007	DBLP DOI BibTeX RDF	Integer constraint solving, Implementation, Quantifier elimination
19	Kevin R. Glass, Shaun Bangay, Bruce Alcock	Mechanisms for multimodality: taking fiction to another dimension.	Afrigraph	2007	DBLP DOI BibTeX RDF	text-to-scene conversion, multimodality, constraint solving
19	Hua Yuan, Wenhui Li, Kong Zhao, Rongqin Yi	Parallel Search Algorithm for Geometric Constraints Solving.	HCI (14)	2007	DBLP DOI BibTeX RDF	particle swarm optimization, simplex method, geometric constraint solving, Parallel Search
19	Bassem Elkarablieh, Yehia Zayour, Sarfraz Khurshid	Efficiently Generating Structurally Complex Inputs with Thousands of Objects.	ECOOP	2007	DBLP DOI BibTeX RDF	Constraint-based Generation, Integer Constraint Solving, Software Testing, Data Structure Repair
19	Hilderick A. van der Meiden, Willem F. Bronsvoort	Tracking topological changes in feature models.	Symposium on Solid and Physical Modeling	2007	DBLP DOI BibTeX RDF	families of object, topology, feature modelling, constraint solving, parametric modelling
19	Stefan Ratschan	Efficient solving of quantified inequality constraints over the real numbers.	ACM Trans. Comput. Log.	2006	DBLP DOI BibTeX RDF	decision procedures, Constraint solving, numerical constraints
19	Meera Sitharam, Adam Arbree, Yong Zhou 0002, Naganandhini Kohareswaran	Solution space navigation for geometric constraint systems.	ACM Trans. Graph.	2006	DBLP DOI BibTeX RDF	Root selection for geometric constraint systems, constraint graphs, cyclical and 3D geometric constraint systems, decomposition of geometric constraint systems, degree of freedom analysis, feature-based and assembly modeling, underconstrained and overconstrained systems, variational geometric constraint solving, well constrained systems, conceptual design
19	Lu Yang, Zhenbing Zeng	Constructing a Tetrahedron with Prescribed Heights and Widths.	Automated Deduction in Geometry	2006	DBLP DOI BibTeX RDF	generalized Cayley-Menger algebra, widths of a tetrahedron, geometric constraint solving
19	Cristian Cadar, Vijay Ganesh, Peter M. Pawlowski, David L. Dill, Dawson R. Engler	EXE: automatically generating inputs of death.	CCS	2006	DBLP DOI BibTeX RDF	attack generation, dynamic analysis, symbolic execution, test case generation, constraint solving, bug finding
19	Arnaud Gotlieb, Matthieu Petit	Path-oriented random testing.	Random Testing	2006	DBLP DOI BibTeX RDF	random test data generation, random testing, constraint solving
19	Thom W. Frühwirth	Constraint handling rules: the story so far.	PPDP	2006	DBLP DOI BibTeX RDF	concurrency, applications, program analysis, constraint programming, constraint solving, executable specification, computational logic, rule-based programming
19	Viktor Kuncak, Daniel Jackson 0001	Relational analysis of algebraic datatypes.	ESEC/SIGSOFT FSE	2005	DBLP DOI BibTeX RDF	algebraic datatypes, model finding, transitive closure logic, model checking, constraint solving
19	Kazutaka Kurihara, David Vronay, Takeo Igarashi	Flexible timeline user interface using constraints.	CHI Extended Abstracts	2005	DBLP DOI BibTeX RDF	prototyping, constraint solving, timeline
19	Hilderick A. van der Meiden, Willem F. Bronsvoort	A constructive approach to calculate parameter ranges for systems of geometric constraints.	Symposium on Solid and Physical Modeling	2005	DBLP DOI BibTeX RDF	parameter range computation, geometric constraint solving
19	Benjamin Han, Alon Lavie	A framework for resolution of time in natural language.	ACM Trans. Asian Lang. Inf. Process.	2004	DBLP DOI BibTeX RDF	temporal information processing, knowledge representation, temporal reasoning, constraint solving, computational semantics
19	Hélène Fargier, Marie-Catherine Vilarem	Compiling CSPs into Tree-Driven Automata for Interactive Solving.	Constraints An Int. J.	2004	DBLP DOI BibTeX RDF	interactive constraint solving, CSP compilation, tree clustering, configuration, tree automata
19	Sabine Glesner, Wolf Zimmermann	Natural semantics as a static program analysis framework.	ACM Trans. Program. Lang. Syst.	2004	DBLP DOI BibTeX RDF	fixed-point program analyses, constraint solving, semantic analysis, compiler generators, static program analysis, Natural semantics
19	Stéphanie Delaune, Florent Jacquemard	A decision procedure for the verification of security protocols with explicit destructors.	CCS	2004	DBLP DOI BibTeX RDF	formal methods, security protocols, constraint solving
19	Javier Álvez, Paqui Lucio, Fernando Orejas	Constructive negation by bottom-up computation of literal answers.	SAC	2004	DBLP DOI BibTeX RDF	bottom-up operators, equality constraint solving, implementation, operational semantics, constructive negation
19	Chunhong Cao, Yinan Lu, Wenhui Li 0002	The Research of Geometric Constraint Soving Based on the Path Tracking Homotopy Iteration Method.	Intelligent Information Processing	2004	DBLP DOI BibTeX RDF	under-constraint, homotopy iteration method, Geometric constraint solving, path tracking
19	Sitt Sen Chok, Kim Marriott	Automatic generation of intelligent diagram editors.	ACM Trans. Comput. Hum. Interact.	2003	DBLP DOI BibTeX RDF	Constraint multi-set grammars, diagram interaction, diagram parsing, intelligent diagram, constraint solving, pen-based computing
19	Maria J. García de la Banda, Peter J. Stuckey, Jeremy Wazny	Finding all minimal unsatisfiable subsets.	PPDP	2003	DBLP DOI BibTeX RDF	minimal unsatisfiable subsets, constraint solving
19	Jun Yuan 0007, Ken Albin, Adnan Aziz, Carl Pixley	Constraint synthesis for environment modeling in functional verification.	DAC	2003	DBLP DOI BibTeX RDF	simulation vector generation, constraint solving
19	Shmuel Sagiv, Thomas W. Reps, Reinhard Wilhelm	Parametric shape analysis via 3-valued logic.	ACM Trans. Program. Lang. Syst.	2002	DBLP DOI BibTeX RDF	3-valued logic, destructive updating, static analysis, Abstract interpretation, shape analysis, constraint solving, pointer analysis, alias analysis
19	Jian Zhang 0001, Chen Xu, S. C. Cheung 0001	Automatic Generation of Database Instances for White-box Testing.	COMPSAC	2001	DBLP DOI BibTeX RDF	embedded SQL, software testing, constraint solving, Database applications, automatic test data generation
19	Slim Abdennadher, Christophe Rigotti	Generation of Propagation Rules for Intentionally Defined Constraints.	ICTAI	2001	DBLP DOI BibTeX RDF	Machine learning, Constraint solving, Rule-based programming
19	Stefaan Decorte, Danny De Schreye, Henk Vandecasteele	Constraint-based termination analysis of logic programs.	ACM Trans. Program. Lang. Syst.	1999	DBLP DOI BibTeX RDF	logic programming, constraint solving, termination analysis
19	Volker Weispfenning	Quantifier Elimination for Real Algebra - the Quadratic Case and Beyond.	Appl. Algebra Eng. Commun. Comput.	1997	DBLP DOI BibTeX RDF	Fast quantifier elimination and decision methods, First-order theory of reals, Constraint solving, Automatic theorem proving
19	Ioannis Fudos, Christoph M. Hoffmann	A Graph-Constructive Approach to Solving Systems of Geometric Constraints.	ACM Trans. Graph.	1997	DBLP DOI BibTeX RDF	graph-based constraint solvers, underconstrained systems, complexity, constraint solving, geometric constraints
19	Éric Monfroy, Michaël Rusinowitch, René Schott	Implementing non-linear constraints with cooperative solvers.	SAC	1996	DBLP DOI BibTeX RDF	non-linear constraint, integration, cooperation, constraint solving
19	Bjarne Steensgaard	Points-to Analysis by Type Inference of Programs with Structures and Unions.	CC	1996	DBLP DOI BibTeX RDF	interprocedural program analysis, non-standard types, constraint solving, points-to analysis, C programs
19	Richard Gerber 0001, Seongsoo Hong, Manas Saksena	Guaranteeing Real-Time Requirements With Resource-Based Calibration of Periodic Processes.	IEEE Trans. Software Eng.	1995	DBLP DOI BibTeX RDF	end-to-end timing constraints, Real-time, design methodology, constraint solving, non-linear optimization, static priority scheduling
19	Maria Alberta Alberti, Eric Bastioli, Daniele Marini	Towards object-oriented modelling of euclidean geometry.	Vis. Comput.	1995	DBLP DOI BibTeX RDF	Geometric constructions, Constraint solving, Euclidean geometry, Object-oriented graphics
19	Martin C. Emele, Ulrich Heid, Stefan Momma, Rémi Zajac	Interactions between linguistic constraints: Procedural vs. declarative approaches.	Mach. Transl.	1992	DBLP DOI BibTeX RDF	multilingual generation, typed feature terms, order-sorted unification, constraint solving
18	Helge Spieker	Towards Sequence-to-Sequence Reinforcement Learning for Constraint Solving with Constraint-Based Local Search.	AAAI	2019	DBLP DOI BibTeX RDF
18	Anna L. D. Latour, Behrouz Babaki, Anton Dries, Angelika Kimmig, Guy Van den Broeck, Siegfried Nijssen	Combining Stochastic Constraint Optimization and Probabilistic Programming - From Knowledge Compilation to Constraint Solving.	CP	2017	DBLP DOI BibTeX RDF
18	Tim Felgentreff, Todd D. Millstein, Alan Borning, Robert Hirschfeld	Checks and balances: constraint solving without surprises in object-constraint programming languages.	OOPSLA	2015	DBLP DOI BibTeX RDF
18	Karsten Scheibler, Bernd Becker 0001	Using interval constraint propagation for pseudo-Boolean constraint solving.	FMCAD	2014	DBLP DOI BibTeX RDF
18	Bo-Han Wu, Chung-Yang (Ric) Huang	A robust constraint solving framework for multiple constraint sets in constrained random verification.	DAC	2013	DBLP DOI BibTeX RDF
18	Javier Larrosa, Barry O'Sullivan (eds.)	Recent Advances in Constraints - 14th Annual ERCIM International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2009, Barcelona, Spain, June 15-17, 2009, Revised Selected Papers	CSCLP	2011	DBLP DOI BibTeX RDF
18	Angelo Oddi, François Fages, Francesca Rossi 0001 (eds.)	Recent Advances in Constraints, 13th Annual ERCIM International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2008, Rome, Italy, June 18-20, 2008, Revised Selected Papers	CSCLP	2009	DBLP DOI BibTeX RDF
18	Julien Martin, Thierry Martinez, François Fages	Procedural Code Generation vs Static Expansion in Modelling Languages for Constraint Programming.	CSCLP	2009	DBLP DOI BibTeX RDF
18	Patricia Gutierrez, Pedro Meseguer	Connecting BnB-ADOPT with Soft Arc Consistency: Initial Results.	CSCLP	2009	DBLP DOI BibTeX RDF
18	Julien Vion, Thierry Petit, Narendra Jussien	Integrating Strong Local Consistencies into Constraint Solvers.	CSCLP	2009	DBLP DOI BibTeX RDF
18	Roie Zivan, Uri Shapen, Moshe Zazone, Amnon Meisels	MAC-DBT Revisited.	CSCLP	2009	DBLP DOI BibTeX RDF
18	Stefano Bistarelli, Daniele Pirolandi, Francesco Santini 0001	Solving Weighted Argumentation Frameworks with Soft Constraints.	CSCLP	2009	DBLP DOI BibTeX RDF
18	Richard J. Wallace, Diarmuid Grimes, Eugene C. Freuder	Dynamic Constraint Satisfaction Problems: Relations among Search Strategies, Solution Sets and Algorithm Performance.	CSCLP	2009	DBLP DOI BibTeX RDF
18	Helmut Simonis	Solving the Static Design Routing and Wavelength Assignment Problem.	CSCLP	2009	DBLP DOI BibTeX RDF
18	Armin Wolf	Constraint-Based Modeling and Scheduling of Clinical Pathways.	CSCLP	2009	DBLP DOI BibTeX RDF
18	François Fages, Francesca Rossi 0001, Sylvain Soliman (eds.)	Recent Advances in Constraints, 12th Annual ERCIM International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2007, Rocquencourt, France, June 7-8, 2007, Revised Selected Papers	CSCLP	2008	DBLP DOI BibTeX RDF
18	Angelo Oddi, Riccardo Rasconi	Iterative Flattening Search on RCPSP/max Problems: Recent Developments.	CSCLP	2008	DBLP DOI BibTeX RDF
18	Maria Silvia Pini, Francesca Rossi 0001, Kristen Brent Venable, Rina Dechter	Robust Solutions in Unstable Optimization Problems.	CSCLP	2008	DBLP DOI BibTeX RDF
18	William Yeoh 0001, Ariel Felner, Sven Koenig	IDB-ADOPT: A Depth-First Search DCOP Algorithm.	CSCLP	2008	DBLP DOI BibTeX RDF	Distributed Search Algorithms, ADOPT, Distributed Constraint Optimization, DCOP
18	Khalil Djelloul	An Efficient Decision Procedure for Functional Decomposable Theories Based on Dual Constraints.	CSCLP	2008	DBLP DOI BibTeX RDF
18	François Fages, Julien Martin	From Rules to Constraint Programs with the Rules2CP Modelling Language.	CSCLP	2008	DBLP DOI BibTeX RDF
18	Stefano Bistarelli, Simon N. Foley, Barry O'Sullivan, Francesco Santini 0001	From Marriages to Coalitions: A Soft CSP Approach.	CSCLP	2008	DBLP DOI BibTeX RDF
18	George Katsirelos, Nina Narodytska, Toby Walsh	Combining Symmetry Breaking and Global Constraints.	CSCLP	2008	DBLP DOI BibTeX RDF
18	Igor Razgon, Barry O'Sullivan, Gregory M. Provan	Generalizing Global Constraints Based on Network Flows.	CSCLP	2007	DBLP DOI BibTeX RDF
18	Ulrich Junker	Preference-Based Problem Solving for Constraint Programming.	CSCLP	2007	DBLP DOI BibTeX RDF
18	Ismel Brito, Pedro Meseguer	Improving ABT Performance by Adding Synchronization Points.	CSCLP	2007	DBLP DOI BibTeX RDF
18	Marco Correia, Pedro Barahona	On the Integration of Singleton Consistencies and Look-Ahead Heuristics.	CSCLP	2007	DBLP DOI BibTeX RDF
18	Krzysztof R. Apt, Francesca Rossi 0001, Kristen Brent Venable	A Comparison of the Notions of Optimality in Soft Constraints and Graphical Games.	CSCLP	2007	DBLP DOI BibTeX RDF
18	Thom W. Frühwirth	Quasi-Linear-Time Algorithms by Generalisation of Union-Find in CHR.	CSCLP	2007	DBLP DOI BibTeX RDF
18	Pavel Surynek	A Global Filtration for Satisfying Goals in Mutual Exclusion Networks.	CSCLP	2007	DBLP DOI BibTeX RDF	global filtration, mutual exclusion network, search
18	Yves Deville, Grégoire Dooms, Stéphane Zampelli	Combining Two Structured Domains for Modeling Various Graph Matching Problems.	CSCLP	2007	DBLP DOI BibTeX RDF
18	Stefano Bistarelli, Francesco Santini 0001	SCLP for Trust Propagation in Small-World Networks.	CSCLP	2007	DBLP DOI BibTeX RDF
18	Roman Barták, Ondrej Cepek, Martin Hejna	Temporal Reasoning in Nested Temporal Networks with Alternatives.	CSCLP	2007	DBLP DOI BibTeX RDF
18	Brahim Hnich, Mats Carlsson, François Fages, Francesca Rossi 0001 (eds.)	Recent Advances in Constraints, Joint ERCIM/CoLogNET International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2005, Uppsala, Sweden, June 20-22, 2005, Revised Selected and Invited Papers	CSCLP	2006	DBLP DOI BibTeX RDF
18	Boi Faltings, Adrian Petcu, François Fages, Francesca Rossi 0001 (eds.)	Recent Advances in Constraints, Joint ERCIM/CoLogNet International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2004, Lausanne, Switzerland, June 23-25, 2004, Revised Selected and Invited Papers	CSCLP	2005	DBLP DOI BibTeX RDF
18	Armagan Tarim, Ian Miguel	A Hybrid Benders' Decomposition Method for Solving Stochastic Constraint Programs with Linear Recourse.	CSCLP	2005	DBLP DOI BibTeX RDF
18	Thom W. Frühwirth	Complete Propagation Rules for Lexicographic Order Constraints over Arbitrary Domains.	CSCLP	2005	DBLP DOI BibTeX RDF
18	Roland Martin	The Challenge of Exploiting Weak Symmetries.	CSCLP	2005	DBLP DOI BibTeX RDF