Search results for "Constraints"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
16	Christian Bessiere, Emmanuel Hebrard, Brahim Hnich, Zeynep Kiziltan, Claude-Guy Quimper, Toby Walsh	Reformulating Global Constraints: The Slideand RegularConstraints.	SARA	2007	DBLP DOI BibTeX RDF
16	Hiroshi Wada, Junichi Suzuki, Katsuya Oba	A Feature Modeling Support for Non-Functional Constraints in Service Oriented Architecture.	IEEE SCC	2007	DBLP DOI BibTeX RDF
16	Tze-Lei Poo, Brian H. Marcus	Time-Varying Maximum Transition Run Constraints.	IEEE Trans. Inf. Theory	2006	DBLP DOI BibTeX RDF
16	Anders Heyden	Differential-Algebraic Multiview Constraints.	ICPR (1)	2006	DBLP DOI BibTeX RDF
16	Yuancan Huang	Improved Lagrange Nonlinear Programming Neural Networks for Inequality Constraints.	ISDA (1)	2006	DBLP DOI BibTeX RDF	Lagrange Neural Network, Stability, Convergence, Nonlinear Programming
16	Xueping Zhang, Jiayao Wang, Fang Wu, Zhongshan Fan, Xiaoqing Li	A Novel Spatial Clustering with Obstacles Constraints Based on Genetic Algorithms and K-Medoids.	ISDA (1)	2006	DBLP DOI BibTeX RDF
16	Carsten Gutwenger, Karsten Klein 0001, Petra Mutzel	Planarity Testing and Optimal Edge Insertion with Embedding Constraints.	GD	2006	DBLP DOI BibTeX RDF
16	Yingxu Wang 0001	On Constraints and Count-Measures for Software Engineering.	CCECE	2006	DBLP DOI BibTeX RDF
16	Girish Chafle, Sunil Chandra, Vijay Mann, Mangala Gowri Nanda	Orchestrating Composite Web Services under Data Flow Constraints.	ICWS	2005	DBLP DOI BibTeX RDF
16	Bassem Sayrafi, Dirk Van Gucht	Differential constraints.	PODS	2005	DBLP DOI BibTeX RDF
16	Hari Mony, Jason Baumgartner, Adnan Aziz	Exploiting Constraints in Transformation-Based Verification.	CHARME	2005	DBLP DOI BibTeX RDF
16	Yves Andre, Anne-Cécile Caron, Denis Debarbieux, Yves Roos	Indexes and Path Constraints in Semistructured Data.	DEXA Workshops	2005	DBLP DOI BibTeX RDF
16	Thomas Heimrich	Modeling of Output Constraints in Multimedia Database Systems.	MMM	2005	DBLP DOI BibTeX RDF
16	Kaijun Tan, Jason Crampton, Carl A. Gunter	The Consistency of Task-Based Authorization Constraints in Workflow Systems.	CSFW	2004	DBLP DOI BibTeX RDF
16	Abdullah Uz Tansel	Temporal Data Modeling and Integrity Constraints in Relational Databases.	ISCIS	2004	DBLP DOI BibTeX RDF
16	Malek Mouhoub, Amrudee Sukpan	Solving Conditional and Composite Temporal Constraints.	ICTAI	2004	DBLP DOI BibTeX RDF
16	Meng-Chen Wu, Yao-Wen Chang	Placement with Alignment and Performance Constraints Using the B*-Tree Representation.	ICCD	2004	DBLP DOI BibTeX RDF
16	Shiping Chen 0003, Duminda Wijesekera, Sushil Jajodia	Incorporating Dynamic Constraints in the Flexible Authorization Framework.	ESORICS	2004	DBLP DOI BibTeX RDF
16	Sujit Kuthirummal, C. V. Jawahar, P. J. Narayanan	Constraints on Coplanar Moving Points.	ECCV (4)	2004	DBLP DOI BibTeX RDF
16	Johan Bengtsson, Wang Yi 0001	On Clock Difference Constraints and Termination in Reachability Analysis of Timed Automata.	ICFEM	2003	DBLP DOI BibTeX RDF
16	Antoni Olivé	Integrity Constraints Definition in Object-Oriented Conceptual Modeling Languages.	ER	2003	DBLP DOI BibTeX RDF
16	Chan-Gun Lee, Aloysius K. Mok, Prabhudev Konana	Monitoring of Timing Constraints with Confidence Threshold Requirements.	RTSS	2003	DBLP DOI BibTeX RDF
16	Mahesh A. Iyer	Race: A Word-Level ATPG-Based Constraints Solver System For Smart Random Simulation.	ITC	2003	DBLP DOI BibTeX RDF
16	Jochen Hipp, Ulrich Güntzer	Is pushing constraints deeply into the mining algorithms really what we want?: an alternative approach for association rule mining.	SIGKDD Explor.	2002	DBLP DOI BibTeX RDF	KDD process, constrained mining, association rules
16	Jamie Shield, Ian J. Hayes	Refining Object-Oriented Invariants and Dynamic Constraints.	APSEC	2002	DBLP DOI BibTeX RDF	history properties, Object-orientation, invariants, refinement calculus
16	Andrei A. Krokhin, Peter Jeavons 0001, Peter Jonsson	The Complexity of Constraints on Intervals and Lengths.	STACS	2002	DBLP DOI BibTeX RDF
16	Zhendong Su 0001, Alexander Aiken	Entailment with Conditional Equality Constraints.	ESOP	2001	DBLP DOI BibTeX RDF
16	Gershon Elber	Multiresolution curve editing with linear constraints.	Symposium on Solid Modeling and Applications	2001	DBLP DOI BibTeX RDF	CAD, wavelets, geometric modeling, curves & surfaces
16	James R. Anderson 0001, Seth Abraham	Performance-Based Constraints for Multidimensional Networks.	IEEE Trans. Parallel Distributed Syst.	2000	DBLP DOI BibTeX RDF	multidimensional network, $k$-ary $n$-cube, direct-connected, queue waiting time, unity queue waiting time, performance analysis, Interconnection networks, message latency, maximum throughput
16	Kit-Ying Hui, Peter M. D. Gray	Developing Finite Domain Constraints - A Data Model Approach.	Computational Logic	2000	DBLP DOI BibTeX RDF
16	Alain Colmerauer, Thi-Bich-Hanh Dao	Expressiveness of Full First Order Constraints in the Algebra of Finite or Infinite Trees.	CP	2000	DBLP DOI BibTeX RDF
16	Ilié Popescu	Combining Constraints and Consistency Techniques in Knowledge-Based Expert Systems.	ADVIS	2000	DBLP DOI BibTeX RDF
16	Evangeline F. Y. Young, Martin D. F. Wong, Hannah Honghua Yang	Slicing floorplans with boundary constraints.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	1999	DBLP DOI BibTeX RDF
16	Mateusz Pietrzyk, Subhasish Mazumdar, Robert Cline	Dynamic Adjustment of Localized Constraints.	DEXA	1999	DBLP DOI BibTeX RDF
16	Jun Yuan 0007, Kurt Shultz, Carl Pixley, Hillel Miller, Adnan Aziz	Modeling design constraints and biasing in simulation using BDDs.	ICCAD	1999	DBLP DOI BibTeX RDF
16	Léa Meyer	Comparing the Power of Probabilistic Learning and Oracle Identification Under Monotonicity Constraints.	ALT	1998	DBLP DOI BibTeX RDF
16	Marco Baioletti, Stefano Marcugini, Alfredo Milani	An Extension of SATPLAN for Planning with Constraints.	AIMSA	1998	DBLP DOI BibTeX RDF
16	Aloysius K. Mok, Guangtian Liu	Efficient Run-Time Monitoring of Timing Constraints.	IEEE Real Time Technology and Applications Symposium	1997	DBLP DOI BibTeX RDF
16	Itsik Pe'er, Ron Shamir	Interval Graphs with Side (and Size) Constraints.	ESA	1995	DBLP DOI BibTeX RDF
16	Umakanta Choudhury, Alberto L. Sangiovanni-Vincentelli	Automatic generation of parasitic constraints for performance-constrained physical design of analog circuits.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	1993	DBLP DOI BibTeX RDF
16	Naci Ishakbeyoglu, Z. Meral Özsoyoglu	On the Maintenance of Implication Integrity Constraints.	DEXA	1993	DBLP DOI BibTeX RDF
16	Svend Frølund	Inheritance of Synchronization Constraints in Concurrent Object-Oriented Programming Languages.	ECOOP	1992	DBLP DOI BibTeX RDF
16	Jean-Louis Lassez	Parametric queries, linear constraints and variable elimination.	DISCO	1990	DBLP DOI BibTeX RDF
16	Ronen Barzel, Alan H. Barr	A modeling system based on dynamic constraints.	SIGGRAPH	1988	DBLP DOI BibTeX RDF	contraints, simulation, modeling, dynamics
16	Michael J. Maher	SOGgy Constraints: Soft Open Global Constraints.	CP	2009	DBLP DOI BibTeX RDF
16	Christian Bessiere, Emmanuel Hebrard, Brahim Hnich, Zeynep Kiziltan, Toby Walsh	Among, Common and Disjoint Constraints.	CSCLP	2005	DBLP DOI BibTeX RDF
16	Yunfeng Liu, Dongqing Yang, Shiwei Tang, Tengjiao Wang 0003, Jun Gao 0003	Extracting Key Value and Checking Structural Constraints for Validating XML Key Constraints.	WAIM	2004	DBLP DOI BibTeX RDF
16	James Gibbons	Abstracting Constraints Using Constraints.	CP	2003	DBLP DOI BibTeX RDF
16	Stefano Bistarelli, Francesca Rossi 0001, Isabella Pilan	Abstracting Soft Constraints: Some Experimental Results on Fuzzy CSPs.	CSCLP	2003	DBLP DOI BibTeX RDF
16	Kristen B. Venable	Solving and Learning Soft Temporal Constraints; Ceteris Paribus Statements Represented as Soft Constraints Problems.	CP	2002	DBLP DOI BibTeX RDF
16	Jean-Pierre Jouannaud, Ralf Treinen	Constraints and Constraint Solving: An Introduction.	CCL	1999	DBLP DOI BibTeX RDF
16	Xiulei Qin, Jun Wei 0001, Wenbo Zhang 0006, Hua Zhong 0001, Tao Huang 0001	A Two-Phase Approach to Subscription Subsumption Checking for Content-Based Publish/Subscribe Systems.	AINA	2010	DBLP DOI BibTeX RDF	subscription subsumption, subscription subsumption graph(SSG), non-numeric constraints, publish/subscribe, numeric constraints
16	Stephen A. Vavasis	Complexity Theory: Quadratic Programming.	Encyclopedia of Optimization	2009	DBLP DOI BibTeX RDF	Trust region problem, Strongly polynomial time, Simplicial constraints, Box constraints, Ellipsoid method, Approximation algorithms, Complexity, NP-complete, NP-hard, Quadratic programming, Polynomial time, Knapsack problem, Interior point methods, Local minimization
16	Balakannan S. P, Yier Yan, Jae Seung Yang, Moon Ho Lee	End-to-End Network Delay-Constrained for QoS Multicast Routing.	NetCoM	2009	DBLP DOI BibTeX RDF	End-to-End QoS Constraints, QoS, Multicast Routing, Delay Constraints
16	Azzam Maraee, Mira Balaban	Efficient Reasoning About Finite Satisfiability of UML Class Diagrams with Constrained Generalization Sets.	ECMDA-FA	2007	DBLP DOI BibTeX RDF	finite satisfiability, reasoning about class diagram, generalization set constraints, class hierarchy structure, consistency, UML class diagram, cardinality constraints
16	Zhuquan Zang, Sven Nordholm	Design of ODMA Digital Waveforms Using Non-Convex Optimization Methods.	Ann. Oper. Res.	2005	DBLP DOI BibTeX RDF	max-min type constraints, correlation constraints, spectral shaping, intersymbol interference, multiple access communications, co-channel interference, non-convex optimization
16	Bhavani Thuraisingham	Data Mining, National Security, Privacy and Civil Liberties.	SIGKDD Explor.	2002	DBLP DOI BibTeX RDF	counter-terrorism, privacy constraints, privacy problem, privacy sensitive data mining, security constraints, data mining, privacy, World Wide Web, national security, inference problem, civil liberties
16	Fredrik Kahl, Anders Heyden	Affine Structure and Motion from Points, Lines and Conics.	Int. J. Comput. Vis.	1999	DBLP DOI BibTeX RDF	closure constraints, multiple view tensors, reconstruction, factorization methods, affine cameras, matching constraints
16	Guo-Qing Wei, Gerd Hirzinger	Parametric Shape-from-Shading by Radial Basis Functions.	IEEE Trans. Pattern Anal. Mach. Intell.	1997	DBLP DOI BibTeX RDF	depth constraints, normals constraints, qualitative knowledge, stochastic gradient method, radial basis functions, Shape from shading, hierarchical structure
16	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
16	Susan Darling Urban, Lois M. L. Delcambre	Constraint Analysis: A Design Process for Specifying Operations on Objects.	IEEE Trans. Knowl. Data Eng.	1990	DBLP DOI BibTeX RDF	object-oriented database design environment, object-oriented database schema, flexible specification, propagation actions, constraint violations, explicit schema constraints, automatic identification, formal specification, semantics, object-oriented programming, object-oriented databases, design process, design process, formal logic, object manipulation, design alternatives, constraint analysis, Horn logic, formal representation, database constraints
16	Stefan Lehmann, Tim Felgentreff, Robert Hirschfeld	Connecting Object Constraints with Context-oriented Programming: Scoping Constraints with Layers and Activating Layers with Constraints.	COP@ECOOP	2015	DBLP DOI BibTeX RDF
15	Khalid Benabdeslem, Jihène Snoussi	A Probabilistic Approach for Constrained Clustering with Topological Map.	MLDM	2009	DBLP DOI BibTeX RDF	GTM, Soft constraints, Constrained Clustering
15	Wenfei Fan, Floris Geerts	Relative information completeness.	PODS	2009	DBLP DOI BibTeX RDF	information completeness, master data, constraints, consistency
15	Rujuan Liu, Changjun Hu, Chongchong Zhao, Zhong Gao	Verification for Time Consistency of Web Service Flow.	ACIS-ICIS	2008	DBLP DOI BibTeX RDF	Verification of WS Flow, Annotated OWL_S, Time Ontology, Time Constraints Petri Net, Model Checking
15	Jinxiang Chai, Jessica K. Hodgins	Constraint-based motion optimization using a statistical dynamic model.	ACM Trans. Graph.	2007	DBLP DOI BibTeX RDF	constraint-based motion synthesis, human body animation, spatial-temporal constraints, statistical dynamic models, facial animation, motion control, motion capture data
15	Ruopeng Lu, Shazia Wasim Sadiq, Vineet Padmanabhan, Guido Governatori	Using a temporal constraint network for business process execution.	ADC	2006	DBLP BibTeX RDF	workflows, process modelling, constraint satisfaction, temporal constraints
15	Julien Pouget, Erik Larsson, Zebo Peng	Multiple-Constraint Driven System-on-Chip Test Time Optimization.	J. Electron. Test.	2005	DBLP DOI BibTeX RDF	wrapper and TAM design, test scheduling, SOC testing, power constraint, multiple constraints
15	Seyoon Tak, Hyeong-Seok Ko	A physically-based motion retargeting filter.	ACM Trans. Graph.	2005	DBLP DOI BibTeX RDF	animation w/constraints, physically based animation, Motion retargeting
15	Chinyang Henry Tseng, Tao Song, Poornima Balasubramanyam, Calvin Ko, Karl N. Levitt	A Specification-Based Intrusion Detection Model for OLSR.	RAID	2005	DBLP DOI BibTeX RDF	Specification based IDS, MANET, Mobile ad hoc network, Intrusion Detection, Network Security, Constraints, OLSR
15	Mohamed Ali Aloulou, Mikhail Y. Kovalyov, Marie-Claude Portmann	Maximization Problems in Single Machine Scheduling.	Ann. Oper. Res.	2004	DBLP DOI BibTeX RDF	semi-active schedules, maximization problem, scheduling, precedence constraints, release times
15	Hiroshi Hosobe	Hierarchical nonlinear constraint satisfaction.	SAC	2004	DBLP DOI BibTeX RDF	constraint satisfaction, least squares, constraint hierarchies, nonlinear constraints
15	Praveen Madiraju, Rajshekhar Sunderraman	A mobile agent approach for global database constraint checking.	SAC	2004	DBLP DOI BibTeX RDF	multi-database systems, mobile agents, global constraints
15	Jonathan Edwards, Daniel Jackson 0001, Emina Torlak, Vincent Yeung	Faster constraint solving with subtypes.	ISSTA	2004	DBLP DOI BibTeX RDF	relational logic, verification, constraints, analysis, SAT, subtypes
15	Helen Xie, Philip Henderson, Joseph Neelamkavil, Jingxin Li	A Systematic Search Strategy for Product Configuration.	IEA/AIE	2004	DBLP DOI BibTeX RDF	numeric variables, n-ary constraints, dependent variables, backjumping, Constraint satisfaction, variable ordering, product configuration
15	Ignacio Llamas, ByungMoon Kim, Joshua Gargus, Jarek Rossignac, Christopher D. Shaw	Twister: a space-warp operator for the two-handed editing of 3D shapes.	ACM Trans. Graph.	2003	DBLP DOI BibTeX RDF	displacement and orientation constraints, free-form deformation, two-handed interaction
15	Yong Wang, Uma Jayaram, Sankar Jayaram, Shaikh Imtiyaz	Methods and Algorithms for Constraint-based Virtual Assembly.	Virtual Real.	2003	DBLP DOI BibTeX RDF	Assembly Constraints, Constrained Motion Simulation, Virtual Assembly
15	Antonio J. Fernández 0001, Maria Teresa Hortalá-González, Fernando Sáenz-Pérez	Solving Combinatorial Problems with a Constraint Functional Logic Language.	PADL	2003	DBLP DOI BibTeX RDF	Constraints, Functional Logic Programming, Finite Domains
15	Tamraparni Dasu, Gregg T. Vesonder, Jon R. Wright	Data quality through knowledge engineering.	KDD	2003	DBLP DOI BibTeX RDF	business operations databases, static and dynamic constraints, data quality
15	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
15	Simon Baker, Takeo Kanade	Limits on Super-Resolution and How to Break Them.	IEEE Trans. Pattern Anal. Mach. Intell.	2002	DBLP DOI BibTeX RDF	analysis of reconstruction constraints, hallucination, recogstruction, learning, text, Super-resolution, faces
15	Kristian Sandström, Christer Norström	Managing Complex Temporal Requirements in Real-Time Control Systems.	ECBS	2002	DBLP DOI BibTeX RDF	assigning priorities, assigning offsets, relative timing constraints, scheduling, Real-time systems, control systems
15	Ali Dasdan	A strongly polynomial-time algorithm for over-constraint resolution: efficient debugging of timing constraint violations.	CODES	2002	DBLP DOI BibTeX RDF	scheduling, high-level synthesis, constraint satisfaction, timing constraints, behavioral synthesis, rate analysis
15	William H. Bares, Byungwoo Kim	Generating virtual camera compositions.	IUI	2001	DBLP DOI BibTeX RDF	generation of constraints, photographic composition, visualization interfaces
15	Radoslaw Szymanek, Krzysztof Kuchcinski	A constructive algorithm for memory-aware task assignment and scheduling.	CODES	2001	DBLP DOI BibTeX RDF	task scheduling, constraint programming, task assignment, memory constraints
15	Luke Hunsberger	Generating Bids for Group-Related Actions in the Context of Prior Commitments.	ATAL	2001	DBLP DOI BibTeX RDF	Collaborative Planning, Simple Temporal Networks, Bid Generation, Combinatorial Auctions, Temporal Constraints, Group Decision Making
15	Wen-Jer Wu, Chuan Yi Tang	Memory test time reduction by interconnecting test items.	Asian Test Symposium	2000	DBLP DOI BibTeX RDF	memory test time reduction, test items interconnection, initialization sequences, verification sequences, signal settling time, interconnection problem, rural Chinese postman problem, integer linear programming model, successive ILP models, graph theory, constraints, linear programming, integrated circuit testing, integer programming, iterations, NP-hard problem, integrated memory circuits
15	Woong Kwon, Beom Hee Lee 0001	A New Optimal Force Distribution Scheme of Multiple Cooperating Robots Using Dual Method.	J. Intell. Robotic Syst.	1998	DBLP DOI BibTeX RDF	optimal force distribution, multiple cooperating robots, Dual method of NLP, quadratic constraints, real time application, quadratic programming
15	Thomas Fahringer	Efficient Symbolic Analysis for Parallelizing Compilers and Performance Estimators.	J. Supercomput.	1998	DBLP DOI BibTeX RDF	symbolic expressions, comparing symbolic expressions, symbolic expression bounds, simplifying constraints, symbolic dependence testing, program analysis
15	Michael Benedikt, Guozhu Dong, Leonid Libkin, Limsoon Wong	Relational Expressive Power of Constraint Query Languages.	J. ACM	1998	DBLP DOI BibTeX RDF	constraint query language, database, constraints, expressive power, relational calculus
15	Anmol Mathur, Ali Dasdan, Rajesh K. Gupta 0001	Rate analysis for embedded systems.	ACM Trans. Design Autom. Electr. Syst.	1998	DBLP DOI BibTeX RDF	average execution rate, concurrent system modeling, interactive rate violation debugging, rate constraints, embedded systems, rate analysis
15	Patrick Vuillod, Luca Benini, Giovanni De Micheli	Generalized matching from theory to application.	ICCAD	1997	DBLP DOI BibTeX RDF	MCNC 91 benchmark suite, algorithmic optimization, generalized matching, library cells, multi-output network, post-mapping optimization, unconstrained delay minimization, logic CAD, power minimization, delay constraints, area minimization, Boolean relation
15	R. Miller, Hal Carter, K. Davis, Satish Venkatesan	Hardware/software cosynthesis: multiple constraint satisfaction and component retrieval.	ICECCS	1996	DBLP DOI BibTeX RDF	hardware software cosynthesis, multiple constraint satisfaction, high-level system specification, constraint-driven retrieval, candidate solution evaluation, cosynthesis tool, multiple design constraints, two constraint Fidducia-Matheyses approach, flexible component retrieval, design database, ad hoc querying, systems analysis, hardware description language, design space, component retrieval
15	Rainer Leupers, Peter Marwedel	Time-constrained code compaction for DSPs.	ISSS	1995	DBLP DOI BibTeX RDF	code generation techniques, digital signal processing algorithms, encoding restrictions, exact timing behavior, hard real-time constraints, integer programming model, local code compaction, programmable DSP, rigid heuristics, time-constrained code compaction, real-time systems, timing, integer programming, instruction-level parallelism, source coding, automatic programming, digital signal processing chips, side-effects
15	Yuejun Jiang	An Autoepistemic Logical View of Knowledge Base.	FSTTCS	1989	DBLP DOI BibTeX RDF	AI in Database, Incomplete knowledge, Complete Database, Nonstandard Logic, Modal logic, Deductive database, Integrity Constraints, Non-monotonic logic, Closed World Assumption, Possible worlds semantics, Autoepistemic logic
15	Rémy Garcia	Floating-point numbers round-off error analysis by constraint programming.	Constraints An Int. J.	2023	DBLP DOI BibTeX RDF
15	Kyle E. C. Booth	Constraint programming approaches to electric vehicle and robot routing problems.	Constraints An Int. J.	2023	DBLP DOI BibTeX RDF
15	Ilankaikone Senthooran, Matthias Klapperstück, Gleb Belov, Tobias Czauderna, Kevin Leo, Mark Wallace 0001, Michael Wybrow, Maria Garcia de la Banda	Human-centred feasibility restoration in practice.	Constraints An Int. J.	2023	DBLP DOI BibTeX RDF
15	Anissa Kheireddine, Etienne Renault, Souheib Baarir	Towards better heuristics for solving bounded model checking problems.	Constraints An Int. J.	2023	DBLP DOI BibTeX RDF
15	Margarita P. Castro	Optimization methods based on decision diagrams for constraint programming, AI planning, and mathematical programming.	Constraints An Int. J.	2023	DBLP DOI BibTeX RDF