|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 13289 occurrences of 5329 keywords
|
|
|
Results
Found 33126 publication records. Showing 33126 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
20 | Yuanlin Zhang 0004 |
On Tightness of Constraints. |
CP |
2004 |
DBLP DOI BibTeX RDF |
|
20 | Mingyan Huang, Zhiyong Liu, Scott D. Goodwin |
Dueling CSP Representations: Local Search in the Primal versus Dual Constraint Graph. |
AI |
2003 |
DBLP DOI BibTeX RDF |
|
20 | Maria A. Osorio, Fred W. Glover |
Exploiting Surrogate Constraint Analysis for Fixing Variables in both bounds for Multidimensional Knapsack Problems. |
ENC |
2003 |
DBLP DOI BibTeX RDF |
|
20 | Vijay A. Saraswat, Radha Jagadeesan, Vineet Gupta 0001 |
jcc: Integrating Timed Default Concurrent Constraint Programming into Java. |
EPIA |
2003 |
DBLP DOI BibTeX RDF |
|
20 | François Laburthe |
Constraints over Ontologies. |
CP |
2003 |
DBLP DOI BibTeX RDF |
|
20 | Jlifi Boutheina, Khaled Ghédira |
On the Enhancement of the Informed Backtracking Algorithm. |
CP |
2003 |
DBLP DOI BibTeX RDF |
|
20 | Thom W. Frühwirth, Slim Abdennadher |
Tutorial: Reasoning with, about and for Constraint Handling Rules. |
FroCoS |
2002 |
DBLP DOI BibTeX RDF |
|
20 | 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 |
|
20 | Nicolas Beldiceanu, Qi Guo, Sven Thiel |
Non-overlapping Constraints between Convex Polytopes. |
CP |
2001 |
DBLP DOI BibTeX RDF |
|
20 | Zeynep Kiziltan |
Labelling Heuristics for CSP Application Domains. |
CP |
2001 |
DBLP DOI BibTeX RDF |
|
20 | Thierry Petit, Jean-Charles Régin, Christian Bessière |
Specific Filtering Algorithms for Over-Constrained Problems. |
CP |
2001 |
DBLP DOI BibTeX RDF |
|
20 | Hartwig Baumgärtel |
Distributed Constraint Processing for Production Logistics. |
IEEE Intell. Syst. |
2000 |
DBLP DOI BibTeX RDF |
|
20 | Moshe Y. Vardi |
Constraint Satisfaction and Database Theory: a Tutorial. |
PODS |
2000 |
DBLP DOI BibTeX RDF |
|
20 | Baoqiu Cui, David Scott Warren |
A System for Tabled Constraint Logic Programming. |
Computational Logic |
2000 |
DBLP DOI BibTeX RDF |
|
20 | 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 |
|
20 | Timothy K. Shih, Anthony Y. Chang |
Solving Temporal Constraint Networks with Qualitative Reasoning and Fuzzy Rules. |
ICPP |
1999 |
DBLP DOI BibTeX RDF |
|
20 | Helmut Simonis |
Building Industrial Applications with Constraint Programming. |
CCL |
1999 |
DBLP BibTeX RDF |
|
20 | Tomás Brodský, Cornelia Fermüller, Yiannis Aloimonos |
Beyond the Epipolar Constraint: Integrating 3D Motion and Structure Estimation. |
SMILE |
1998 |
DBLP DOI BibTeX RDF |
|
20 | Alexander Brodsky 0001, Yoram Kornatzky |
The LyriC Language: Querying Constraint Objects. |
SIGMOD Conference |
1995 |
DBLP DOI BibTeX RDF |
SQL |
20 | Thom W. Frühwirth |
Annotated Constraint Logic Programming Applied to Temporal Reasoning. |
PLILP |
1994 |
DBLP DOI BibTeX RDF |
|
20 | Kim Marriott, Peter J. Stuckey |
The 3 R's of Optimizing Constraint Logic Programs: Refinement, Removal and Reordering. |
POPL |
1993 |
DBLP DOI BibTeX RDF |
|
20 | Lefteris M. Kirousis |
Fast Parallel Constraint Satisfaction. |
ICALP |
1993 |
DBLP DOI BibTeX RDF |
|
20 | Gopalakrishnan Vijayan, Ren-Song Tsay |
A new method for floor planning using topological constraint reduction. |
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. |
1991 |
DBLP DOI BibTeX RDF |
|
20 | James M. Conrad, Dennis R. Bahler, James Bowen |
Static Parallel Arc Consistency in Constraint Satisfaction. |
ISMIS |
1991 |
DBLP DOI BibTeX RDF |
|
20 | Masayuki Numao |
Update Propagation Network - A Framework for Constraint Programming. |
LP |
1987 |
DBLP DOI BibTeX RDF |
|
20 | Roman Barták, Ondrej Cepek |
A Constraint Model for State Transitions in Disjunctive Resources. |
CSCLP |
2006 |
DBLP DOI BibTeX RDF |
domain filtering, disjunctive resource, constraint, state transition |
20 | Moshe Y. Vardi |
Constraints, Graphs, Algebra, Logic, and Complexity. |
TAMC |
2009 |
DBLP DOI BibTeX RDF |
|
20 | Wei Zhou 0006, Christoph Meinel |
Function-Based Authorization Constraints Specification and Enforcement. |
IAS |
2007 |
DBLP DOI BibTeX RDF |
Access control, authorization constraints, constraints specification, constraints enforcement |
20 | Alexander Brodsky 0001, Hadon Nash |
CoJava: a unified language for simulation and optimization. |
OOPSLA Companion |
2005 |
DBLP DOI BibTeX RDF |
simulation, optimization, constraints |
20 | Martin Henz, Roland H. C. Yap, Yun Fong Lim, Lua Seet Chong, J. Paul Walser, Shi Xiao Ping |
Solving Hierarchical Constraints over Finite Domains with Local Search. |
Ann. Math. Artif. Intell. |
2004 |
DBLP DOI BibTeX RDF |
hierarchical constraints, over-constrained problems, airport gate allocation, finite domain constraints |
20 | Ninghui Li, John C. Mitchell |
DATALOG with Constraints: A Foundation for Trust Management Languages. |
PADL |
2003 |
DBLP DOI BibTeX RDF |
|
20 | 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 |
|
20 | Christophe Ringeissen, Éric Monfroy |
Generating Propagation Rules for Finite Domains: A Mixed Approach. |
New Trends in Constraints |
1999 |
DBLP DOI BibTeX RDF |
|
20 | Shang-Hong Lai, Baba C. Vemuri |
Reliable and Efficient Computation of Optical Flow. |
Int. J. Comput. Vis. |
1998 |
DBLP DOI BibTeX RDF |
optical flow computation, motion estimation, regularization, motion analysis |
20 | Ting-Chi Wang, Martin D. F. Wong, Yachyang Sun, Chak-Kuen Wong |
Optimal net assignment. |
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. |
1995 |
DBLP DOI BibTeX RDF |
|
20 | Ruoming Jin, Hui Hong, Haixun Wang, Ning Ruan, Yang Xiang |
Computing label-constraint reachability in graph databases. |
SIGMOD Conference |
2010 |
DBLP DOI BibTeX RDF |
generalized transitive closure, hoeffding and bernstein bounds, label-constraint reachability, maximal directed spanning tree |
20 | Dániel Marx |
Tractable hypergraph properties for constraint satisfaction and conjunctive queries. |
STOC |
2010 |
DBLP DOI BibTeX RDF |
submodular width, constraint satisfaction, conjunctive queries, fixed-parameter tractability |
20 | Cheng-Wu Lin, Jai-Ming Lin, Chun-Po Huang, Soon-Jyh Chang |
Performance-driven analog placement considering boundary constraint. |
DAC |
2010 |
DBLP DOI BibTeX RDF |
analog placement, boundary constraint, symmetry |
20 | Neil Yorke-Smith, Carmen Gervet |
Certainty closure: Reliable constraint reasoning with incomplete or erroneous data. |
ACM Trans. Comput. Log. |
2009 |
DBLP DOI BibTeX RDF |
Incomplete and erroneous data, reliable solutions, uncertain constraint satisfaction problem, closure |
20 | Changshui Zhang, Feiping Nie 0001, Shiming Xiang, Chenping Hou |
Soft Constraint Harmonic Energy Minimization for Transductive Learning and its Two Interpretations. |
Neural Process. Lett. |
2009 |
DBLP DOI BibTeX RDF |
Soft label soft constraint, Classification, Random walks, Transductive learning, Label propagation |
20 | Ali Dasdan |
Provably efficient algorithms for resolving temporal and spatial difference constraint violations. |
ACM Trans. Design Autom. Electr. Syst. |
2009 |
DBLP DOI BibTeX RDF |
interface timing, layout compaction, scheduling, real-time systems, constraint satisfaction, timing constraints, Behavioral synthesis, multimedia synchronization, rate analysis |
20 | Antonio Garrido 0002, Marlene Arangú, Eva Onaindia |
A constraint programming formulation for planning: from plan scheduling to plan generation. |
J. Sched. |
2009 |
DBLP DOI BibTeX RDF |
Scheduling, Integration, Constraints, Planning, Constraint programming |
20 | Roman Barták, Daniel Toropila |
Revisiting Constraint Models for Planning Problems. |
ISMIS |
2009 |
DBLP DOI BibTeX RDF |
Planning, lifting, symmetry breaking, constraint models |
20 | Kirk Haller, Audrey Lee-St. John, Meera Sitharam, Ileana Streinu, Neil White |
Body-and-cad geometric constraint systems. |
SAC |
2009 |
DBLP DOI BibTeX RDF |
geometric constraint system, rigidity theory, computer aided design |
20 | Sebastian Brand |
The sum-of-increments constraint in the consecutive-ones matrix decomposition problem. |
SAC |
2009 |
DBLP DOI BibTeX RDF |
radiotherapy delivery, constraint propagation |
20 | 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 |
20 | Md. Shafiul Alam, Scott D. Goodwin |
Control of Constraint Weights for a 2D Autonomous Camera. |
Canadian AI |
2009 |
DBLP DOI BibTeX RDF |
graphical environment, animation, virtual environment, computer game, constraint satisfaction, video game, camera control, virtual camera |
20 | Jie Liu 0008, Senlin Liang, Dan Ye 0004, Jun Wei 0001, Tao Huang 0001 |
ETL Workflow Analysis and Verification Using Backwards Constraint Propagation. |
CAiSE |
2009 |
DBLP DOI BibTeX RDF |
Data Warehouse, Data Quality, Constraint Propagation, ETL, Workflow Analysis |
20 | Lei Wang, Yong Yang |
Selective Ensemble Algorithms of Support Vector Machines Based on Constraint Projection. |
ISNN (2) |
2009 |
DBLP DOI BibTeX RDF |
Constraint projection, Support vector machines, Selective ensemble |
20 | Peter Z. Revesz |
A comparison of abstract data type and constraint database approaches to GIS query languages. |
GIS |
2009 |
DBLP DOI BibTeX RDF |
query language, abstract data types, constraint databases |
20 | Sean A. Bittle, Mark S. Fox |
Learning and using hyper-heuristics for variable and value ordering in constraint satisfaction problems. |
GECCO (Companion) |
2009 |
DBLP DOI BibTeX RDF |
constrained heuristic search, variable and value ordering, constraint satisfaction, hyper-heuristics, soar |
20 | Akshat Kumar, Boi Faltings, Adrian Petcu |
Distributed constraint optimization with structured resource constraints. |
AAMAS (2) |
2009 |
DBLP BibTeX RDF |
power restoration, distributed constraint optimization |
20 | Ronan LeBras, Alessandro Zanarini, Gilles Pesant |
Efficient Generic Search Heuristics within the EMBP Framework. |
CP |
2009 |
DBLP DOI BibTeX RDF |
Constraint Satisfaction, Expectation Maximization, Probabilistic Reasoning, Belief Propagation, Search Heuristics |
20 | Levent V. Orman |
Browsing databases with constraint hierarchies. |
Electron. Commer. Res. |
2008 |
DBLP DOI BibTeX RDF |
Database browsing, Market search, Electronic markets, Data typing, Database application, Constraint hierarchies, Incremental search |
20 | Pedro Barahona, Ludwig Krippahl |
Constraint Programming in Structural Bioinformatics. |
Constraints An Int. J. |
2008 |
DBLP DOI BibTeX RDF |
Protein structure determination, Protein docking, Constraint programming, Structural bioinformatics |
20 | Martí Sánchez-Fibla, Simon de Givry, Thomas Schiex |
Mendelian Error Detection in Complex Pedigrees Using Weighted Constraint Satisfaction Techniques. |
Constraints An Int. J. |
2008 |
DBLP DOI BibTeX RDF |
Mendelian genotyping error detection, Complex pedigrees, Weighted constraint satisfaction, Genetics |
20 | Marjan van den Akker 0001, Han Hoogeveen |
Minimizing the number of late jobs in a stochastic setting using a chance constraint. |
J. Sched. |
2008 |
DBLP DOI BibTeX RDF |
Number of late jobs, Stochastic processing times, Minimum success probability, Chance constraint, Scheduling, Dynamic programming, NP-hardness, Sequencing, Single machine |
20 | Carl Christian Rolf, Krzysztof Kuchcinski |
State-copying and Recomputation in Parallel Constraint Programming with Global Constraints. |
PDP |
2008 |
DBLP DOI BibTeX RDF |
Models of Communication, Parallelism, Constraint Programming |
20 | Carlos Olarte, Frank D. Valencia |
Universal concurrent constraint programing: symbolic semantics and applications to security. |
SAC |
2008 |
DBLP DOI BibTeX RDF |
symbolic semantics, security, mobility, concurrent constraint programming |
20 | Catarina Carvalho, Víctor Dalmau, Andrei A. Krokhin |
Caterpillar Duality for Constraint Satisfaction Problems. |
LICS |
2008 |
DBLP DOI BibTeX RDF |
caterpillar structures, Datalog, duality, constraint satisfaction problem, homomorphism |
20 | Alexander Felfernig, Robin D. Burke |
Constraint-based recommender systems: technologies and research issues. |
ICEC |
2008 |
DBLP DOI BibTeX RDF |
constraint-based recommendation, recommender systems |
20 | Jun Miura, Hiroyuki Kubo |
Tracking players in highly complex scenes in broadcast soccer video using a constraint satisfaction approach. |
CIVR |
2008 |
DBLP DOI BibTeX RDF |
broadcast soccer video, player tracking, constraint satisfaction |
20 | Jincheng Mao, Wenyu Yang |
Computing Contact Force and Deformation in the Heavy-Duty Gripping with Over-Constraint. |
ICIRA (1) |
2008 |
DBLP DOI BibTeX RDF |
workpiece-gripper system, heavy-duty manipulators, contact force, over-constraint |
20 | Huaqin Xu, Ying Jin 0001 |
BioRL: An XML-based Active Rule Language for Biological Database Constraint Management. |
BMEI (1) |
2008 |
DBLP DOI BibTeX RDF |
Constraint management, XQuery, Biological database, Active rules |
20 | Ghizlane El-Boussaidi, Hafedh Mili |
Detecting Patterns of Poor Design Solutions Using Constraint Propagation. |
MoDELS |
2008 |
DBLP DOI BibTeX RDF |
Marking models, design patterns, transformations, constraint satisfaction problems |
20 | Changki Lee, Hyunki Kim, Myung-Gil Jang |
Fixed-threshold SMO for Joint Constraint Learning Algorithm of Structural SVM. |
SIGIR |
2008 |
DBLP DOI BibTeX RDF |
fixed-threshold SMO, joint constraint learning algorithm, structural SVM |
20 | Miad Faezipour, Mehrdad Nourani |
Constraint Repetition Inspection for Regular Expression on FPGA. |
Hot Interconnects |
2008 |
DBLP DOI BibTeX RDF |
Non-deterministic Finite Automata, Constraint Repetition Inspection, Regular Expression, Network Intrusion Detection System |
20 | Martin Grohe |
The complexity of homomorphism and constraint satisfaction problems seen from the other side. |
J. ACM |
2007 |
DBLP DOI BibTeX RDF |
Complexity, constraint satisfaction, conjunctive queries, homomorphisms, parameterized complexity |
20 | Stefan Ratschan, Zhikun She |
Safety verification of hybrid systems by constraint propagation-based abstraction refinement. |
ACM Trans. Embed. Comput. Syst. |
2007 |
DBLP DOI BibTeX RDF |
Hybrid systems, constraint propagation, intervals |
20 | Pierre Flener, Justin Pearson, Luis G. Reyna, Olof Sivertsson |
Design of Financial CDO Squared Transactions Using Constraint Programming. |
Constraints An Int. J. |
2007 |
DBLP DOI BibTeX RDF |
Financial mathematics, Credit derivatives, Collateralised debt obligation (CDO), CDO squared, Portfolio design (PD), Optimal portfolio design (OPD), Balanced incomplete block design (BIBD), Embedding, Constraint programming |
20 | Ricardo Landa Becerra, Carlos A. Coello Coello |
Epsilon-constraint with an efficient cultured differential evolution. |
GECCO (Companion) |
2007 |
DBLP DOI BibTeX RDF |
epsilon-constraint, multi-objective optimization, differential evolution, cultural algorithms |
20 | Haruhisa Nozue, Hajime Nakajima, Haruo Oishi, Takeshi Masuda, Tetsuya Yamamura |
Process Control Technique Using Planning and Constraint Satisfaction. |
APNOMS |
2007 |
DBLP DOI BibTeX RDF |
workflow, planning, constraint satisfaction, process control |
20 | Jordi Cabot, Robert Clarisó, Daniel Riera |
UMLtoCSP: a tool for the formal verification of UML/OCL models using constraint programming. |
ASE |
2007 |
DBLP DOI BibTeX RDF |
UML, MDD, constraint programming, OCL, model verification |
20 | Tomas Eric Nordlander, Eugene C. Freuder, Richard J. Wallace |
Maintaining constraint-based applications. |
K-CAP |
2007 |
DBLP DOI BibTeX RDF |
consistency algorithms, knowledge maintenance, knowledge acquisition, constraint programming |
20 | Bao Chau Le Dinh, Kiam Tian Seow |
Unifying distributed constraint algorithms in a BDI negotiation framework. |
AAMAS |
2007 |
DBLP DOI BibTeX RDF |
belief-desire-intention model, agent negotiation, distributed constraint satisfaction problem |
20 | Bao Chau Le Dinh, Kiam Tian Seow |
Unifying distributed constraint algorithms in a BDI negotiation framework. |
AAMAS |
2007 |
DBLP DOI BibTeX RDF |
belief-desire-intention model, agent negotiation, distributed constraint satisfaction problem |
20 | Laurent Granvilliers, Frédéric Benhamou |
Algorithm 852: RealPaver: an interval solver using constraint satisfaction techniques. |
ACM Trans. Math. Softw. |
2006 |
DBLP DOI BibTeX RDF |
interval Newton, constraint satisfaction, Interval arithmetic, nonlinear system, local consistency |
20 | Hong Mei 0001, Wei Zhang 0004, Haiyan Zhao |
A metamodel for modeling system features and their refinement, constraint and interaction relationships. |
Softw. Syst. Model. |
2006 |
DBLP DOI BibTeX RDF |
Relationships between features, Interaction, Constraint, Refinement, Customization, Feature model |
20 | Andrei A. Bulatov |
A dichotomy theorem for constraint satisfaction problems on a 3-element set. |
J. ACM |
2006 |
DBLP DOI BibTeX RDF |
dichotomy theorem, homomorphism problem, complexity, Constraint satisfaction problem |
20 | Patrick W. Yaner, Ashok K. Goel 0001 |
Visual analogy: Viewing analogical retrieval and mapping as constraint satisfaction problems. |
Appl. Intell. |
2006 |
DBLP DOI BibTeX RDF |
Analogical retrieval, Analogical mapping, Constraint satisfaction, Analogical reasoning, Visual reasoning |
20 | Markus Stumptner, Bruce H. Thomas |
Constraint-based livespaces configuration management. |
IUI |
2006 |
DBLP DOI BibTeX RDF |
liveSpaces, ubiquitous workspaces, constraint satisfaction, configuration |
20 | 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 |
20 | Tony Lambert, Carlos Castro 0001, Éric Monfroy, Frédéric Saubion |
Solving the Balanced Academic Curriculum Problem with an Hybridization of Genetic Algorithm and Constraint Propagation. |
ICAISC |
2006 |
DBLP DOI BibTeX RDF |
hybrid resolution, genetic algorithms, CSP, constraint propagation |
20 | Engin Tola, A. Aydin Alatan |
Fast Outlier Rejection by Using Parallax-Based Rigidity Constraint for Epipolar Geometry Estimation. |
MRCS |
2006 |
DBLP DOI BibTeX RDF |
Outlier removal, Parallax-based rigidity constraint, RANSAC |
20 | Jung-Ryun Lee |
Energy Efficient Sleep Interval Decision Method Considering Delay Constraint for VoIP Traffic. |
NEW2AN |
2006 |
DBLP DOI BibTeX RDF |
sleep interval, energy efficiency, delay constraint, Power saving mode |
20 | Javier Álvez, Paqui Lucio |
Equational Constraint Solving Via a Restricted Form of Universal Quantification. |
FoIKS |
2006 |
DBLP DOI BibTeX RDF |
constraint satisfaction, equality, solver, answer, term algebra |
20 | John Davin, Pragnesh Jay Modi |
Hierarchical variable ordering for distributed constraint optimization. |
AAMAS |
2006 |
DBLP DOI BibTeX RDF |
distributed constraint satisfaction/optimization |
20 | Meinolf Sellmann |
The Theory of Grammar Constraints. |
CP |
2006 |
DBLP DOI BibTeX RDF |
regular grammar constraints, context-free grammar constraints, constraint filtering, global constraints |
20 | Menq-Wen Lin, K. Robert Lai, Ting-Jung Yu |
Fuzzy Constraint-Based Agent Negotiation. |
J. Comput. Sci. Technol. |
2005 |
DBLP DOI BibTeX RDF |
distributed fuzzy constraint satisfaction problem, agent negotiation, fuzzy constraints |
20 | Brygg Ullmer, Hiroshi Ishii 0001, Robert J. K. Jacob |
Token+constraint systems for tangible interaction with digital information. |
ACM Trans. Comput. Hum. Interact. |
2005 |
DBLP DOI BibTeX RDF |
token+constraint interfaces, Tangible interfaces |
20 | Jaakko Järvi, Jeremiah Willcock, Andrew Lumsdaine |
Associated types and constraint propagation for mainstream object-oriented generics. |
OOPSLA |
2005 |
DBLP DOI BibTeX RDF |
Java, Java, generics, types, generic programming, associated, constraint propagation, C#, C# |
20 | Frédéric Goualard |
On considering an interval constraint solving algorithm as a free-steering nonlinear Gauss-Seidel procedure. |
SAC |
2005 |
DBLP DOI BibTeX RDF |
branch-and-prune method, constraint, nonlinear system |
20 | Roger Mailler |
Comparing two approaches to dynamic, distributed constraint satisfaction. |
AAMAS |
2005 |
DBLP DOI BibTeX RDF |
cooperative mediation, dynamic partial centralization, dynamic, distributed constraint satisfaction |
20 | Alan Holland, Barry O'Sullivan |
Towards Fast Vickrey Pricing using Constraint Programming. |
Artif. Intell. Rev. |
2004 |
DBLP DOI BibTeX RDF |
Vickrey pricing, Constraint programming, Combinatorial auctions |
20 | Inali Wisniewski Soares, Silvia Regina Vergilio |
Mutation Analysis and Constraint-Based Criteria: Results from an Empirical Evaluation in the Context of Software Testing. |
J. Electron. Test. |
2004 |
DBLP DOI BibTeX RDF |
structural testing criteria, constraint-based testing, mutation testing |
20 | François Fages, Sylvain Soliman, Rémi Coolen |
CLPGUI: A Generic Graphical User Interface for Constraint Logic Programming. |
Constraints An Int. J. |
2004 |
DBLP DOI BibTeX RDF |
program annotation, visualization, GUI, debugging, constraint programming, search trees |
20 | Antonio J. Fernández 0001, Patricia M. Hill |
An interval constraint system for lattice domains. |
ACM Trans. Program. Lang. Syst. |
2004 |
DBLP DOI BibTeX RDF |
Constraint, indexicals, cooperation, lattice, propagation |
20 | Yonggang Zhang, Jigui Sun |
Extended Constraint Handling for CP-Networks. |
Intelligent Information Processing |
2004 |
DBLP DOI BibTeX RDF |
CP-networks, reasoning, preference, constraint hierarchy |
20 | Ilié Popescu |
Using Finite Domains in Constraint Satisfaction Problem. |
Intelligent Information Processing |
2004 |
DBLP DOI BibTeX RDF |
consistency, Constraint satisfaction problem, search space |
20 | F. T. Chan, K. P. Chan, Tsong Yueh Chen, Siu-Ming Yiu |
Adaptive Random Testing with CG Constraint. |
COMPSAC Workshops |
2004 |
DBLP DOI BibTeX RDF |
Center of Gravity constraint, Random Testing, Adaptive Random Testing |
|
|