The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Searching for phrase constraint-solving (changed automatically) with no syntactic query expansion in all metadata.

Publication years (Num. hits)
1987-1991 (16) 1992-1993 (20) 1994 (18) 1995 (17) 1996-1997 (24) 1998 (27) 1999 (28) 2000 (26) 2001 (74) 2002 (53) 2003 (50) 2004 (84) 2005 (69) 2006 (51) 2007 (41) 2008 (64) 2009 (40) 2010 (30) 2011 (15) 2012 (31) 2013 (15) 2014 (25) 2015 (19) 2016 (20) 2017 (22) 2018 (18) 2019 (15) 2020 (17) 2021-2022 (30) 2023-2024 (15)
Publication types (Num. hits)
article(192) book(2) data(1) incollection(5) inproceedings(745) phdthesis(18) proceedings(11)
Venues (Conferences, Journals, ...)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 526 occurrences of 326 keywords

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