Search results for "over-constrained"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
61	Richard J. Wallace, Eugene C. Freuder	Heuristic Methods for Over-Constrained Constraint Satisfaction Problems.	Over-Constrained Systems	1995	DBLP DOI BibTeX RDF
61	Michael Jampel	A Brief Overview of Over-Constrained Systems.	Over-Constrained Systems	1995	DBLP DOI BibTeX RDF
61	Fabrice Bouquet, Philippe Jégou	Solving Over-Constrained CSPs Using Weighted OBDDs.	Over-Constrained Systems	1995	DBLP DOI BibTeX RDF
61	Abdul Sattar 0001, Aditya Ghose, Randy Goebel	Specifying Over-Constrained Problems in Default Logic.	Over-Constrained Systems	1995	DBLP DOI BibTeX RDF
52	Michael Jampel, Eugene C. Freuder, Michael J. Maher (eds.)	Over-Constrained Systems	Over-Constrained Systems	1996	DBLP DOI BibTeX RDF
52	Eugene C. Freuder, Richard J. Wallace	Partial Constraint Satisfaction.	Over-Constrained Systems	1995	DBLP DOI BibTeX RDF
52	Esther M. Gelle, Ian F. C. Smith	Dynamic Constraint Satisfaction with Conflict Management in Design.	Over-Constrained Systems	1995	DBLP DOI BibTeX RDF
52	Richard J. Wallace	Cascaded Directed Arc Consistency and No-Good Learning for the Maximal Constraint Satisfaction Problem.	Over-Constrained Systems	1995	DBLP DOI BibTeX RDF
52	Armin Wolf	Transforming Ordered Constraint Hierarchies into Ordinary Constraint Systems.	Over-Constrained Systems	1995	DBLP DOI BibTeX RDF
52	Stefano Bistarelli, Hélène Fargier, Ugo Montanari, Francesca Rossi 0001, Thomas Schiex, Gérard Verfaillie	Semiring-Based CSPs and Valued CSPs: Basic Properties and Comparison.	Over-Constrained Systems	1995	DBLP DOI BibTeX RDF
52	Rolf Weißschnur, Joachim Hertzberg, Hans W. Guesgen	Experiences in Solving Constraint Relaxation Networks with Boltzmann Machines.	Over-Constrained Systems	1995	DBLP DOI BibTeX RDF
52	Francisco Menezes, Pedro Barahona	Defeasible Constraint Solving.	Over-Constrained Systems	1995	DBLP DOI BibTeX RDF
52	Nick Lendris, Lefteris M. Kirousis, Yannis C. Stamatiou, Dimitrios M. Thilikos	Partial Arc Consistency.	Over-Constrained Systems	1995	DBLP DOI BibTeX RDF
52	Alan Borning, Bjørn N. Freeman-Benson, Molly Wilson	Constraint Hierarchies.	Over-Constrained Systems	1995	DBLP DOI BibTeX RDF
52	Michael Jampel	A Composistional Theory of Constraint Hierarchies.	Over-Constrained Systems	1995	DBLP DOI BibTeX RDF
52	Narendra Jussien, Patrice Boizumault	Implementing Constraint Relaxation over Finite Domains Using Assumption-Based Truth Maintenance Systems.	Over-Constrained Systems	1995	DBLP DOI BibTeX RDF
49	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
41	Lauro V. Ojeda, Johann Borenstein	Methods for the Reduction of Odometry Errors in Over-Constrained Mobile Robots.	Auton. Robots	2004	DBLP DOI BibTeX RDF	cross-coupled control, expert rules, pioneer AT, over-constrained, mobile robot, encoders, error correction, odometry
40	Matthew Beaumont, John Thornton 0001, Abdul Sattar 0001, Michael J. Maher	Solving Over-Constrained Temporal Reasoning Problems Using Local Search.	PRICAI	2004	DBLP DOI BibTeX RDF
37	Mohd Fadzil Hassan 0001, Dave Robertson 0001	Constraint Relaxation Approach for Over-Constrained Agent Interaction.	PRICAI	2008	DBLP DOI BibTeX RDF	Over-constrained agent interaction, brittle agent protocol, Distributed Partial CSP and agent protocol
37	Thierry Petit, Jean-Charles Régin, Christian Bessière	Meta-constraints on violations for over constrained problems.	ICTAI	2000	DBLP DOI BibTeX RDF	meta constraints, over constrained problems, Max-CSP, real-life problems, constraint programming, constraint handling, communicating sequential processes, real-world problems
33	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
28	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
23	David Broman, Kaj Nyström, Peter Fritzson	Determining over- and under-constrained systems of equations using structural constraint delta.	GPCE	2006	DBLP DOI BibTeX RDF	equation-based, over-constrained, under-constrained, modeling, object-oriented, type checking, separate compilation
22	Lingzhong Zhou, Abdul Sattar 0001, Scott D. Goodwin	Handling Over-Constrained Problems in Distributed Multi-agent Systems.	Canadian AI	2005	DBLP DOI BibTeX RDF
22	John Thornton 0001, Abdul Sattar 0001	Dynamic Constraint Weighting for Over-Constrained Problems.	PRICAI	1998	DBLP DOI BibTeX RDF
18	Rocco Vertechy, Vincenzo Parenti-Castelli	Static and Stiffness Analyses of a Class of Over-Constrained Parallel Manipulators with Legs of Type US and UPS.	ICRA	2007	DBLP DOI BibTeX RDF
18	Jean-Charles Régin, Thierry Petit, Christian Bessière, Jean-Francois Puget	New Lower Bounds of Constraint Violations for Over-Constrained Problems.	CP	2001	DBLP DOI BibTeX RDF
18	Katsutoshi Hirayama, Makoto Yokoo	An Approach to Over-constrained Distributed Constraint Satisfaction Problems: Distributed Hierarchical Constraint Satisfaction.	ICMAS	2000	DBLP DOI BibTeX RDF
18	Jean-Charles Régin, Thierry Petit, Christian Bessière, Jean-Francois Puget	An Original Constraint Based Approach for Solving over Constrained Problems.	CP	2000	DBLP DOI BibTeX RDF
14	Andrew Lim 0001, Brian Rodrigues, Ramesh Thangarajo, Fei Xiao 0001	Over-Constrained Resource-Constrained Scheduling Problems with Prioritized Activities.	FSKD	2002	DBLP BibTeX RDF
14	Kyriakos Kritikos, Dimitris Plexousakis	A Semantic QoS-Based Web Service Discovery Engine for Over-Constrained QoS Demands.	ICSOC Workshops	2007	DBLP DOI BibTeX RDF
14	Josep Argelich, Felip Manyà	Exact Max-SAT solvers for over-constrained problems.	J. Heuristics	2006	DBLP DOI BibTeX RDF	Soft constraints, Solvers, Max-SAT
14	Josep Argelich, Felip Manyà	Solving Over-Constrained Problems with SAT Technology.	SAT	2005	DBLP DOI BibTeX RDF
14	Josep Argelich, Felip Manyà	Solving Over-Constrained Problems with SAT.	CP	2005	DBLP DOI BibTeX RDF
14	Andrew Lim 0001, Brian Rodrigues, Ramesh Thangarajo, Fei Xiao 0001	A Hybrid Framework for Over-Constrained Generalized.	Artif. Intell. Rev.	2004	DBLP DOI BibTeX RDF	resource constrained, Genetic Algorithm, Tabu Search, project scheduling
14	Thierry Petit, Jean-Charles Régin, Christian Bessière	Specific Filtering Algorithms for Over-Constrained Problems.	CP	2001	DBLP DOI BibTeX RDF
11	Malek Mouhoub, Amrudee Sukpan	A New Temporal CSP Framework Handling Composite Variables and Activity Constraints.	ICTAI	2005	DBLP DOI BibTeX RDF
11	Malek Mouhoub	Reasoning with Numeric and Symbolic Time Information.	Artif. Intell. Rev.	2004	DBLP DOI BibTeX RDF	constraint satisfaction techniques, scheduling, approximation algorithms, planning, temporal reasoning
11	Xintao Wu, Daniel Barbará	Learning missing values from summary constraints.	SIGKDD Explor.	2002	DBLP DOI BibTeX RDF	constraint programming, linear algebra, maximum entropy, data cleaning, cross entropy
10	Matthew L. Staten, Steven J. Owen, Ted D. Blacker	Unconstrained Paving & Plastering: A New Idea for All Hexahedral Mesh Generation.	IMR	2005	DBLP DOI BibTeX RDF	plastering, paving, mesh generation, sweeping, hexahedra
9	Viet-Man Le, Alexander Felfernig, Thi Ngoc Trang Tran, Mathias Uta	INFORMEDQX: Informed Conflict Detection for Over-Constrained Problems.	AAAI	2024	DBLP DOI BibTeX RDF
9	Xingchao Zhang, Hongbo Wang, Yu Rong, Jianye Niu, Junjie Tian, Yuansheng Ning	Kinematics and stiffness Analysis of a Novel 4-DOF over-constrained Parallel Mechanism with three Legs, 450-460.	Int. J. Robotics Autom.	2023	DBLP DOI BibTeX RDF
9	Sen Wang, Haoran Li, Xueyan Han, Jiahao Wei, Tao Zhang, Shihua Li	Research on High Precision Stiffness Modeling Method of Redundant Over-Constrained Parallel Mechanism.	Sensors	2023	DBLP DOI BibTeX RDF
9	Shubham Aggarwal, Muhammad Aneeq uz Zaman, Melih Bastopcu, Tamer Basar	Large Population Games with Timely Scheduling over Constrained Networks.	ACC	2023	DBLP DOI BibTeX RDF
9	Yuang Xia, Chunyan Zhang, Xinyue Yu	Design and Kinematic Analysis of a Mobile Parallel Mechanism with Over Constrained Branch Chains.	ICIRA (3)	2023	DBLP DOI BibTeX RDF
9	Tomasz Jastrzab, Frédéric Lardeux, Éric Monfroy	Inference of Over-Constrained NFA of Size k+1 to Efficiently and Systematically Derive NFA of Size k for Grammar Learning.	ICCS (1)	2023	DBLP DOI BibTeX RDF
9	Fu-Hsiung Lee, Kuan-Lun Hsu	A synthesis method of spatial over-constrained mechanisms based on kinematics of serial manipulators.	Robotica	2022	DBLP DOI BibTeX RDF
9	Fan Yang 0067, Lei Shu 0001, Yuli Yang, Guangjie Han, Simon Pearson, Kailiang Li	Optimal Deployment of Solar Insecticidal Lamps Over Constrained Locations in Mixed-Crop Farmlands.	IEEE Internet Things J.	2021	DBLP DOI BibTeX RDF
9	Cristian Vidal 0001, Alexander Felfernig, José A. Galindo, Müslüm Atas, David Benavides 0001	Explanations for over-constrained problems using QuickXPlain with speculative executions.	J. Intell. Inf. Syst.	2021	DBLP DOI BibTeX RDF
9	Patrick Rodler, Erich Teppan, Dietmar Jannach	Randomized Problem-Relaxation Solving for Over-Constrained Schedules.	KR	2021	DBLP DOI BibTeX RDF
9	Konrad Fögen, Horst Lichter	Generation of Invalid Test Inputs from Over-Constrained Test Models for Combinatorial Robustness Testing.	ICST Workshops	2020	DBLP DOI BibTeX RDF
9	Seyed Alireza Hasheminasab, Behrouz Tork Ladani, Tansu Alpcan	Interdependent Security Game Design over Constrained Linear Influence Networks.	ISC Int. J. Inf. Secur.	2019	DBLP DOI BibTeX RDF
9	Haiqiang Zhang, Hairong Fang, Bingshan Jiang, Shuaiguo Wang	Dynamic Performance Evaluation of a Redundantly Actuated and Over-constrained Parallel Manipulator.	Int. J. Autom. Comput.	2019	DBLP DOI BibTeX RDF
9	Edoh Goka, Lazhar Homri, Pierre Beaurepaire, Jean-Yves Dantan	Statistical Tolerance Analysis of Over-Constrained Mechanical Assemblies With Form Defects Considering Contact Types.	J. Comput. Inf. Sci. Eng.	2019	DBLP DOI BibTeX RDF
9	Guanyu Huang, Dan Zhang 0006, Sheng Guo 0001, Haibo Qu	Structural synthesis of a class of Reconfigurable Parallel manipulators based on over-constrained Mechanisms.	Int. J. Robotics Autom.	2019	DBLP BibTeX RDF
9	Konrad Fögen, Horst Lichter	Semi-Automatic Repair of Over-Constrained Models for Combinatorial Robustness Testing.	APSEC	2019	DBLP DOI BibTeX RDF
9	Konrad Fögen, Horst Lichter	Repairing Over-Constrained Models for Combinatorial Robustness Testing.	QRS Companion	2019	DBLP DOI BibTeX RDF
9	Tao Sun 0004, Binbin Lian, Jiateng Zhang, Yimin Song	Kinematic Calibration of a 2-DoF Over-Constrained Parallel Mechanism Using Real Inverse Kinematics.	IEEE Access	2018	DBLP DOI BibTeX RDF
9	Muesluem Atas, Thi Ngoc Trang Tran, Alexander Felfernig, Ralph Samer	Socially-Aware Recommendation for Over-Constrained Problems.	IEA/AIE	2018	DBLP DOI BibTeX RDF
9	Julien Alexandre Dit Sandretto, Milan Hladík	Solving over-constrained systems of non-linear interval equations - And its robotic application.	Appl. Math. Comput.	2017	DBLP DOI BibTeX RDF
9	Peng Yu, Brian Charles Williams, Cheng Fang, Jing Cui, Patrik Haslum	Resolving Over-Constrained Temporal Problems with Uncertainty through Conflict-Directed Relaxation.	J. Artif. Intell. Res.	2017	DBLP DOI BibTeX RDF
9	Zhi Niu, Tieshi Zhao, Yanzhi Zhao, Qiangqiang Hu, Shixing Ding	Design and Analysis of the Measurement Characteristics of a Bidirectional-Decoupling Over-Constrained Six-Dimensional Parallel-Mechanism Force Sensor.	Sensors	2017	DBLP DOI BibTeX RDF
9	Amir Ahmadi-Javid, Asghar Moeini	An economical acceptance-rejection algorithm for uniform random variate generation over constrained simplexes.	Stat. Comput.	2016	DBLP DOI BibTeX RDF
9	Deepika Shukla, Rajib Kumar Jha, Aparajita Ojha	Digital image stabilization using similarity transformation over constrained Differential-Radon warping vectors.	Signal Process. Image Commun.	2016	DBLP DOI BibTeX RDF
9	Qiang Yan 0003, Bin Li 0009, Xinhua Zhao, Yangmin Li 0001	Comparative stiffness analysis of two over-constrained manipulators.	ICARM	2016	DBLP DOI BibTeX RDF
9	Peng Yu, Jiaying Shen, Peter Z. Yeh, Brian Charles Williams	Resolving Over-Constrained Conditional Temporal Problems Using Semantically Similar Alternatives.	IJCAI	2016	DBLP BibTeX RDF
9	A. Dumas, Jean-Yves Dantan, Nicolas Gayton	Impact of a behavior model linearization strategy on the tolerance analysis of over-constrained mechanisms.	Comput. Aided Des.	2015	DBLP DOI BibTeX RDF
9	Yuan Ni, Zongquan Deng, Junbao Li, Xiang Wu, Long Li	Multi-Objective Design Optimization of an Over-Constrained Flexure-Based Amplifier.	Algorithms	2015	DBLP DOI BibTeX RDF
9	Peng Yu, Cheng Fang, Brian Charles Williams	Resolving Over-Constrained Probabilistic Temporal Problems through Chance Constraint Relaxation.	AAAI	2015	DBLP DOI BibTeX RDF
9	Olivier Ruatta, Mark Sciabica, Ágnes Szántó	Over-constrained Weierstrass iteration and the nearest consistent system.	CoRR	2014	DBLP BibTeX RDF
9	Mireille Moinet, Guillaume Mandil, Philippe Serré	Defining tools to address over-constrained geometric problems in Computer Aided Design.	Comput. Aided Des.	2014	DBLP DOI BibTeX RDF
9	Carlos Mencía, João Marques-Silva 0001	Efficient Relaxations of Over-constrained CSPs.	ICTAI	2014	DBLP DOI BibTeX RDF
9	Wassim Jaziri, Michel Mainguenaud	A framework to model and manipulate constraints for over-constrained geographic applications.	GeoInformatica	2013	DBLP DOI BibTeX RDF
9	Paul Beaucaire, Nicolas Gayton, Emmanuel Duc, Jean-Yves Dantan	Statistical tolerance analysis of over-constrained mechanisms with gaps using system reliability methods.	Comput. Aided Des.	2013	DBLP DOI BibTeX RDF
9	Ann Clifton, Max Whitney, Anoop Sarkar	An Online Algorithm for Learning over Constrained Latent Representations using Multiple Views.	IJCNLP	2013	DBLP BibTeX RDF
9	Pierre Schaus	Variable Objective Large Neighborhood Search: A Practical Approach to Solve Over-Constrained Problems.	ICTAI	2013	DBLP DOI BibTeX RDF
9	Peng Yu, Brian Charles Williams	Continuously Relaxing Over-Constrained Conditional Temporal Problems through Generalized Conflict Learning and Resolution.	IJCAI	2013	DBLP BibTeX RDF
9	Alexander Felfernig, Monika Schubert, Stefan Reiterer	Personalized Diagnosis for Over-Constrained Problems.	IJCAI	2013	DBLP BibTeX RDF
9	Ahmed-Jawad Qureshi, Jean-Yves Dantan, Vahid Sabri, Paul Beaucaire, Nicolas Gayton	A statistical tolerance analysis approach for over-constrained mechanism based on optimization and Monte Carlo simulation.	Comput. Aided Des.	2012	DBLP DOI BibTeX RDF
9	Amadeo Ascó Signes, Jason A. D. Atkin, Edmund K. Burke	An Evolutionary Algorithm for the Over-constrained Airport Baggage Sorting Station Assignment Problem.	SEAL	2012	DBLP DOI BibTeX RDF
9	Thierry Petit, Emmanuel Poder	Global propagation of side constraints for solving over-constrained problems.	Ann. Oper. Res.	2011	DBLP DOI BibTeX RDF
9	Inayatullah Shah	A hybrid algorithm for finding minimal unsatisfiable subsets in over-constrained CSPs.	Int. J. Intell. Syst.	2011	DBLP DOI BibTeX RDF
9	Inayatullah Shah	Direct Algorithms for Finding Minimal Unsatisfiable Subsets in over-Constrained CSPs.	Int. J. Artif. Intell. Tools	2011	DBLP DOI BibTeX RDF
9	Kenta Hanada, Katsutoshi Hirayama	Distributed Lagrangian Relaxation Protocol for the Over-constrained Generalized Mutual Assignment Problem.	PRIMA	2011	DBLP DOI BibTeX RDF
9	Fidan Boylu, Haldun Aytug, Gary J. Koehler	Induction over constrained strategic agents.	Eur. J. Oper. Res.	2010	DBLP DOI BibTeX RDF
9	Alaleh Vafaei, Mohammad M. Aref, Hamid D. Taghirad	Integrated controller for an over-constrained cable driven parallel manipulator: KNTU CDRPM.	ICRA	2010	DBLP DOI BibTeX RDF
9	Ming-Wei Chang, Dan Goldwasser, Dan Roth, Vivek Srikumar	Discriminative Learning over Constrained Latent Representations.	HLT-NAACL	2010	DBLP BibTeX RDF
9	Bin Li 0009, Xinhua Zhao, Guangzhu Meng	Kinematics analysis of a novel over-constrained parallel manipulator.	ROBIO	2010	DBLP DOI BibTeX RDF
9	Weihua Deng, Minrui Fei, Huosheng Hu	A Novel Approach to System Stabilization over Constrained Channels.	LSMS/ICSEE (2)	2010	DBLP DOI BibTeX RDF
9	John Horan, Barry O'Sullivan	Towards Diverse Relaxations of Over-Constrained Models.	ICTAI	2009	DBLP DOI BibTeX RDF
9	Alexandre Papadopoulos, Barry O'Sullivan	Relaxations for Compiled Over-Constrained Problems.	CP	2008	DBLP DOI BibTeX RDF
9	Silvana Badaloni, Marco Falda, Massimiliano Giacomin	Solving temporal over-constrained problems using fuzzy techniques.	J. Intell. Fuzzy Syst.	2007	DBLP BibTeX RDF
9	Barry O'Sullivan, Alexandre Papadopoulos, Boi Faltings, Pearl Pu	Representative Explanations for Over-Constrained Problems.	AAAI	2007	DBLP BibTeX RDF
9	H. Ding, Andrew Lim 0001, Brian Rodrigues, Yi Zhu 0007	The over-constrained airport gate assignment problem.	Comput. Oper. Res.	2005	DBLP DOI BibTeX RDF
9	Malek Mouhoub	Stochastic search versus genetic algorithms for solving real time and over-constrained temporal constraint problems.	Int. J. Knowl. Based Intell. Eng. Syst.	2005	DBLP DOI BibTeX RDF
9	Grigore Gogu	Fully-Isotropic Over-Constrained Parallel Wrists with Two Degrees of Freedom.	ICRA	2005	DBLP DOI BibTeX RDF
9	Zerrin Yumak, Tatyana M. Yakhno	HIS: Hierarchical Solver for Over-Constrained Satisfaction Problems.	TAINN	2005	DBLP DOI BibTeX RDF
9	Bart Peintner, Michael D. Moffitt, Martha E. Pollack	Solving Over-constrained Disjunctive Temporal Problems with Preferences.	ICAPS	2005	DBLP BibTeX RDF
9	Vasin Punyakanok, Dan Roth, Wen-tau Yih, Dav Zimak	Learning and Inference over Constrained Output.	IJCAI	2005	DBLP BibTeX RDF