Search results for "Constraint"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
23	Huan Ren, Shantanu Dutt	Constraint satisfaction in incremental placement with application to performance optimization under power constraints.	ICCD	2007	DBLP DOI BibTeX RDF
23	Gem Stapleton, Aidan J. Delaney	Towards Overcoming Deficiencies in Constraint Diagrams.	VL/HCC	2007	DBLP DOI BibTeX RDF
23	Shirley Halevy, Oded Lachish, Ilan Newman, Dekel Tsur	Testing Properties of Constraint-Graphs.	CCC	2007	DBLP DOI BibTeX RDF
23	Fahiem Bacchus	GAC Via Unit Propagation.	CP	2007	DBLP DOI BibTeX RDF
23	Matthias M. Hölzl, John N. Crossley	Disjunctive Constraint Lambda Calculi.	LPAR	2005	DBLP DOI BibTeX RDF
23	Rémy Haemmerlé	SiLCC Is Linear Concurrent Constraint Programming.	ICLP	2005	DBLP DOI BibTeX RDF
23	Jean-Charles Régin	Combination of Among and Cardinality Constraints.	CPAIOR	2005	DBLP DOI BibTeX RDF
23	Andrei Legtchenko, Arnaud Lallouet	Consistency for Partially Defined Constraints.	CP	2005	DBLP DOI BibTeX RDF
23	Nicolas Méger, Christophe Rigotti	Constraint-Based Mining of Episode Rules and Optimal Window Sizes.	PKDD	2004	DBLP DOI BibTeX RDF
23	Min Hong, Samuel W. J. Welch, Min-Hyung Choi	Intuitive Control of Dynamic Simulation Using Improved Implicit Constraint Enforcement.	AsiaSim	2004	DBLP DOI BibTeX RDF
23	Federico Bergenti	A Toolkit for the Realization of Constraint-Based Multiagent Systems.	PROMAS	2004	DBLP DOI BibTeX RDF
23	Andrei A. Bulatov	Tractable conservative Constraint Satisfaction Problems.	LICS	2003	DBLP DOI BibTeX RDF
23	Annie Y. S. Lau, Siew Siew Ong, Ashesh Mahidadia, Achim G. Hoffmann, Johanna I. Westbrook, Tatjana Zrimec	Mining Patterns of Dyspepsia Symptoms Across Time Points Using Constraint Association Rules.	PAKDD	2003	DBLP DOI BibTeX RDF	association rule with constraints, medical knowledge discovery, domain knowledge, human interaction
23	Gary Yat Chung Wong, Andy Hon Wai Chun	Nurse Rostering Using Constraint Programming and Meta-level Reasoning.	IEA/AIE	2003	DBLP DOI BibTeX RDF
23	Georg Ringwelski	Object-Oriented Constraint Programming with J.CP.	MICAI	2002	DBLP DOI BibTeX RDF
23	Lars Engebretsen, Venkatesan Guruswami	Is Constraint Satisfaction Over Two Variables Always Easy?	RANDOM	2002	DBLP DOI BibTeX RDF
23	Greg Nelson	Foundations of a Constraint-Based Illustrator.	FroCoS	2002	DBLP DOI BibTeX RDF
23	Maria J. García de la Banda, David Jeffery, Kim Marriott, Nicholas Nethercote, Peter J. Stuckey, Christian Holzbaur	Building Constraint Solvers with HAL.	ICLP	2001	DBLP DOI BibTeX RDF
23	Kirk Schloegel, George Karypis, Vipin Kumar 0001	Parallel Multilevel Algorithms for Multi-constraint Graph Partitioning (Distinguished Paper).	Euro-Par	2000	DBLP DOI BibTeX RDF
23	Thom W. Frühwirth	Proving Termination of Constraint Solver Programs.	New Trends in Constraints	1999	DBLP DOI BibTeX RDF
23	Peter Z. Revesz	Safe Query Languages for Constraint Databases.	ACM Trans. Database Syst.	1998	DBLP DOI BibTeX RDF	Datalog
23	Alberto Belussi, Elisa Bertino, Barbara Catania	Manipulating Spatial Data in Constraint Databases.	SSD	1997	DBLP DOI BibTeX RDF
23	R. Kowalczyk	Using constraint satisfaction in genetic algorithms.	ANZIIS	1996	DBLP DOI BibTeX RDF
23	Philippe Codognet, Daniel Diaz 0001, Francesca Rossi 0001	Constraint Reaction in FD.	FSTTCS	1996	DBLP DOI BibTeX RDF
23	Eugene Y. Sheng	A Decompositional Approach to Database Constraint Enforcement.	ACM Conference on Computer Science	1993	DBLP DOI BibTeX RDF
23	Pascal Van Hentenryck, Yves Deville	Operational Semantics of Constraint Logic Programming over Finite Domains.	PLILP	1991	DBLP DOI BibTeX RDF
23	Juhani Jaakola	Modifying the Simplex Algorithm to a Constraint Solver.	PLILP	1990	DBLP DOI BibTeX RDF
23	David G. Lowe	The viewpoint consistency constraint.	Int. J. Comput. Vis.	1987	DBLP DOI BibTeX RDF
23	Bella Dubrov, Haggai Eran, Ari Freund 0001, Edward F. Mark, Shyam Ramji, Timothy A. Schell	Pin Assignment Using Stochastic Local Search Constraint Programming.	CP	2009	DBLP DOI BibTeX RDF	ASIC, Constraint Programming, EDA, Stochastic Local Search, Chip Design, Pin Assignment
23	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
23	Meinolf Sellmann, Luc Mercier, Daniel H. Leventhal	The Linear Programming Polytope of Binary Constraint Problems with Bounded Tree-Width.	CPAIOR	2007	DBLP DOI BibTeX RDF	integer programming, constraint programming, cutting planes, polyhedral combinatorics
23	Mark Wallace 0001	Hybrid Algorithms in Constraint Programming.	CSCLP	2006	DBLP DOI BibTeX RDF	search, constraint programming, hybrid algorithms
23	Mark Wallace 0001, Joachim Schimpf, Kish Shen, Warwick Harvey	On Benchmarking Constraint Logic Programming Platforms. Response to Fernandez and Hill's "A Comparative Study of Eight Constraint Programming Languages over the Boolean and Finite Domains".	Constraints An Int. J.	2004	DBLP DOI BibTeX RDF	solver performance, Benchmarking, ECLiPSe, Unit Testing, constraint logic programming, Finite Domain, CLP
23	Edward P. K. Tsang, John A. Ford, Patrick Mills, Richard Bradwell, Richard Williams, Paul Scott 0001	Towards a practical engineering tool for rostering.	Ann. Oper. Res.	2007	DBLP DOI BibTeX RDF
23	Raymond Reiter	What Should A Database Know?	PODS	1988	DBLP DOI BibTeX RDF
22	Vaithilingam Jeyakumar, S. Srisatkunarajah	Lagrange multiplier necessary conditions for global optimality for non-convex minimization over a quadratic constraint via S-lemma.	Optim. Lett.	2009	DBLP DOI BibTeX RDF	Smooth non-convex minimization, Difference of quadratic and convex functions, Single quadratic constraint, Global optimality, Lagrange multipliers, Fractional programs
22	K. Subramani 0001	Optimal Length Resolution Refutations of Difference Constraint Systems.	J. Autom. Reason.	2009	DBLP DOI BibTeX RDF	Difference constraint systems, Resolution refutation, Optimal length, Minimum unsatisfiable subset, Fourier-Motzkin elimination
22	Feng Qian, Qinming He, Jiangfeng He	Mining Spatial Co-location Patterns with Dynamic Neighborhood Constraint.	ECML/PKDD (2)	2009	DBLP DOI BibTeX RDF	Spatial co-location patterns, Spatial neighborhood constraint, Spatial data mining
22	Göran Jerke, Jens Lienig	Constraint-driven design: the next step towards analog design automation.	ISPD	2009	DBLP DOI BibTeX RDF	constraint-driven design, constraints, layout, physical design, analog design
22	Lin Wang 0038, Wee Keong Ng, Bing Song	Constraint Satisfaction Approach on Product Configuration with Cost Estimation.	IEA/AIE	2009	DBLP DOI BibTeX RDF	Constraint satisfaction problem, Cost estimation, Product family, Mass customization, Product configuration
22	Andrew John Sadler, Carmen Gervet	Enhancing set constraint solvers with lexicographic bounds.	J. Heuristics	2008	DBLP DOI BibTeX RDF	Artificial intelligence, Constraint programming, Modelling languages
22	Huy Nguyen Anh Pham, Arthur M. D. Shr, Peter P. Chen	An Integer Linear Programming Approach for Dedicated Machine Constraint.	ACIS-ICIS	2008	DBLP DOI BibTeX RDF	Dedicated Machine Constraint, Photolithography, Integer Linear Programming, Semiconductor Manufacturing
22	Ramesh Ram, Madhu Chetty, Dieter Bulach	Constraint Minimization for Efficient Modeling of Gene Regulatory Network.	PRIB	2008	DBLP DOI BibTeX RDF	Constraint minimization, Gene regulatory network, Causal model, Markov blanket
22	Gerhard Skagestein, Ragnar Normann	A Closer Look at the Join-Equality Constraint.	OTM Workshops	2008	DBLP DOI BibTeX RDF	Join-equality constraint, Overlapping foreign keys, Boyce-Codd Normal Form
22	Ti Zhou, Zhoujun Li 0001, Mengjun Li, Huowang Chen	Constraint Abstraction in Verification of Security Protocols.	FAW	2008	DBLP DOI BibTeX RDF	time sensitive, formal verification, security protocol, logic model, constraint system
22	Sonia Estévez Martín, Antonio J. Fernández 0001, Maria Teresa Hortalá-González, Mario Rodríguez-Artalejo, Fernando Sáenz-Pérez, Rafael del Vado Vírseda	Cooperation of constraint domains in the TOY system.	PPDP	2008	DBLP DOI BibTeX RDF	constraint domains and solvers, domain cooperation, functional and logic programming
22	Seema Degwekar, Herman Lam, Stanley Y. W. Su	Constraint-based brokering (CBB) for publishing and discovery of web services.	Electron. Commer. Res.	2007	DBLP DOI BibTeX RDF	Constraint satisfaction processing, Web Services, UDDI, Service broker
22	David A. Burke, Kenneth N. Brown	Using relaxations to improve search in distributed constraint optimisation.	Artif. Intell. Rev.	2007	DBLP DOI BibTeX RDF	Distributed constraint optimisation, Multi-agent systems
22	Yat Chiu Law, Jimmy Ho-Man Lee, Barbara M. Smith	Automatic Generation of Redundant Models for Permutation Constraint Satisfaction Problems.	Constraints An Int. J.	2007	DBLP DOI BibTeX RDF	Model redundancy, Constraint satisfaction
22	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
22	Jie Wang, Chunnian Liu	Fuzzy Constraint Logic Programming with Answer Set Semantics.	KSEM	2007	DBLP DOI BibTeX RDF	Logic Program, Fuzzy Constraint, Answer Set Semantics
22	Luiz Carlos A. Rodrigues, Leandro Magatão	Enhancing Supply Chain Decisions Using Constraint Programming: A Case Study.	MICAI	2007	DBLP DOI BibTeX RDF	decision-support systems, constraint programming, Supply chain
22	Heribert Vollmer	Computational Complexity of Constraint Satisfaction.	CiE	2007	DBLP DOI BibTeX RDF	computational complexity, constraint satisfaction, polymorphism, clone, Galois connection, satisfiability problems
22	Stefano Bistarelli, Ugo Montanari, Francesca Rossi 0001	Soft concurrent constraint programming.	ACM Trans. Comput. Log.	2006	DBLP DOI BibTeX RDF	Constraints, soft constraints, concurrent constraint programming
22	K. Robert Lai, Yi-Yuan Chiang	Constraint-Based Fuzzy Models for an Environment with Heterogeneous Information-Granules.	J. Comput. Sci. Technol.	2006	DBLP DOI BibTeX RDF	constraint-based problem solving, granular computing, fuzzy modeling, information granulation, computing with words
22	Syed Sibte Raza Abidi, Yong Han Chong, Yan Zeng	Generating customized yet factually consistent information: a constraint satisfaction approach.	Int. J. Digit. Libr.	2006	DBLP DOI BibTeX RDF	Information customization, Information personalization, E-Healthcare, Constraint satisfaction, Adaptive hypermedia systems
22	Fabien Le Huédé, Michel Grabisch, Christophe Labreuche, Pierre Savéant	Integration and propagation of a multi-criteria decision making model in constraint programming.	J. Heuristics	2006	DBLP DOI BibTeX RDF	Constraint programming, Multi-criteria decision making, Multi-criteria optimization
22	Samira Tasharofi, Sepand Ansari, Marjan Sirjani	Generating Test Cases for Constraint Automata by Genetic Symbiosis Algorithm.	ICFEM	2006	DBLP DOI BibTeX RDF	finite-state machine testing, symbiotic evolutionary algorithms, genetic algorithms, automatic test data generation, Constraint automata
22	Stefan S. Dantchev, Florent R. Madelaine	Bounded-Degree Forbidden Patterns Problems Are Constraint Satisfaction Problems.	CSR	2006	DBLP DOI BibTeX RDF	Constraint Satisfaction, Duality, Monadic Second Order Logic, Logic in Computer Science, Graph Homomorphism
22	Marjan Sirjani, Mohammad Mahdi Jaghoori, Christel Baier, Farhad Arbab	Compositional Semantics of an Actor-Based Language Using Constraint Automata.	COORDINATION	2006	DBLP DOI BibTeX RDF	Rebeca, Compositional semantics, Reo, Constraint Automata, actor model
22	Koenraad Mertens, Tom Holvoet, Yolande Berbers	The DynCOAA algorithm for dynamic constraint optimization problems.	AAMAS	2006	DBLP DOI BibTeX RDF	dynamic, distributed constraint optimization, ACO
22	Rasmus V. Rasmussen, Michael A. Trick	The Timetable Constrained Distance Minimization Problem.	CPAIOR	2006	DBLP DOI BibTeX RDF	Sports scheduling, Integer Programming, Constraint Programming, Timetabling
22	Gabriel Istrate, Stefan Boettcher, Allon G. Percus	Spines of random constraint satisfaction problems: definition and connection with computational complexity.	Ann. Math. Artif. Intell.	2005	DBLP DOI BibTeX RDF	resolution complexity, constraint satisfaction problems, phase transitions, spine
22	Ke Wang 0001, Yuelong Jiang, Jeffrey Xu Yu, Guozhu Dong, Jiawei Han 0001	Divide-and-Approximate: A Novel Constraint Push Strategy for Iceberg Cube Mining.	IEEE Trans. Knowl. Data Eng.	2005	DBLP DOI BibTeX RDF	Aggregate constraint, constrained data mining, iceberg cube mining, iceberg query, data cube
22	Martin C. Cooper	High-Order Consistency in Valued Constraint Satisfaction.	Constraints An Int. J.	2005	DBLP DOI BibTeX RDF	discrete optimisation, valued constraint satisfaction, consistency enforcing, MAX-CSP, soft constraints
22	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	José Luis Ambite, Craig A. Knoblock, Maria Muslea, Steven Minton	Conditional Constraint Networks for Interleaved Planning and Information Gathering.	IEEE Intell. Syst.	2005	DBLP DOI BibTeX RDF	mixed-initiative planning, conditional constraint satisfaction, hierarchical planning, data integration
22	Tony Lambert, Éric Monfroy, Frédéric Saubion	Solving strategies using a hybridization model for local search and constraint propagation.	SAC	2005	DBLP DOI BibTeX RDF	hybrid resolution, local search, CSP, constraint propagation
22	Mihaela Butaru, Zineb Habbas	Solving the Car-Sequencing Problem as a Non-binary CSP.	CP	2005	DBLP DOI BibTeX RDF	n-ary CSPs, n-ary Forward Checking, scheduling, heuristics, constraint satisfaction, problem solving
22	Louis-Martin Rousseau, Michel Gendreau, Gilles Pesant, Filippo Focacci	Solving VRPTWs with Constraint Programming Based Column Generation.	Ann. Oper. Res.	2004	DBLP DOI BibTeX RDF	vehicle routing with time windows, constraint programming, column generation, hybrid method, optimization constraints
22	Marco Correia, Pedro Barahona	Machine Learned Heuristics to Improve Constraint Satisfaction.	SBIA	2004	DBLP DOI BibTeX RDF	machine learning, bioinformatics, constraint programming
22	Carlos Camarão 0001, Lucília Figueiredo, Cristiano D. Vasconcellos	Constraint-set satisfiability for overloading.	PPDP	2004	DBLP DOI BibTeX RDF	constrained polymorphism, constraint-set satisfiability, overloading, type constraints, ad-hoc polymorphism
22	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
22	Jeremy Frank, Ari K. Jónsson	Constraint-Based Attribute and Interval Planning.	Constraints An Int. J.	2003	DBLP DOI BibTeX RDF	dynamic constraint reasoning, consistency enforcement, temporal planning, planning, resources
22	Marion Leleu, Christophe Rigotti, Jean-François Boulicaut, Guillaume Euvrard	Constraint-Based Mining of Sequential Patterns over Datasets with Consecutive Repetitions.	PKDD	2003	DBLP DOI BibTeX RDF	generalized occurrence, sequential pattern, constraint-based mining
22	Laurent Granvilliers, Éric Monfroy	Implementing Constraint Propagation by Composition of Reductions.	ICLP	2003	DBLP DOI BibTeX RDF	chaotic iteration, dynamic strategy, software architecture, design pattern, composition, Constraint propagation
22	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
22	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
22	Stefan Ratschan	Continuous First-Order Constraint Satisfaction.	AISC	2002	DBLP DOI BibTeX RDF	Reasoning, Constraint Programming
22	Amal de Silva	Combining Constraint Programming and Linear Programming on an Example of Bus Driver Scheduling.	Ann. Oper. Res.	2001	DBLP DOI BibTeX RDF	bus driver scheduling, constraint programming, column generation
22	Alessandra Raffaetà, Thom W. Frühwirth	Spatio-temporal Annotated Constraint Logic Programming.	PADL	2001	DBLP DOI BibTeX RDF	constraint logic programming, Spatio-temporal reasoning, annotated logics
22	Yoshihiro Adachi	Intellisheet: A Spreadsheet System Expanded by Including Constraint Solvers.	HCC	2001	DBLP DOI BibTeX RDF	end-user programming environment, constraint programming, spreadsheet, declarative programming
22	Debasis Mitra 0003	Interactive Modeling for Batch Simulation of Engineering Systems: A Constraint Satisfaction Problem.	IEA/AIE	2001	DBLP DOI BibTeX RDF	AI application to design, Interactive Planning, Modeling for simulation, Intelligent software engineering, Intelligent interfaces, Planning and scheduling, Constraint-based reasoning, Component-oriented programming
22	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
22	Esther M. Gelle, Boi Faltings, Denis E. Clément, Ian F. C. Smith	Constraint Satisfaction Methods for Applications in Engineering.	Eng. Comput.	2000	DBLP BibTeX RDF	Discrete values, Dynamic CSP's, Solution spaces, Search, Knowledge representation, Constraint satisfaction, Reasoning, Structures, Local consistency
22	Krzysztof R. Apt	The role of commutativity in constraint propagation algorithms.	ACM Trans. Program. Lang. Syst.	2000	DBLP DOI BibTeX RDF	constraint propagation, commutativity, generic algorithms
22	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
22	Ghassan Kwaiter	A General Approach to Constraint Solving for Declarative Modeling Domain.	IV	1999	DBLP DOI BibTeX RDF	Hierarchical Constraints and Intervals Propagation, Constraint Satisfaction Problem, Declarative Modeling, Dynamical Constraints
22	Neng-Fa Zhou	Building Java Applets by Using DJ - A Java-based Constraint Language.	COMPSAC	1999	DBLP DOI BibTeX RDF	DJ, Java, Prolog, Layout, Constraint programming, Applet
22	Julio C. Peralta, John P. Gallagher, Hüseyin Saglam	Analysis of Imperative Programs through Analysis of Constraint Logic Programs.	SAS	1998	DBLP DOI BibTeX RDF	Imperative Program Analysis, Operational Semantics, Partial Evaluation, Constraint Logic Programming
22	Rita Cucchiara, Evelina Lamma, Paola Mello, Michela Milano	An Interactive Constraint-Based System for Selective Attention in Visual Search.	ISMIS	1997	DBLP DOI BibTeX RDF	Computer Vision, Constraint Satisfaction
22	Peter Van Roy, Michael Mehl, Ralf Scheidhauer	Integrating Efficient Records into Concurrent Constraint Programming.	PLILP	1996	DBLP DOI BibTeX RDF	Concurrent Constraint, Natural-Language Processing, Logic Programming, Prolog, Implementation, Record
22	Yuyan Wu, S. Sitharama Iyengar, Ramesh C. Jain, Santanu Bose	A New Generalized Computational Framework for Finding Object Orientation Using Perspective Trihedral Angle Constraint.	IEEE Trans. Pattern Anal. Mach. Intell.	1994	DBLP DOI BibTeX RDF	generalized computational framework, perspective trihedral angle constraint, three-dimensional 3D object, single perspective image view, Kanatani's formulation, general analytic technique, shape from inverse perspective projection, angle to angle correspondence information, computer vision, object orientation, noise, closed form solution, simulation experiments, synthetic data, noisy environment
22	Hans W. Guesgen, Joachim Hertzberg	A constraint-based approach to spatiotemporal reasoning.	Appl. Intell.	1993	DBLP DOI BibTeX RDF	spatiotemporal reasoning, Constraints, dynamic constraints, constraint relaxation
22	Hans-Hellmut Nagel	On a Constraint Equation for the Estimation of Displacement Rates in Image Sequences.	IEEE Trans. Pattern Anal. Mach. Intell.	1989	DBLP DOI BibTeX RDF	constraint equation, real world scenes, image flow, isotropic illumination, picture processing, picture processing, image sequences, optical flow, differential geometry, perspective projection, optical information processing, Lambertian reflection, radiometry
22	Malek Mouhoub, Amrudee Sukpan	Managing Conditional and Composite CSPs.	Canadian AI	2007	DBLP DOI BibTeX RDF	Local Search, Constraint Satisfaction, Arc Consistency
22	Yongmin Zhong, Bijan Shirinzadeh, Weiyin Ma	Solid modelling in a virtual reality environment.	Vis. Comput.	2005	DBLP DOI BibTeX RDF	constraint-based manipulations, virtual reality, solid modelling, model representation
22	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
22	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
22	Bradley T. Vander Zanden, David K. Baker, Jing Jin	An explanation-based, visual debugger for one-way constraints.	UIST	2004	DBLP DOI BibTeX RDF	one-way constraints, data structures, constraint satisfaction, software visualization, visual debugging