Search results for "constraint-solving"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
87	Peter Zoeteweij	A Coordination-Based Framework for Distributed Constraint Solving.	International Workshop on Constraint Solving and Constraint Logic Programming	2002	DBLP DOI BibTeX RDF
83	Lucas Bordeaux, Éric Monfroy, Frédéric Benhamou	Towards Automated Reasoning on the Properties of Numerical Constraints.	International Workshop on Constraint Solving and Constraint Logic Programming	2002	DBLP DOI BibTeX RDF
75	Barry O'Sullivan (eds.)	Recent Advances in Constraints, Joint ERCIM/CologNet International Workshop on Constraint Solving and Constraint Logic Programming, Cork, Ireland, June 19-21, 2002. Selected Papers	International Workshop on Constraint Solving and Constraint Logic Programming	2003	DBLP DOI BibTeX RDF
75	Eugene C. Freuder, Chavalit Likitvivatanavong, Manuela Moretti, Francesca Rossi 0001, Richard J. Wallace	Computing Explanations and Implications in Preference-Based Configurators.	International Workshop on Constraint Solving and Constraint Logic Programming	2002	DBLP DOI BibTeX RDF
75	Inês Lynce, João Marques-Silva 0001	The Effect of Nogood Recording in DPLL-CBJ SAT Algorithms.	International Workshop on Constraint Solving and Constraint Logic Programming	2002	DBLP DOI BibTeX RDF
75	Sebastian Brand	A Note on Redundant Rules in Rule-Based Constraint Programming.	International Workshop on Constraint Solving and Constraint Logic Programming	2002	DBLP DOI BibTeX RDF
75	Manuel V. Hermenegildo, Germán Puebla, Francisco Bueno, Pedro López-García 0001	Abstract Verification and Debugging of Constraint Logic Programs.	International Workshop on Constraint Solving and Constraint Logic Programming	2002	DBLP DOI BibTeX RDF
75	Stefano Bistarelli, Boi Faltings, Nicoleta Neagu	Interchangeability in Soft CSPs.	International Workshop on Constraint Solving and Constraint Logic Programming	2002	DBLP DOI BibTeX RDF
75	James Bowen	Constraint Processing Offers Improved Expressiveness and Inference for Interactive Expert Systems.	International Workshop on Constraint Solving and Constraint Logic Programming	2002	DBLP DOI BibTeX RDF
75	Hans Schlenker, Georg Ringwelski	POOC: A Platform for Object-Oriented Constraint Programming.	International Workshop on Constraint Solving and Constraint Logic Programming	2002	DBLP DOI BibTeX RDF
75	Steven D. Prestwich	A Local Search Algorithm for Balanced Incomplete Block Designs.	International Workshop on Constraint Solving and Constraint Logic Programming	2002	DBLP DOI BibTeX RDF
75	Roman Barták	Visopt ShopFloor: Going Beyond Traditional Scheduling.	International Workshop on Constraint Solving and Constraint Logic Programming	2002	DBLP DOI BibTeX RDF
75	Patrick Prosser, Evgeny Selensky	A Study of Encodings of Constraint Satisfaction Problems with 0/1 Variables.	International Workshop on Constraint Solving and Constraint Logic Programming	2002	DBLP DOI BibTeX RDF
75	Marc R. C. van Dongen	Domain-Heuristics for Arc-Consistency Algorithms.	International Workshop on Constraint Solving and Constraint Logic Programming	2002	DBLP DOI BibTeX RDF
75	Alan M. Frisch, Ian Miguel, Toby Walsh	CGRASS: A System for Transforming Constraint Satisfaction Problems.	International Workshop on Constraint Solving and Constraint Logic Programming	2002	DBLP DOI BibTeX RDF
63	Laurent Perrussel, Pierre-Jean Charrel	Inconsistent Requirements: An Argumentation View.	ICTAI	2001	DBLP DOI BibTeX RDF	> Collaborative Software Agents, Search, Distributed AI, Distributed Constraint Satisfaction
51	Robert Joan-Arinyo, Antoni Soto-Riera, Sebastià Vila-Marta, Josep Vilaplana-Pasto	Revisiting decomposition analysis of geometric constraint graphs.	Symposium on Solid Modeling and Applications	2002	DBLP DOI BibTeX RDF	graph-based constraint solving, constraint solving, geometric constraints
49	Frédéric Benhamou	Heterogeneous Constraint Solving.	ALP	1996	DBLP DOI BibTeX RDF
49	Xiao-Shan Gao, Gui-Fang Zhang	Classification and Solving of Merge Patterns in Geometric Constraint Solving.	Shape Modeling International	2003	DBLP DOI BibTeX RDF	parametric CAD, generalized construction sequence, basic merge pattern, assembly, Geometric constraint solving
46	Arnaud Gotlieb, Bernard Botella, Michel Rueher	Automatic Test Data Generation Using Constraint Solving Techniques.	ISSTA	1998	DBLP DOI BibTeX RDF	constraint solving techniques, structural testing, global constraints, automatic test data generation
46	Robert Joan-Arinyo, Antoni Soto-Riera	Combining Constructive and Equational Geometric Constraint-Solving Techniques.	ACM Trans. Graph.	1999	DBLP DOI BibTeX RDF	constructive techniques, equational techniques, rewriting systems, geometric constraint solving, canonical forms
45	Kevin R. Glass, Shaun Bangay	Constraint-based conversion of fiction text to a time-based graphical representation.	SAICSIT	2007	DBLP DOI BibTeX RDF	interval constraint solving, text-to-scene, text-to-scene conversion, interval arithmetic, constraint solving
45	Jae Yeol Lee	A 2D Geometric Constraint Solver for Parametric Design Using Graph Analysis and Reduction.	Automated Deduction in Geometry	1998	DBLP DOI BibTeX RDF	variational design, constructive constraint solving, graph reduction, Parametric design
44	Kun Jiang, Yang Gao, Xingfeng Lv, Yang Zhan	Parallel algorithms on geometric constraint solving.	SAC	2007	DBLP DOI BibTeX RDF	intelligent CAD, under(over)-constrained problem, parallel algorithm, rule base, geometric constraint solving
41	Armin Wolf	Projection in Adaptive Constraint Handling.	New Trends in Constraints	1999	DBLP DOI BibTeX RDF
41	Tian Yang, Zaifei Liao, Xinjie Lv, Hongan Wang	An approximate approach to constraint solving in soft sensing.	SAC	2009	DBLP DOI BibTeX RDF	approximation, granular computing, constraint solving, soft sensor, soft sensing
41	Philippe Codognet, Daniel Diaz 0001	Yet Another Local Search Method for Constraint Solving.	SAGA	2001	DBLP DOI BibTeX RDF	combinatorial optimization, Local search, constraint solving, search algorithms
40	Chunhong Cao, Bin Zhang 0001, Limin Wang, Wenhui Li 0002	The Parametric Design Based on Organizational Evolutionary Algorithm.	PRICAI	2006	DBLP DOI BibTeX RDF	organizational evolutionary algorithm, split operator, merging operator, coordinating operator, geometric constraint solving, parametric design
38	Reyes Pavón 0001, Fernando Díaz 0001, María Victoria Luzón	An adjustment model in a geometric constraint solving problem.	SAC	2006	DBLP DOI BibTeX RDF	constructive geometric constraint solving, setting parameters, genetic algorithms, bayesian networks
38	Greg J. Badros, Alan Borning, Peter J. Stuckey	The Cassowary linear arithmetic constraint solving algorithm.	ACM Trans. Comput. Hum. Interact.	2001	DBLP DOI BibTeX RDF	Cassowary, constraint-solving toolkit, user interface, constraints
37	Cristina Borralleras, Salvador Lucas, Rafael Navarro-Marset, Enric Rodríguez-Carbonell, Albert Rubio	Solving Non-linear Polynomial Arithmetic via SAT Modulo Linear Arithmetic.	CADE	2009	DBLP DOI BibTeX RDF	polynomial constraints, SAT modulo theories, program analysis, termination, Constraint solving
37	Michael J. Maher	A Synthesis of Constraint Satisfaction and Constraint Solving.	CP	2003	DBLP DOI BibTeX RDF
37	Robert Joan-Arinyo, Antoni Soto-Riera, Sebastià Vila-Marta, Josep Vilaplana-Pasto	Transforming an under-constrained geometric constraint problem into a well-constrained one.	Symposium on Solid Modeling and Applications	2003	DBLP DOI BibTeX RDF	graph-based constraint solving, over-constrained and under-constrained systems, constraint solving, geometric constraints
37	Georg Ringwelski	Integrating Search Objects in Asynchronous Constraint Solving.	CP	2002	DBLP DOI BibTeX RDF
35	Gui-Fang Zhang, Xiao-Shan Gao	Spatial geometric constraint solving based on k-connected graph decomposition.	SAC	2006	DBLP DOI BibTeX RDF	k-connected graph, parametric CAD, separating k-tuple, decomposition, geometric constraint solving
35	James Bailey 0001, Peter J. Stuckey	Discovery of Minimal Unsatisfiable Subsets of Constraints Using Hitting Set Dualization.	PADL	2005	DBLP DOI BibTeX RDF	Minimal unsatisfiable sets, constraint solving, hitting sets, hypergraph transversals
35	Peter Zoeteweij, Farhad Arbab	A Component-Based Parallel Constraint Solver.	COORDINATION	2004	DBLP DOI BibTeX RDF	parallelization, coordination, constraint solving, component-based software engineering
33	Jürgen Zimmer, Erica Melis	Constraint Solving for Proof Planning.	J. Autom. Reason.	2004	DBLP DOI BibTeX RDF	constraint satisfaction, automated reasoning, proof plans
33	Joxan Jaffar, Roland H. C. Yap	Open Constraint Programming.	CP	1998	DBLP DOI BibTeX RDF
32	Laurent Granvilliers, Éric Monfroy, Frédéric Benhamou	Symbolic-interval cooperation in constraint programming.	ISSAC	2001	DBLP DOI BibTeX RDF	interval arithmetic, constraint solving, symbolic computation
32	Stefano Bistarelli, Ugo Montanari, Francesca Rossi 0001	Semiring-based constraint satisfaction and optimization.	J. ACM	1997	DBLP DOI BibTeX RDF	non-crisp constraint reasoning, dynamic programming, constraint solving, local consistency
32	Fabrice Baray, Philippe Codognet, Daniel Diaz 0001, Henri Michel	Code-Based Test Generation for Validation of Functional Processor Descriptions.	TACAS	2003	DBLP DOI BibTeX RDF	Code-based test generation, functional hardware verification, constraint solving techniques
32	Nathan Hurst, Kim Marriott, Peter Moulder	Dynamic approximation of complex graphical constraints by linear constraints.	UIST	2002	DBLP DOI BibTeX RDF	linearization of constraints, non-overlap, direct manipulation, constraint-solving, containment, trust regions
32	Xiao-Shan Gao, Christoph M. Hoffmann, Wei-Qiang Yang	Solving spatial basic geometric constraint configurations with locus intersection.	Symposium on Solid Modeling and Applications	2002	DBLP DOI BibTeX RDF	locus intersection, parametric CAD, spatial basic configuration, geometric constraint solving
32	Sandrine-Dominique Gouraud, Alain Denise, Marie-Claude Gaudel, B. Marr	A New Way of Automating Statistical Testing Methods.	ASE	2001	DBLP DOI BibTeX RDF	statistical and random testing, software testing, constraint solving, structural testing, combinatorial structures
32	Roswitha Bardohl, Magnus Niemann, Manuel Schwarze	GenGEd: A Development Environment for Visual Languages.	AGTIVE	1999	DBLP DOI BibTeX RDF	algebraic graph transformation, rule- and constraint-based editor, visual language, constraint solving
31	Ludovic Langevine, Pierre Deransart, Mireille Ducassé	A Generic Trace Schema for the Portability of CP(FD) Debugging Tools.	CSCLP	2003	DBLP DOI BibTeX RDF
31	Jorge Cruz 0001, Pedro Barahona	Global Hull Consistency with Local Search for Continuous Constraint Solving.	EPIA	2001	DBLP DOI BibTeX RDF
31	Stefano Bistarelli, Giorgio Gosti	Solving CSPs with Naming Games.	CSCLP	2008	DBLP DOI BibTeX RDF
31	Slim Abdennadher, Christophe Rigotti	Towards Inductive Constraint Solving.	CP	2001	DBLP DOI BibTeX RDF
31	Susan L. Epstein, Eugene C. Freuder	Collaborative Learning for Constraint Solving.	CP	2001	DBLP DOI BibTeX RDF
31	Chung-Yang Huang, Kwang-Ting Cheng	Assertion checking by combined word-level ATPG and modular arithmetic constraint-solving techniques.	DAC	2000	DBLP DOI BibTeX RDF
30	Dominique Michelucci, Sebti Foufou	Interrogating witnesses for geometric constraint solving.	Symposium on Solid and Physical Modeling	2009	DBLP DOI BibTeX RDF	dependency detection, geometric constraint solving
30	Sumit Gulwani, Saurabh Srivastava 0001, Ramarathnam Venkatesan	Program analysis as constraint solving.	PLDI	2008	DBLP DOI BibTeX RDF	most-general counterexamples, non-termination analysis, strongest postcondition, program verification, constraint solving, weakest precondition, bounds analysis
30	Adam Meissner, Magdalena Niwinska, Krzysztof Zwierzynski	Computing the Irregularity Strength of Connected Graphs by Parallel Constraint Solving in the Mozart System.	PPAM	2007	DBLP DOI BibTeX RDF	irregularity strength, parallel constraint solving, Mozart
30	María Victoria Luzón, Antoni Soto-Riera, Juan F. Gálvez, Robert Joan-Arinyo	Searching the Solution Space in Constructive Geometric Constraint Solving with Genetic Algorithms.	Appl. Intell.	2005	DBLP DOI BibTeX RDF	constructive geometric constraint solving, root identification problem, solution selection, genetic algorithms
30	Xiao-Shan Gao, Gui-Fang Zhang	Geometric constraint solving via C-tree decomposition.	Symposium on Solid Modeling and Applications	2003	DBLP DOI BibTeX RDF	general construction sequence, generalized Stewart platform, parametric CAD, assembly, geometric constraint solving, decomposition tree
30	Robert Joan-Arinyo, Nuria Mata, Antoni Soto-Riera	A constraint solving-based approach to analyze 2D geometric problems with interval parometers.	Symposium on Solid Modeling and Applications	2001	DBLP DOI BibTeX RDF	constructive geometric constraint solving, global optimization, interval analysis
29	Christoph Fünfzig, Dominique Michelucci, Sebti Foufou	Nonlinear systems solver in floating-point arithmetic using LP reduction.	Symposium on Solid and Physical Modeling	2009	DBLP DOI BibTeX RDF	intersection computation, subdivision solver, linear programming, CAD, interval arithmetic, geometric constraints, geometric constraint solving, distance computation
29	Gui-Fang Zhang, Xiao-Shan Gao	Planar Generalized Stewart Platforms and Their Direct Kinematics.	Automated Deduction in Geometry	2004	DBLP DOI BibTeX RDF	Planar generalized Stewart platform, direct kinematics, geometric constraint solving, closed-form solution
29	Eelco van den Berg, Hilderick A. van der Meiden, Willem F. Bronsvoort	Specification of freeform features.	Symposium on Solid Modeling and Applications	2003	DBLP DOI BibTeX RDF	feature class specification, feature parameterization, freeform features, feature modeling, constraint solving
29	Jens Krinke, Torsten Robschink, Gregor Snelting	Software-Sicherheitsprüfung mit VALSOFT.	Inform. Forsch. Entwickl.	1999	DBLP DOI BibTeX RDF	Meßgeräte, Software-Validierung, Pfadbedingung, Program-Slicing, Constraint-Solving
28	Tihomir Gabric, Kevin Glynn, Harald Søndergaard	Strictness Analysis as Finite-Domain Constraint Solving.	LOPSTR	1998	DBLP DOI BibTeX RDF
28	Li-quan Sun, Xue-yao Gao	Improved Chaos-Particle Swarm Optimization Algorithm for Geometric Constraint Solving.	CSSE (2)	2008	DBLP DOI BibTeX RDF
28	Yun-Heh Chen-Burger, Kit-Ying Hui, Alun D. Preece, Peter M. D. Gray, Austin Tate	Supporting Collaboration Through Semantic-Based Workflow and Constraint Solving.	EKAW	2004	DBLP DOI BibTeX RDF	IDEF3, NIST PSL, Ontology, Semantic Web, Constraint Satisfaction, Business Process Modelling, Semantic Grid, Virtual Organisation
28	Michael Colón	Schema-Guided Synthesis of Imperative Programs by Constraint Solving.	LOPSTR	2004	DBLP DOI BibTeX RDF
27	Sebastien Siva, Lesi Wang	A SQL database system for solving constraints.	PIKM	2008	DBLP DOI BibTeX RDF	SQL, satisfiability (sat), constraint databases
27	Chong-Kan Chiu, Jimmy Ho-Man Lee	Efficient Interval Linear Equality Solving in Constraint Logic Programming.	Reliab. Comput.	2002	DBLP DOI BibTeX RDF
27	David Cachera, Thomas P. Jensen, David Pichardie, Gerardo Schneider	Certified Memory Usage Analysis.	FM	2005	DBLP DOI BibTeX RDF	certified memory analysis, Program analysis, theorem proving, constraint solving
27	Bruno Legeard, Fabien Peureux, Mark Utting	Automated Boundary Testing from Z and B.	FME	2002	DBLP DOI BibTeX RDF	boundary values, set constraint solving, specification-based testing, B method, Z notation
26	Karl Meinke	Automated black-box testing of functional correctness using function approximation.	ISSTA	2004	DBLP DOI BibTeX RDF	formal specification, approximation, functional test, constraint solving, test coverage, black-box test, satisfiability problem
26	Andreas Eggers, Natalia Kalinnik, Stefan Kupferschmid, Tino Teige	Challenges in Constraint-Based Analysis of Hybrid Systems.	CSCLP	2008	DBLP DOI BibTeX RDF	mixed Boolean and arithmetic constraints, stochastic SMT, parallel solver, differential equations, Craig interpolation
25	Timothy J. Hickey	CLIP: A CLP(Intervals) Dialect for Metalevel Constraint Solving.	PADL	2000	DBLP DOI BibTeX RDF
25	Ankur Taly, Sumit Gulwani, Ashish Tiwari 0001	Synthesizing Switching Logic Using Constraint Solving.	VMCAI	2009	DBLP DOI BibTeX RDF
25	Ugo Montanari, Francesca Rossi 0001	Graph Rewriting, Constraint Solving and Tiles for Coordinating Distributed Systems.	Appl. Categorical Struct.	1999	DBLP DOI BibTeX RDF	double categories, distributed systems, constraints, coordination, graph rewriting
25	Alessandro Armando, Erica Melis, Silvio Ranise	Constraint Solving in Logic Programming and in Automated Deduction: A Comparison.	AIMSA	1998	DBLP DOI BibTeX RDF
25	Kim Marriott, Sitt Chen Chok, Alan Finlay	A Tableau Based Constraint Solving Toolkit for Interactive Graphical Applications.	CP	1998	DBLP DOI BibTeX RDF
25	Saswat Anand, Wei-Ngan Chin, Siau-Cheng Khoo	A Lazy Divide and Conquer Approach to Constraint Solving.	ICTAI	2002	DBLP DOI BibTeX RDF
25	Slim Abdennadher, Thom W. Frühwirth	Integration and Optimization of Rule-Based Constraint Solvers.	LOPSTR	2003	DBLP DOI BibTeX RDF
25	Pierre Lim, Peter J. Stuckey	A Constraint Logic Programming Shell.	PLILP	1990	DBLP DOI BibTeX RDF
25	Evgueni Petrov, Éric Monfroy	Automatic Analysis of Composite Solvers.	ICTAI	2002	DBLP DOI BibTeX RDF
25	Carlos Castro	COLETTE, Prototyping CSP Solvers Using a Rule-Based Language.	AISC	1998	DBLP DOI BibTeX RDF	Constraint Satisfaction Problems, Rewriting Logic
25	Pascal Van Hentenryck, Viswanath Ramachandran	Backtracking without Trailing in CLP(RLin). (long version: TOPLAS 17(4): 349-360 (1995))	PLDI	1994	DBLP DOI BibTeX RDF
24	Marc Freixas, Robert Joan-Arinyo, Antoni Soto-Riera	Elements for a modular dynamic geometry system.	SAC	2008	DBLP DOI BibTeX RDF	dynamic mechanisms, geometric constraint solving, dynamic geometry
24	Marc Freixas, Robert Joan-Arinyo, Antoni Soto-Riera	A constraint-based dynamic geometry system.	Symposium on Solid and Physical Modeling	2008	DBLP DOI BibTeX RDF	geometric constraint solving, dynamic geometry
24	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
24	Behrouz Tork Ladani, Baptiste Alcalde, Ana R. Cavalli	Passive Testing - A Constrained Invariant Checking Approach.	TestCom	2005	DBLP DOI BibTeX RDF	invariant checking, SCP, invariants, constraint solving, passive testing
24	Nikolai Tillmann, Wolfram Schulte	Parameterized unit tests.	ESEC/SIGSOFT FSE	2005	DBLP DOI BibTeX RDF	automatic test input generation, unit testing, symbolic execution, constraint solving, algebraic data types
24	Nikolai Tillmann, Wolfram Schulte	Parameterized unit tests with unit meister.	ESEC/SIGSOFT FSE	2005	DBLP DOI BibTeX RDF	automatic test input generation, unit testing, symbolic execution, constraint solving, algebraic data types
23	Igor Razgon	Complexity Analysis of Heuristic CSP Search Algorithms.	CSCLP	2005	DBLP DOI BibTeX RDF
23	Lucas Bordeaux, Brice Pajot	Computing Equilibria Using Interval Constraints.	CSCLP	2004	DBLP DOI BibTeX RDF
23	Robert Joan-Arinyo	Geometric Constraint Solving: A Growing Field: Geometric Constraint Solving and Applications, B. Brüderlin, D. Roller (Eds.); Springer, Berlin, 1998, Hardbound, 304 pages, ISBN 3-540-64416-4.	Comput. Aided Des.	2001	DBLP DOI BibTeX RDF
23	Gérard Verfaillie, Narendra Jussien	Constraint Solving in Uncertain and Dynamic Environments: A Survey.	Constraints An Int. J.	2005	DBLP DOI BibTeX RDF	stability, robustness, uncertainty, flexibility, constraint satisfaction problem, change
22	Feifei Ma	Constraint solving techniques for software testing and analysis.	ICSE (2)	2010	DBLP DOI BibTeX RDF
22	Junaid Haroon Siddiqui, Sarfraz Khurshid	An Empirical Study of Structural Constraint Solving Techniques.	ICFEM	2009	DBLP DOI BibTeX RDF	model checking, SAT, symbolic execution, state space exploration, systematic testing, Empirical comparison, software testing tools
22	Tetsuo Ida, Dorin Tepeneu, Bruno Buchberger, Judit Robu	Proving and Constraint Solving in Computational Origami.	AISC	2004	DBLP DOI BibTeX RDF
22	Yongmin Zhong, Wolfgang Müller-Wittig, Weiyin Ma	Incorporating Constraints into a Virtual Reality Environment for Intuitive and Precise Solid Modelling.	IV	2002	DBLP DOI BibTeX RDF
22	Christophe Ringeissen, Éric Monfroy	Generating Propagation Rules for Finite Domains: A Mixed Approach.	New Trends in Constraints	1999	DBLP DOI BibTeX RDF
22	Ranga Vemuri, R. Kalyanaraman	Generation of design verification tests from behavioral VHDL programs using path enumeration and constraint programming.	IEEE Trans. Very Large Scale Integr. Syst.	1995	DBLP DOI BibTeX RDF
22	Deepak Mehta 0001, Barry O'Sullivan, Luis Quesada 0001, Nic Wilson	Search Space Extraction.	CP	2009	DBLP DOI BibTeX RDF