Search results for "CSPs"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
161	Jing Liu 0006, Weicai Zhong, Licheng Jiao	A multiagent evolutionary algorithm for constraint satisfaction problems.	IEEE Trans. Syst. Man Cybern. Part B	2006	DBLP DOI BibTeX RDF
81	Malek Mouhoub, Amrudee Sukpan	Managing Conditional and Composite CSPs.	Canadian AI	2007	DBLP DOI BibTeX RDF	Local Search, Constraint Satisfaction, Arc Consistency
81	Tomas Eric Nordlander, Kenneth N. Brown, Derek H. Sleeman	Identifying Inconsistent CSPs by Relaxation.	CP	2003	DBLP DOI BibTeX RDF
78	Miguel A. Salido, Federico Barber	Disjunction of Non-binary and Numeric Constraint Satisfaction Problems.	CCIA	2002	DBLP DOI BibTeX RDF	non-binary constraints, Disjunctive constraints, CSPs
70	Lionel Paris, Belaid Benhamou, Pierre Siegel	A Boolean Encoding Including SAT and n-ary CSPs.	AIMSA	2006	DBLP DOI BibTeX RDF	Logic and constraint programming, Automated reasoning, Knowledge representation and reasoning
70	Nicolas Prcovic	Extremal CSPs.	CP	2005	DBLP DOI BibTeX RDF
70	Nicoleta Neagu, Stefano Bistarelli, Boi Faltings	Experimental Evaluation of Interchangeability in Soft CSPs.	CSCLP	2003	DBLP DOI BibTeX RDF
65	Xiaoguang Wang 0002, Stephen John Turner, Simon J. E. Taylor, Malcolm Y. H. Low, Boon-Ping Gan	A COTS Simulation Package Emulator (CSPE) for investigating COTS simulation package interoperability.	WSC	2005	DBLP DOI BibTeX RDF
62	Ryan O'Donnell, Yi Wu 0002	Conditional hardness for satisfiable 3-CSPs.	STOC	2009	DBLP DOI BibTeX RDF	khot's, satisfiable 3-CSPs, hardness of approximation, PCP
59	Johan Håstad	On Nontrivial Approximation of CSPs.	APPROX-RANDOM	2006	DBLP DOI BibTeX RDF
54	David A. Cohen, Martin James Green	Typed Guarded Decompositions for Constraint Satisfaction.	CP	2006	DBLP DOI BibTeX RDF
54	Weicai Zhong, Jing Liu 0006, Licheng Jiao	An Agent Model for Binary Constraint Satisfaction Problems.	EvoCOP	2005	DBLP DOI BibTeX RDF
54	Marius-Calin Silaghi	HOWTO: Asynchronous PFC-MRDAC -Optimization in Distributed Constraint Problems±Adopt-.	IAT	2003	DBLP DOI BibTeX RDF
51	Martin Sachenbacher, Paul Maier	Test Strategy Generation Using Quantified CSPs.	CP	2008	DBLP DOI BibTeX RDF	adversarial planning, quantified CSPs, Test generation
49	Sadok Bouamama, Khaled Ghédira	D3G2A : a new dynamic distributed double guided genetic algorithm for Sigma-CSPs.	Congress on Evolutionary Computation	2005	DBLP DOI BibTeX RDF
49	J. C. Tay, S. Y. Huang, Hiok Chai Quek	CSL (Part I): Modelling General N-ary, Logical CSPs.	ICTAI	1997	DBLP DOI BibTeX RDF	constraint specification language, CSL, user-defined constraints, N-ary logical constraint satisfaction problems, constraint logic programming languages, expressive algebra, extended versions, transparent access, data structures, constraint programming, unification, syntax, logic programming languages, numerical constraints
43	Manuel Bodirsky, Martin Grohe	Non-dichotomies in Constraint Satisfaction Complexity.	ICALP (2)	2008	DBLP DOI BibTeX RDF
43	Sivan Sabato, Yehuda Naveh	Preprocessing Expression-Based Constraint Satisfaction Problems for Stochastic Local Search.	CPAIOR	2007	DBLP DOI BibTeX RDF
43	Xuan-Ha Vu, Barry O'Sullivan	Semiring-Based Constraint Acquisition.	ICTAI (1)	2007	DBLP DOI BibTeX RDF
43	Alfonso Gerevini, Alessandro Saetti	Efficient Computation of Minimal Point Algebra Constraints by Metagraph Closure.	CP	2007	DBLP DOI BibTeX RDF
43	Richard J. Wallace, Nic Wilson	Conditional Lexicographic Orders in Constraint Satisfaction Problems.	CPAIOR	2006	DBLP DOI BibTeX RDF
43	Albert Atserias	On Digraph Coloring Problems and Treewidth Duality.	LICS	2005	DBLP DOI BibTeX RDF
43	Eric J. Mulvaney, Scott D. Goodwin	Constraint Directed Dynamic Backtracking.	Canadian AI	2004	DBLP DOI BibTeX RDF
43	Christophe Lecoutre, Frédéric Boussemart, Fred Hemery	Implicit Random Constraint Satisfaction Problems.	ICTAI	2003	DBLP DOI BibTeX RDF
43	Gabriel Ciobanu, Daniel Dumitriu, Dorin Huzum, Gabriel Moruz, Bogdan Tanasa	Client-Server P Systems in Modeling Molecular Interaction.	WMC-CdeA	2002	DBLP DOI BibTeX RDF
43	T. K. Lee, Philip Heng Wai Leong, K. H. Lee, K. T. Chan, Siew Kok Hui, H. K. Yeung, M. F. Lo, J. H. M. Lee	An FPGA Implementation of GENET for Solving Graph Coloring Problems .	FCCM	1998	DBLP DOI BibTeX RDF
43	Yan Georget, Philippe Codognet	Compiling Semiring-Based Constraints with clp (FD, S).	CP	1998	DBLP DOI BibTeX RDF
43	Stefano Bistarelli, Ugo Montanari, Francesca Rossi 0001	Semiring-based constraint satisfaction and optimization.	J. ACM	1997	DBLP DOI BibTeX RDF	non-crisp constraint reasoning, dynamic programming, constraint solving, local consistency
40	David Stynes, Kenneth N. Brown	Value ordering for quantified CSPs.	Constraints An Int. J.	2009	DBLP DOI BibTeX RDF	Value ordering, Quantified CSPs, Backtracking search
40	Jian Gao, Jigui Sun, Yonggang Zhang	An Improved Concurrent Search Algorithm for Distributed CSPs.	Australian Conference on Artificial Intelligence	2007	DBLP DOI BibTeX RDF	Concurrent search, Distributed CSPs, Dynamic variable ordering, Look-ahead strategy
40	Thierry Vidal, Hélène Fargier	Contingent Durations in Temporal CSPs: From Consistency to Controllabilities.	TIME	1997	DBLP DOI BibTeX RDF	temporal CSPs, Temporal Constraint Networks, classical network consistency property, Strong, Weak, reasoning issues, tractable subclasses, complexity, controllability, controllability, Dynamic
38	Esben Rune Hansen	Encoding CSPs with Zero-Suppressed Decision Diagrams.	ICTAI (1)	2008	DBLP DOI BibTeX RDF
38	Kostas Stergiou 0001	Strong Inverse Consistencies for Non-Binary CSPs.	ICTAI (1)	2007	DBLP DOI BibTeX RDF
38	Qingyun Yang, Jigui Sun, Juyang Zhang, Chunjie Wang	A Hybrid Discrete Particle Swarm Algorithm for Hard Binary CSPs.	ICNC (2)	2006	DBLP DOI BibTeX RDF
38	Fahiem Bacchus	CSPs: Adding Structure to SAT.	SAT	2006	DBLP DOI BibTeX RDF
38	Thanasis Balafoutis, Kostas Stergiou 0001	Algorithms for Stochastic CSPs.	CP	2006	DBLP DOI BibTeX RDF
38	Malek Mouhoub	Solving Dynamic CSPs.	Canadian AI	2004	DBLP DOI BibTeX RDF	Dynamic Arc Consistency, Constraint Satisfaction
38	Wanlin Pang, Scott D. Goodwin	A Graph Based Backtracking Algorithm for Solving General CSPs.	AI	2003	DBLP DOI BibTeX RDF
38	Malek Mouhoub	Arc Consistency for Dynamic CSPs.	KES	2003	DBLP DOI BibTeX RDF	Dynamic Arc Consistency, Search, Constraint Satisfaction
38	Iain McDonald	Optimum Symmetry Breaking in CSPs Using Group Theory.	CP	2001	DBLP DOI BibTeX RDF
38	Nikos Mamoulis, Kostas Stergiou 0001	Solving Non-binary CSPs Using the Hidden Variable Encoding.	CP	2001	DBLP DOI BibTeX RDF
38	Andrea Panati	Non Binary CSPs and Heuristics for Modeling and Diagnosing Dynamic Systems.	AI*IA	1999	DBLP DOI BibTeX RDF	constraint programming heuristics, non-binary constraints, diagnosis, qualitative modeling
34	Nic Wilson	A logic of soft constraints based on partially ordered preferences.	J. Heuristics	2006	DBLP DOI BibTeX RDF	Semiring-based CSPs, Preferences, Soft constraints, Possibilistic logic
34	Manuel Cebrián, Iván Dotú	GRASP - evolution for constraint satisfaction problems.	GECCO	2006	DBLP DOI BibTeX RDF	evolutionary combinatorial optimization, random binary CSPs, heuristics, hybridization, constraint handling
34	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
34	Steven G. Woods, Qiang Yang 0001	The Program Understanding Problem: Analysis and a Heuristic Approach.	ICSE	1996	DBLP BibTeX RDF	complex source code, formal complexity results, heuristic solutions, problem solving model, program understanding problem, computational complexity, reverse engineering, conceptual models, NP hard, CSPs, search problems, constraint satisfaction problems, constraint propagation, search algorithms, constraint handling, heuristic approach
33	Aleksa Stankovic	On regularity of Max-CSPs and Min-CSPs.	Inf. Process. Lett.	2022	DBLP DOI BibTeX RDF
33	Alexandr Kazda, Peter Mayr 0001, Dmitriy Zhuk	Small Promise CSPs that reduce to large CSPs.	Log. Methods Comput. Sci.	2022	DBLP DOI BibTeX RDF
33	Aleksa Stankovic	On Regularity of Max-CSPs and Min-CSPs.	CoRR	2020	DBLP BibTeX RDF
33	Fadoua Chakchouk	Contribution à la robustesse dans les CSPs distribués par réplication locale. (Contribution to robustness in distributed CSPs by local replication).		2018	RDF
33	Laura Climent, Richard J. Wallace, Miguel A. Salido, Federico Barber	Modeling Robustness in CSPs as Weighted CSPs.	CPAIOR	2013	DBLP DOI BibTeX RDF
33	Stefano Bistarelli, Ugo Montanari, Francesca Rossi 0001, Thomas Schiex, Gérard Verfaillie, Hélène Fargier	Semiring-Based CSPs and Valued CSPs: Frameworks, Properties, and Comparison.	Constraints An Int. J.	1999	DBLP DOI BibTeX RDF
33	Gadi Solotorevsky	From Evaluating Upper Bounds of the Complexity of Solving CSPs to Finding All the Solutions of CSPs.	CP	1996	DBLP DOI BibTeX RDF
33	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
32	Pierre Flener, Justin Pearson, Meinolf Sellmann, Pascal Van Hentenryck, Magnus Ågren 0002	Dynamic structural symmetry breaking for constraint satisfaction problems.	Constraints An Int. J.	2009	DBLP DOI BibTeX RDF	Dominance detection, CSP, Tractability, Symmetry breaking
32	Miki Hermann, Florian Richoux	On the Computational Complexity of Monotone Constraint Satisfaction Problems.	WALCOM	2009	DBLP DOI BibTeX RDF
32	San-Tsai Sun, Kirstie Hawkey, Konstantin Beznosov	Towards Enabling Web 2.0 Content Sharing beyond Walled Gardens.	CSE (4)	2009	DBLP DOI BibTeX RDF
32	Simon J. E. Taylor, Stephen John Turner, Steffen Straßburger	Guidelines for commercial off-the-shelf Simulation Package interoperability.	WSC	2008	DBLP DOI BibTeX RDF
32	Alun D. Preece, Stuart W. Chalmers, Craig McKenzie, Jeff Z. Pan, Peter M. D. Gray	A semantic web approach to handling soft constraints in virtual organisations.	ICEC	2006	DBLP DOI BibTeX RDF	semantic web, virtual organisations, soft constraints
32	Jia-Huai You, Guohua Liu, Li-Yan Yuan, Curtis Onuczko	Lookahead in Smodels Compared to Local Consistencies in CSP.	LPNMR	2005	DBLP DOI BibTeX RDF
32	Jia-Huai You, Guiwen Hou	Arc-Consistency + Unit Propagation = Lookahead.	ICLP	2004	DBLP DOI BibTeX RDF
32	Assef Chmeiss, Lakhdar Sais	Constraint Satisfaction Problems: Backtrack Search Revisited.	ICTAI	2004	DBLP DOI BibTeX RDF
32	Hisashi Handa	Hybridization of Estimation of Distribution Algorithms with a Repair Method for Solving Constraint Satisfaction Problems.	GECCO	2003	DBLP DOI BibTeX RDF
32	Peter Harvey, Aditya Ghose	Reducing Redundancy in the Hypertree Decomposition Scheme.	ICTAI	2003	DBLP DOI BibTeX RDF
32	Michael C. Horsch, William S. Havens, Aditya Ghose	Generalized Arc Consistency with Application to MaxCSP.	AI	2002	DBLP DOI BibTeX RDF
32	Lars Engebretsen, Venkatesan Guruswami	Is Constraint Satisfaction Over Two Variables Always Easy?	RANDOM	2002	DBLP DOI BibTeX RDF
32	Nico Roos, Yongping Ran, H. Jaap van den Herik	Combining Local Search and Constraint Propagation to Find a Minimal Change Solution for a Dynamic CSP.	AIMSA	2000	DBLP DOI BibTeX RDF
32	Toby Walsh	SAT v CSP.	CP	2000	DBLP DOI BibTeX RDF
32	Karsten Konrad, David A. Wolfram	System Description: Kimba, A Model Generator for Many-Valued First-Order Logics.	CADE	1999	DBLP DOI BibTeX RDF
32	Matt Vernooy, William S. Havens	An Examination of Probabilistic Value-Ordering Heuristics.	Australian Joint Conference on Artificial Intelligence	1999	DBLP DOI BibTeX RDF
32	Peter J. Stuckey, Vincent W. L. Tam	Extending EGENET with Lazy Constraint Consistency.	ICTAI	1997	DBLP DOI BibTeX RDF	extended EGENET, lazy constraint consistency, neural network simulator, min-conflict heuristic, hard graph-colouring problems, complete search methods, stochastic search methods, convergence behaviour, scheduling, planning (artificial intelligence), planning, constraint satisfaction problems, bin-packing, arc consistency, search behaviour
32	James M. Conrad, Dennis R. Bahler, James Bowen	Static Parallel Arc Consistency in Constraint Satisfaction.	ISMIS	1991	DBLP DOI BibTeX RDF
30	Qilian Liang, Wei Wang 0180, Xin Liu 0009, Zhenyu Na, Min Jia, Baoju Zhang (eds.)	Communications, Signal Processing, and Systems - Proceedings of the 8th International Conference on Communications, Signal Processing, and Systems, CSPS 2019, Urumqi, China, 20-22 July 2019.	CSPS	2020	DBLP DOI BibTeX RDF
30	Qilian Liang, Xin Liu 0009, Zhenyu Na, Wei Wang 0180, Jiasong Mu, Baoju Zhang (eds.)	Communications, Signal Processing, and Systems - Proceedings of the 2018 CSPS, Volume II: Signal Processing, Dalian, China, 14-16 July 2018.	CSPS (2)	2020	DBLP DOI BibTeX RDF
30	Qilian Liang, Xin Liu 0009, Zhenyu Na, Wei Wang 0180, Jiasong Mu, Baoju Zhang (eds.)	Communications, Signal Processing, and Systems - Proceedings of the 2018 CSPS, Volume III: Systems, Dalian, China, 14-16 July 2018.	CSPS (3)	2020	DBLP DOI BibTeX RDF
30	Qilian Liang, Xin Liu 0009, Zhenyu Na, Wei Wang 0180, Jiasong Mu, Baoju Zhang (eds.)	Communications, Signal Processing, and Systems - Proceedings of the 2018 CSPS, Volume I: Communications, Dalian, China, 14-16 July 2018.	CSPS (1)	2019	DBLP DOI BibTeX RDF
30	Qilian Liang, Jiasong Mu, Min Jia, Wei Wang 0180, Xuhong Feng, Baoju Zhang (eds.)	Communications, Signal Processing, and Systems - Proceedings of the 2017 International Conference on Communications, Signal Processing, and Systems, CSPS 2017, Harbin, China, 14-16 July 2017.	CSPS	2019	DBLP DOI BibTeX RDF
30	Jiaying Wang, Yaochi Zhao, Yu Wang, Wei Chen, Hui Li, Yugui Han, Zhuhua Hu	Marked Watershed Algorithm Combined with Morphological Preprocessing Based Segmentation of Adherent Spores.	CSPS	2019	DBLP DOI BibTeX RDF
30	Mingyang Cui, Weixia Zou, Ran Zhang	Hybrid Precoding Based on Phase Extraction for Partially-Connected mmWave MIMO Systems.	CSPS	2019	DBLP DOI BibTeX RDF
30	Lanjun Li, Jing Liang	An Optimal Deployment Strategy for Radars and Infrared Sensors in Target Tracking.	CSPS	2019	DBLP DOI BibTeX RDF
30	Bowen Zhong, Wenbin Zhang 0001, Shaochuan Wu, Qiuyue Zhu	SVR Based Nonlinear PA Equalization in MIMO System with Rayleigh Channel.	CSPS	2019	DBLP DOI BibTeX RDF
30	Zheng Hui, Quan Zhou	A Novel Spatial Domain Based Steganography Scheme Against Digital Image Compression.	CSPS	2019	DBLP DOI BibTeX RDF
30	Guanghua Zhang, Jian Li, Jingqiu Ren, Weidang Lu	Optimum Design of Intersatellite Link Based on STK.	CSPS	2019	DBLP DOI BibTeX RDF
30	Yang Li 0045, Licheng Yang, Xiaonan Zhao, Bo Zhang 0033, Cheng Wang 0018	Study on Two Types of Sensor Antennas for an Intelligent Health Monitoring System.	CSPS	2019	DBLP DOI BibTeX RDF
30	Qiang Mu, Hongwei Shi, Jinyuan Ma, Meishan Chen	Integrated Design of High Speed Uplink and Emergency Telemetry and Control for LEO Satellite.	CSPS	2019	DBLP DOI BibTeX RDF
30	Shuang Liu 0001, Mei Li, Zhong Zhang 0001, Xiaozhong Cao	Evaluation on Learning Strategies for Multimodal Ground-Based Cloud Recognition.	CSPS	2019	DBLP DOI BibTeX RDF
30	Jinhui Dai, Junkun Yan, Penghui Wang, Hongwei Liu 0001	Integrated Detection and Tracking in Asynchronous Moving Radar Network.	CSPS	2019	DBLP DOI BibTeX RDF
30	Liang Zhao 0015, Zexin Zhang, Tianyi Zhao, Jili Zhang	A Network Adapter for Computing Process Node in Decentralized Building Automation System.	CSPS	2019	DBLP DOI BibTeX RDF
30	Wei-Cheng Xue, Yu Hua, Jun Ju	Localization Algorithm Based on FM for Mobile Wireless Sensor Networks.	CSPS	2019	DBLP DOI BibTeX RDF
30	Yinjing Guo, Manlin Zhang, Fong Kang, Wenjian Yang, Yujie Zhou	Multi-sensor Data Fusion Using Adaptive Kalman Filter.	CSPS	2019	DBLP DOI BibTeX RDF
30	Qiuyue Zhu, Wenbin Zhang 0001, Lingzhi Liu, Bowen Zhong, Shaochuan Wu	Performance Analysis for Beamspace MIMO-NOMA System.	CSPS	2019	DBLP DOI BibTeX RDF
30	Peng Qin, Jianming Li, Xiaohong Xue, Hongmei Zhang, Chang Jiang, Yunlong Wang	A Green and High Efficient Architecture for Ground Information Port with SDN.	CSPS	2019	DBLP DOI BibTeX RDF
30	Yong Wang, Lei Zhang, Xiarong Zhu	A Two-Phase Fault Diagnosis Algorithm Based on Convolutional Neural Network for Heterogeneous Wireless.	CSPS	2019	DBLP DOI BibTeX RDF
30	Boyuan Wang, Xuelin Liu, Baoguo Yu, Ruicai Jia, Lu Huang, Haonan Jia	An Improved PDR/WiFi Integration Method for Indoor Pedestrian Localization.	CSPS	2019	DBLP DOI BibTeX RDF
30	Zhihong Zhang, Hong He	Research on Switching Power Supply Based on Soft Switching Technology.	CSPS	2019	DBLP DOI BibTeX RDF
30	Linqing Shi, Danyang Liu, Gongshen Liu, Kui Meng	AUG-BERT: An Efficient Data Augmentation Algorithm for Text Classification.	CSPS	2019	DBLP DOI BibTeX RDF
30	Shiyi Zhang, Yinghua Ma, Shenghong Li 0001, Weikai Sun	Collaborative Attention Network for Natural Language Inference.	CSPS	2019	DBLP DOI BibTeX RDF
30	Anliang Liu, Haichao Wei, Zhenyu Na, Hongxi Yin	A Hybrid TWDM-RoF Transmission System Based on a Sub-Central Station.	CSPS	2019	DBLP DOI BibTeX RDF
30	Guangying Wang, Qiyishu Li, Xiangbin Yu 0001	Computation Task Offloading for Minimizing Energy Consumption with Mobile Edge Computing.	CSPS	2019	DBLP DOI BibTeX RDF
30	Yiwen Tao, Qingyue Zhang, Bin Li 0002, Chenglin Zhao	Multiple UAV Assisted Cellular Network: Localization and Access Strategy.	CSPS	2019	DBLP DOI BibTeX RDF