Search results for "CSP"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
15	Malek Mouhoub	Arc Consistency for Dynamic CSPs.	KES	2003	DBLP DOI BibTeX RDF	Dynamic Arc Consistency, Search, Constraint Satisfaction
15	Chavalit Likitvivatanavong	Exploiting Microstructure in CSPs.	CP	2003	DBLP DOI BibTeX RDF
15	Hans Schlenker	Distributed Constraint-Based Railway Simulation.	CP	2003	DBLP DOI BibTeX RDF
15	Jean-Francois Puget	Symmetry Breaking Using Stabilizers.	CP	2003	DBLP DOI BibTeX RDF
15	Iain McDonald	NuSBDS: An Easy to Use Symmetry Breaking System.	CP	2003	DBLP DOI BibTeX RDF
15	Martin James Green, David A. Cohen	Tractability by Approximating Constraint Languages.	CP	2003	DBLP DOI BibTeX RDF
15	Ola Angelsmark, Peter Jonsson	Improved Algorithms for Counting Solutions in Constraint Satisfaction Problems.	CP	2003	DBLP DOI BibTeX RDF
15	Marluce Rodrigues Pereira, Patrícia Kayser Vargas, Felipe M. G. França, Maria Clicia Stelling de Castro, Inês de Castro Dutra	Applying Scheduling by Edge Reversal to Constraint Partitioning.	SBAC-PAD	2003	DBLP DOI BibTeX RDF
15	S. Hamissi, M. Babes	A Neural Approach for Solving the Constraint Satisfaction Problem.	GMAG	2003	DBLP DOI BibTeX RDF	Neural Networks, Artificial Intelligence, Heuristics, Constraint Satisfaction Problem
15	Katarina Britz, Johannes Heidema	Semiring-Valued Satisfiability.	Australian Conference on Artificial Intelligence	2003	DBLP DOI BibTeX RDF
15	Lars Engebretsen, Venkatesan Guruswami	Is Constraint Satisfaction Over Two Variables Always Easy?	RANDOM	2002	DBLP DOI BibTeX RDF
15	Barbara M. Smith	A Dual Graph Translation of a Problem in 'Life'.	CP	2002	DBLP DOI BibTeX RDF
15	Miguel A. Salido, Federico Barber	Disjunctive and Continuous Constraint Satisfaction Problems.	CP	2002	DBLP DOI BibTeX RDF
15	David G. Mitchell	Resolution Complexity of Random Constraints.	CP	2002	DBLP DOI BibTeX RDF
15	Inês Lynce, João Marques-Silva 0001	The Effect of Nogood Recording in DPLL-CBJ SAT Algorithms.	International Workshop on Constraint Solving and Constraint Logic Programming	2002	DBLP DOI BibTeX RDF
15	Alan M. Frisch, Ian Miguel, Toby Walsh	CGRASS: A System for Transforming Constraint Satisfaction Problems.	International Workshop on Constraint Solving and Constraint Logic Programming	2002	DBLP DOI BibTeX RDF
15	Berthe Y. Choueiry, Amy M. Davis	Dynamic Bundling: Less Effort for More Solutions.	SARA	2002	DBLP DOI BibTeX RDF
15	Philippe Codognet, Daniel Diaz 0001	Yet Another Local Search Method for Constraint Solving.	SAGA	2001	DBLP DOI BibTeX RDF	combinatorial optimization, Local search, constraint solving, search algorithms
15	Ramón Béjar, Alba Cabiscol, Cèsar Fernández, Felip Manyà, Carla P. Gomes	Capturing Structure with Satisfiability.	CP	2001	DBLP DOI BibTeX RDF
15	Barbara M. Smith	Dual Models of Permutation Problems.	CP	2001	DBLP DOI BibTeX RDF
15	Rina Dechter, Kalev Kask, Javier Larrosa	A General Scheme for Multiple Lower Bound Computation in Constraint Optimization.	CP	2001	DBLP DOI BibTeX RDF
15	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
15	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
15	Joy N. Reed, Jane E. Sinclair	Combining Independent Specifications.	FASE	2001	DBLP DOI BibTeX RDF
15	X. Wang, Shing-Chi Cheung, J. Wei	On the Modelling of Document Exchange Processes in E-Commerce Protocols.	APAQS	2001	DBLP DOI BibTeX RDF
15	Meriema Belaidouni, Jin-Kao Hao	An Analysis of the Configuration Space of the Maximal Constraint Satisfaction Problem.	PPSN	2000	DBLP DOI BibTeX RDF
15	Kurt Mehlhorn, Mark Ziegelmann	Resource Constrained Shortest Paths.	ESA	2000	DBLP DOI BibTeX RDF
15	Fahiem Bacchus	Extending Forward Checking.	CP	2000	DBLP DOI BibTeX RDF
15	Javier Larrosa	Boosting Search with Variable Elimination.	CP	2000	DBLP DOI BibTeX RDF
15	Aomar Osmani, François Lévy	A Constraint-Based Approach to Simulate Faults in Telecommunication Networks.	IEA/AIE	2000	DBLP DOI BibTeX RDF
15	Timo Soininen, Ilkka Niemelä	Developing a Declarative Rule Language for Applications in Product Configuration.	PADL	1999	DBLP DOI BibTeX RDF
15	Brendan P. Mahony, Jin Song Dong	Sensors and Actuators in TCOZ.	World Congress on Formal Methods	1999	DBLP DOI BibTeX RDF
15	Andrés Terrasa, Ana García-Fornes	Real-Time Synchronization Between Hard and Soft Tasks in RT-Linux.	RTCSA	1999	DBLP DOI BibTeX RDF	real-time synchronization, real-time operating systems, priority inheritance
15	Jon M. Kerridge, Peter H. Welch, David Wood	Synchronization Primitives for Highly Parallel Discrete Event Simulations.	HICSS	1999	DBLP DOI BibTeX RDF
15	Nagu R. Dhanwada, Ranga Vemuri	Constraint Allocation in Analog System Synthesis.	VLSI Design	1998	DBLP DOI BibTeX RDF
15	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
15	Wing Lok Yeung	Denotational Semantics for JSD.	APSEC	1997	DBLP DOI BibTeX RDF
15	Zineb Habbas, Francine Herrmann, Pierre-Paul Mérel, Daniel Singer	Load Balancing strategies for Parallel Forward Search Algorithm with Conflict Based Backjumping.	ICPADS	1997	DBLP DOI BibTeX RDF
15	Georgios K. Theodoropoulos 0001, G. Tsakogiannis, J. V. Woods	Occam: An Asynchronous Hardware Description Language?	EUROMICRO	1997	DBLP DOI BibTeX RDF
15	Debanjan Saha, Anupam Basu, Raj S. Mitra	Hardware Software Partitioning Using Genetic Algorithm.	VLSI Design	1997	DBLP DOI BibTeX RDF	specification partitioning, genetic algorithm, software engineering, embedded systems, CAD, constraint satisfaction problem, hardware software co-design, hardware software partitioning
15	Jörn Altmann, András Pataricza, Tamás Bartha, Péter Urbán, A. Petri	Constraint Based System-Level Diagnosis of Multiprocessors.	EDCC	1996	DBLP DOI BibTeX RDF
15	Karen Seidel 0002	Case Study: Specification and Refinement of the PI-Bus.	FME	1994	DBLP DOI BibTeX RDF
15	John Wilkes	DataMesh, House-Building, and Distributed Systems Technology.	ACM SIGOPS Oper. Syst. Rev.	1993	DBLP DOI BibTeX RDF
15	Jun Gu, Wei Wang	A Novel Discrete Relaxation Architecture.	IEEE Trans. Pattern Anal. Mach. Intell.	1992	DBLP DOI BibTeX RDF	discrete relaxation algorithm, sequential AC-1 algorithm, sequential AC-4 algorithm, parallel DRA5 algorithm, parallel algorithms, computational complexity, parallel architectures, time complexity, polynomial, polynomials
15	D. K. Arvind 0001, J. Knight	Detection of Concurrency-Related Errors in Joyce.	CONPAR	1992	DBLP DOI BibTeX RDF
15	Henrik Reif Andersen, Glynn Winskel	Compositional Checking of Satisfaction.	CAV	1991	DBLP DOI BibTeX RDF
15	Antti Valmari, Matthew Clegg	Reduced Labelled Transition Systems Save Verification Effort.	CONCUR	1991	DBLP DOI BibTeX RDF
15	Franco Torquati, Massimo Paltrinieri, Alberto Momigliano	A Constraint Satisfaction Approach to Operative Management of Aircraft Routing.	IEA/AIE (Vol. 2)	1990	DBLP DOI BibTeX RDF
15	George M. Reed	A Hierarchy of Domains for Real-Time Distributed Computing.	Mathematical Foundations of Programming Semantics	1989	DBLP DOI BibTeX RDF
15	Chang Li	Concurrent programming language - LISPTALK.	ACM SIGPLAN Notices	1988	DBLP DOI BibTeX RDF
15	E. Pascal Gribomont	Proving Systolic Arrays.	CAAP	1988	DBLP DOI BibTeX RDF
15	E. Pascal Gribomont	Design and Proof of Communicating Sequential Processes.	PARLE (2)	1987	DBLP DOI BibTeX RDF
15	John H. Reif, Paul G. Spirakis	Probabilistic Bidding Gives Optimal Distributed Resource Allocation.	ICALP	1984	DBLP DOI BibTeX RDF
14	Lichen Zhang	Formal Specification for Real Time Cyber Physical Systems Using Aspect-Oriented Approach.	TASE	2011	DBLP DOI BibTeX RDF	Real Time, Formal Method, Aspect-oriented, Object-Z, Cyber Physical Systems, Timed-CSP
14	Hélène Fargier, Nic Wilson	Local Computation Schemes with Partially Ordered Preferences.	ECSQARU	2009	DBLP DOI BibTeX RDF	Soft CSP, Valuation networks/algebra, Dynamical programming
14	Jun Sun 0001, Yang Liu 0003, Jin Song Dong, Jing Sun 0002	Compositional encoding for bounded model checking.	Frontiers Comput. Sci. China	2008	DBLP DOI BibTeX RDF	Communication Sequential Processes (CSP), Linear Temporal Logic (LTL), bounded model checking
14	Ming Mao, Yefei Peng, Michael Spring	Integrating the IAC neural network in ontology mapping.	WWW	2008	DBLP DOI BibTeX RDF	interactive activation and competition (IAC) neural network, prior+, constraint satisfaction problem (csp), ontology mapping
14	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
14	Éric Monfroy, Frédéric Saubion, Broderick Crawford, Carlos Castro 0001	A Theoretical Framework for Local Search Techniques.	CSE	2008	DBLP DOI BibTeX RDF	Constraint Satisfaction Problem (CSP), Local Search, Constraint Solving
14	Per Austrin, Elchanan Mossel	Approximation Resistant Predicates from Pairwise Independence.	CCC	2008	DBLP DOI BibTeX RDF	Max k-CSP, Approximation Resistance, Pairwise Independence, Unique Games Conjecture
14	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
14	Marc R. C. van Dongen	Saving Support-Checks Does Not Always Save Time.	Artif. Intell. Rev.	2004	DBLP DOI BibTeX RDF	maintain arc-consistency, Abbrevations:, CSP - constraint satisfaction problem, MAC - maintain arc consistency, RLFAP - radio link frequency assignment problem, search, heuristics, constraint satisfaction, time-complexity, space-complexity
14	S. Durga Bhavani, Arun K. Pujari	EvIA - Evidential Interval Algebra and Heuristic Backtrack-Free Algorithm.	Constraints An Int. J.	2004	DBLP DOI BibTeX RDF	temporal CSP, heuristics, consistency checking, evidential reasoning
14	Markus P. Thiel, Taïeb Mellouli, Yufeng Guo	Partially Integrated Airline Crew Scheduling for Team-oriented Rostering.	OR	2004	DBLP DOI BibTeX RDF	crew scheduling (CSP), integrated crew scheduling, crew assignment (CAP), crew rostering (CRP), team-oriented rostering (ToRP), team changes, airline
14	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
14	Patrick M. Lenders	A Generalized Message-Passing Mechanism for Communicating Sequential Processes.	IEEE Trans. Computers	1988	DBLP DOI BibTeX RDF	bidirectional message passing, generalized message-passing mechanism, symmetric communication mechanism, CSP-like syntax, weakest-precondition semantics, parallel processing, synchronization, distributed processing, systolic arrays, systolic arrays, trees (mathematics), tree structure, communicating sequential processes, concurrent processes, communication primitives
13	Wenxiong Li, Rong Geng, Suiyin Chen	CSP-free adaptive Kriging surrogate model method for reliability analysis with small failure probability.	Reliab. Eng. Syst. Saf.	2024	DBLP DOI BibTeX RDF
13	Dmitriy Zhuk	A simplified proof of the CSP Dichotomy Conjecture and XY-symmetric operations.	CoRR	2024	DBLP DOI BibTeX RDF
13	Bart M. P. Jansen, Michal Wlodarczyk 0001	Optimal Polynomial-Time Compression for Boolean Max CSP.	ACM Trans. Comput. Theory	2024	DBLP DOI BibTeX RDF
13	Euiwoong Lee, Pasin Manurangsi	Hardness of Approximating Bounded-Degree Max 2-CSP and Independent Set on k-Claw-Free Graphs.	ITCS	2024	DBLP DOI BibTeX RDF
13	Karthik C. S., Dániel Marx, Marcin Pilipczuk, Uéverton S. Souza	Conditional lower bounds for sparse parameterized 2-CSP: A streamlined proof.	SOSA	2024	DBLP DOI BibTeX RDF
13	James Baxter 0001, Ana Cavalcanti 0001, Maciej Gazda, Robert M. Hierons	Testing using CSP Models: Time, Inputs, and Outputs.	ACM Trans. Comput. Log.	2023	DBLP DOI BibTeX RDF
13	N. Alizadeh, Sajjad Afrakhteh, Mohammad Reza Mosavi	Multi-Task EEG Signal Classification Using Correlation-Based IMF Selection and Multi-Class CSP.	IEEE Access	2023	DBLP DOI BibTeX RDF
13	Muzammil Ahmad Khan, Shariq Mahmood Khan, Siva Kumar Subramaniam	Secured Dynamic Request Scheduling and Optimal CSP Selection for Analyzing Cloud Service Performance Using Intelligent Approaches.	IEEE Access	2023	DBLP DOI BibTeX RDF
13	Qin Jiang, Yi Zhang 0053, Gengyu Ge, Zhirong Xie	Corrections to "An Adaptive CSP and Clustering Classification for Online Motor Imagery EEG".	IEEE Access	2023	DBLP DOI BibTeX RDF
13	Yugang Qin, Yurong Qian, Hongyang Wei, Yingying Fan, Peiyun Feng	FE-CSP: a fast and efficient pedestrian detector with center and scale prediction.	J. Supercomput.	2023	DBLP DOI BibTeX RDF
13	Junya Xu, Jiaqi Yin, Huibiao Zhu, Lili Xiao	Formalization and verification of Kafka messaging mechanism using CSP.	Comput. Sci. Inf. Syst.	2023	DBLP DOI BibTeX RDF
13	Esther Rani P., Sri Jamiya S	ShortYOLO-CSP: a decisive incremental improvement for real-time vehicle detection.	J. Real Time Image Process.	2023	DBLP DOI BibTeX RDF
13	Gerard Ekembe Ngondi	Semantics of dynamic hiding in mobile UTP-CSP.	Theor. Comput. Sci.	2023	DBLP DOI BibTeX RDF
13	Julio Herce-Zelaya, Carlos Porcel, Álvaro Tejeda-Lorente, Juan Bernabé-Moreno, Enrique Herrera-Viedma	Introducing CSP Dataset: A Dataset Optimized for the Study of the Cold Start Problem in Recommender Systems.	Inf.	2023	DBLP DOI BibTeX RDF
13	Loïc Crombez, Guilherme Dias da Fonseca, Florian Fontan, Yan Gerard, Aldo Gonzalez-Lorenzo, Pascal Lafourcade 0001, Luc Libralesso, Benjamin Momège, Jack Spalding-Jamieson, Brandon Zhang, Da Wei Zheng	Conflict Optimization for Binary CSP Applied to Minimum Partition into Plane Subgraphs and Graph Coloring.	ACM J. Exp. Algorithmics	2023	DBLP DOI BibTeX RDF
13	Venkatesan Guruswami, Xuandi Ren, Sai Sandeep	Baby PIH: Parameterized Inapproximability of Min CSP.	Electron. Colloquium Comput. Complex.	2023	DBLP BibTeX RDF
13	Zouhayra Ayadi, Wadii Boulila, Imed Riadh Farah	Modeling Complex Object Changes in Satellite Image Time-Series: Approach based on CSP and Spatiotemporal Graph.	CoRR	2023	DBLP DOI BibTeX RDF
13	Matteo Golinelli, Francesco Bonomi, Bruno Crispo	The Nonce-nce of Web Security: an Investigation of CSP Nonces Reuse.	CoRR	2023	DBLP DOI BibTeX RDF
13	Tamás Kátay, László Márton Tóth, Zoltán Vidnyánszky	The CSP Dichotomy, the Axiom of Choice, and Cyclic Polymorphisms.	CoRR	2023	DBLP DOI BibTeX RDF
13	Ivan Prokic, Silvia Ghilezan, Simona Kasterovic, Miroslav Popovic, Marko Popovic, Ivan Kastelan	Correct orchestration of Federated Learning generic algorithms: formalisation and verification in CSP.	CoRR	2023	DBLP DOI BibTeX RDF
13	Omar Alrabiah, Venkatesan Guruswami, Pravesh K. Kothari, Peter Manohar	A Near-Cubic Lower Bound for 3-Query Locally Decodable Codes from Semirandom CSP Refutation.	CoRR	2023	DBLP DOI BibTeX RDF
13	Miroslav Popovic, Marko Popovic, Branislav Kordic, Huibiao Zhu	PSTM Transaction Scheduler Verification Based on CSP and Testing.	CoRR	2023	DBLP DOI BibTeX RDF
13	Gengchen Mai, Ni Lao, Yutong He, Jiaming Song, Stefano Ermon	CSP: Self-Supervised Contrastive Spatial Pre-Training for Geospatial-Visual Representations.	CoRR	2023	DBLP DOI BibTeX RDF
13	Yuni Iwamasa, Yusuke Kobayashi 0001, Kenjiro Takazawa	Finding a Maximum Restricted t-Matching via Boolean Edge-CSP.	CoRR	2023	DBLP DOI BibTeX RDF
13	Euiwoong Lee, Pasin Manurangsi	Hardness of Approximating Bounded-Degree Max 2-CSP and Independent Set on k-Claw-Free Graphs.	CoRR	2023	DBLP DOI BibTeX RDF
13	Venkatesan Guruswami, Xuandi Ren, Sai Sandeep	Baby PIH: Parameterized Inapproximability of Min CSP.	CoRR	2023	DBLP DOI BibTeX RDF
13	Karthik C. S., Dániel Marx, Marcin Pilipczuk, Uéverton S. Souza	Conditional lower bounds for sparse parameterized 2-CSP: A streamlined proof.	CoRR	2023	DBLP DOI BibTeX RDF
13	Loïc Crombez, Guilherme Dias da Fonseca, Florian Fontan, Yan Gerard, Aldo Gonzalez-Lorenzo, Pascal Lafourcade 0001, Luc Libralesso, Benjamin Momège, Jack Spalding-Jamieson, Brandon Zhang, Da Wei Zheng	Conflict Optimization for Binary CSP Applied to Minimum Partition into Plane Subgraphs and Graph Coloring.	CoRR	2023	DBLP DOI BibTeX RDF
13	Danial Alizadeh, Hesam Omranpour	EM-CSP: An efficient multiclass common spatial pattern feature method for speech imagery EEG signals recognition.	Biomed. Signal Process. Control.	2023	DBLP DOI BibTeX RDF
13	Miguel Angel Pérez-Cutiño, Juan Sebastián Valverde, José Miguel Díaz-Báñez	Detecting broken receiver tubes in CSP plants using intelligent sampling and dual loss.	Appl. Intell.	2023	DBLP DOI BibTeX RDF
13	Jan Dreier, Sebastian Ordyniak, Stefan Szeider	CSP beyond tractable constraint languages.	Constraints An Int. J.	2023	DBLP DOI BibTeX RDF
13	Benoît Ballenghien, Safouan Taha, Burkhart Wolff	HOL-CSPM - Architectural operators for HOL-CSP.	Arch. Formal Proofs	2023	DBLP BibTeX RDF
13	Jan Bækgaard Pedersen, Kevin Chalmers	Toward Verifying Cooperatively Scheduled Runtimes Using CSP.	Formal Aspects Comput.	2023	DBLP DOI BibTeX RDF
13	Paolo Crisafulli, Safouan Taha, Burkhart Wolff	Modeling and analysing Cyber-Physical Systems in HOL-CSP.	Robotics Auton. Syst.	2023	DBLP DOI BibTeX RDF