|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 1404 occurrences of 649 keywords
|
|
|
Results
Found 2636 publication records. Showing 2636 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
13 | Haofeng Yuan |
CSP & GCP for Column Generation. |
|
2023 |
DOI RDF |
|
13 | Julia Chuzhoy, Mina Dalirrooyfard, Vadim Grinberg, Zihan Tan |
A New Conjecture on Hardness of 2-CSP's with Implications to Hardness of Densest k-Subgraph and Other Problems. |
ITCS |
2023 |
DBLP DOI BibTeX RDF |
|
13 | Yingjia Du, Yuan Fei, Sini Chen, Huibiao Zhu |
Formalization and Verification of Data Auction Mechanism Based on Smart Contract Using CSP. |
SEKE |
2023 |
DBLP DOI BibTeX RDF |
|
13 | Peishan Huang, Weijiang Hong, Zhenbang Chen, Ji Wang 0001 |
CSP based Formal Modeling and Verification of Behavior Trees. |
QRS Companion |
2023 |
DBLP DOI BibTeX RDF |
|
13 | Jin-Yi Cai, Ben Young |
Planar #CSP Equality Corresponds to Quantum Isomorphism - A Holant Viewpoint. |
ICALP |
2023 |
DBLP DOI BibTeX RDF |
|
13 | Hans L. Bodlaender, Carla Groenland, Michal Pilipczuk |
Parameterized Complexity of Binary CSP: Vertex Cover, Treedepth, and Related Parameters. |
ICALP |
2023 |
DBLP DOI BibTeX RDF |
|
13 | Wei Lin, Sini Chen, Huibiao Zhu |
Formalization and Verification of MQTT-SN Communication Using CSP. |
ECBS |
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. |
ECBS |
2023 |
DBLP DOI BibTeX RDF |
|
13 | Shipeng Wang, Qingzhong Li, Lizhen Cui, Yali Jiang, Zhiqi Shen 0001, Han Yu 0001 |
CSP-RM: Reputation Management Decision Support for Crowdsourcing Service Providers. |
ICWS |
2023 |
DBLP DOI BibTeX RDF |
|
13 | Ning Qin, Hongyan Mao, Yiwen Liu, Kai Chen |
Modeling and Verifying Privacy-Preserving Authentication Scheme for VANET Using CSP. |
COMPSAC |
2023 |
DBLP DOI BibTeX RDF |
|
13 | Yixiao Lv, Jiaqi Yin, Sini Chen, Huibiao Zhu |
Formalization and Verification of the ICC Mechanism in Android System Using CSP. |
ISSREW |
2023 |
DBLP DOI BibTeX RDF |
|
13 | Wei Mu, Junkongshuai Wang, Lu Wang, Pengchao Wang, Jiaguan Han, Lan Niu, Jianxiong Bin, Lusheng Liu, Jing Zhang, Jie Jia, Lihua Zhang, Xiaoyang Kang 0001 |
A Channel Selection Method for Motor Imagery EEG Based on Fisher Score of OVR-CSP. |
BCI |
2023 |
DBLP DOI BibTeX RDF |
|
13 | Clément Boin, Tristan Groléat, Xavier Guillaume, Gilles Grimaud, Michaël Hauspie |
Scale matters: a Comparative Study of Datasets for DDoS Attack Detection in CSP Infrastructure. |
CloudNet |
2023 |
DBLP DOI BibTeX RDF |
|
13 | Yiwen Liu, Hongyan Mao, Ning Qin, Kai Chen |
Formalization and Verification of RocketMQ Using CSP. |
ICPADS |
2023 |
DBLP DOI 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 Graphs. |
KES |
2023 |
DBLP DOI BibTeX RDF |
|
13 | P. E. R. Bezerra, Marcel Vinícius Medeiros Oliveira, Thierry Lecomte, Dalay Israel de Almeida Pereira |
CSP Specification and Verification of a Relay-Based Railway Interlocking System. |
SBMF |
2023 |
DBLP DOI BibTeX RDF |
|
13 | Nibel Nadjeh, Sabrina Abdellaoui, Fahima Nader |
CSP-DC: Data Cleaning via Constraint Satisfaction Problem Solving. |
ICAART (2) |
2023 |
DBLP DOI BibTeX RDF |
|
13 | Maximilian Bels, Sven Löffler, Ilja Becker, Petra Hofstedt |
Constraint-Based Filtering and Evaluation of CSP Search Trees. |
ICAART (3) |
2023 |
DBLP DOI BibTeX RDF |
|
13 | Kexin Zheng, Ang Li, Han Zhang, T. K. Satish Kumar |
FastMapSVM for Predicting CSP Satisfiability. |
CP |
2023 |
DBLP DOI BibTeX RDF |
|
13 | Alejandro Pereira, Carlos Silva 0003, Marilton S. de Aguiar, Daniel Welfer, Marcelo Dias, Marcelo Ribeiro, Reza Ahmadi |
Detection of retinal microlesions through YOLOR-CSP architecture and image slicing with the SAHI algorithm. |
IJCNN |
2023 |
DBLP DOI BibTeX RDF |
|
13 | Zhiping Liang, Haolan Zhan |
CL-CSP: Contrastive Learning with Continuous Semantic Perturbations for Neural Dialogue Generation. |
IJCNN |
2023 |
DBLP DOI BibTeX RDF |
|
13 | Matteo Golinelli, Francesco Bonomi, Bruno Crispo |
The Nonce-nce of Web Security: An Investigation of CSP Nonces Reuse. |
ESORICS Workshops (2) |
2023 |
DBLP DOI BibTeX RDF |
|
13 | Joshua Brakensiek, Venkatesan Guruswami, Sai Sandeep |
SDPs and Robust Satisfiability of Promise CSP. |
STOC |
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. |
STOC |
2023 |
DBLP DOI BibTeX RDF |
|
13 | Lauri Hella |
The Expressive Power of CSP-Quantifiers. |
CSL |
2023 |
DBLP DOI BibTeX RDF |
|
13 | Jerrin Thomas Panachakel, Ranjana H, Sana Parveen K, Sidharth, Ashish Abraham Samuel |
CSP- LSTM Based Emotion Recognition from EEG Signals. |
MetroXRAINE |
2023 |
DBLP DOI BibTeX RDF |
|
13 | Arndt Kadelka, Gerd Zimmermann, Jan Plachý, Oliver Holschke |
A CSP's View on Opportunities and Challenges of Integrated Communications and Sensing. |
JC&S |
2023 |
DBLP DOI BibTeX RDF |
|
13 | Ying Liu |
Exponential Time Complexity of the Complex Weighted Boolean #CSP. |
COCOON (1) |
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. |
ICML |
2023 |
DBLP BibTeX RDF |
|
13 | Jan Tönshoff, Berke Kisin, Jakob Lindner, Martin Grohe |
One Model, Any CSP: Graph Neural Networks as Fast Global Search Heuristics for Constraint Satisfaction. |
IJCAI |
2023 |
DBLP DOI BibTeX RDF |
|
13 | Saeed Banaeian Far, Azadeh Imani Rad, Maryam Rajabzadeh Asaar |
BB-CSP: An Efficient Blockchain-Based Collective Salary Payment Framework Using Weighted Functional Encryption. |
SN Comput. Sci. |
2022 |
DBLP DOI BibTeX RDF |
|
13 | Wentao Li 0002, Liang Wei Li, Shi Yu Li, Jinchao Mou, Yong Qiang Hei |
Efficient Vertex Coordinate Prediction-Based CSP-Hourglass Net for Object OBB Detection in Remote Sensing. |
IEEE Geosci. Remote. Sens. Lett. |
2022 |
DBLP DOI BibTeX RDF |
|
13 | Yijing Guo, Yixin Zeng, Fengqiang Gao, Yi Qiu, Xuqiang Zhou, Linwei Zhong, Choujun Zhan |
Improved YOLOV4-CSP Algorithm for Detection of Bamboo Surface Sliver Defects With Extreme Aspect Ratio. |
IEEE Access |
2022 |
DBLP DOI BibTeX RDF |
|
13 | James Baxter 0001, Pedro Ribeiro 0002, Ana Cavalcanti 0001 |
Correction to: Sound reasoning in tock-CSP. |
Acta Informatica |
2022 |
DBLP DOI BibTeX RDF |
|
13 | James Baxter 0001, Pedro Ribeiro 0002, Ana Cavalcanti 0001 |
Sound reasoning in tock-CSP. |
Acta Informatica |
2022 |
DBLP DOI BibTeX RDF |
|
13 | Ningning Chen, Huibiao Zhu, Jiaqi Yin, Yuan Fei, Lili Xiao, Minghua Zhu |
Modeling and verifying NDN-based IoV using CSP. |
J. Softw. Evol. Process. |
2022 |
DBLP DOI BibTeX RDF |
|
13 | Ameen Abdelmutalab, Chunyan Wang 0004 |
Pedestrian Detection Using MB-CSP Model and Boosted Identity Aware Non-Maximum Suppression. |
IEEE Trans. Intell. Transp. Syst. |
2022 |
DBLP DOI BibTeX RDF |
|
13 | Omar Alrabiah, Venkatesan Guruswami, Pravesh Kothari, Peter Manohar |
A Near-Cubic Lower Bound for 3-Query Locally Decodable Codes from Semirandom CSP Refutation. |
Electron. Colloquium Comput. Complex. |
2022 |
DBLP BibTeX RDF |
|
13 | Pancha Yannick Hertz, Jérôme Folla Kamdem, Noumbissi Sidze Laure Vanessa, Wembe Tafo Evariste, Essimbi Zobo Bernard |
A PVT power immune compact 65 nm CMOS CSP design with a leakage current compensation feedback for CdZnTe/CdTe sensors dedicated to PET applications. |
Int. J. Circuit Theory Appl. |
2022 |
DBLP DOI BibTeX RDF |
|
13 | Ziyang Zheng, Ting Zhang, Zhaoying Liu, Bo Liu 0011, Yujian Li, Changming Sun |
Arbitrarily Oriented Object Detection in Remote Sensing Images Based on Improved YOLOv4-CSP. |
IEEE J. Sel. Top. Appl. Earth Obs. Remote. Sens. |
2022 |
DBLP DOI BibTeX RDF |
|
13 | Ben Young |
Equality on all #CSP Instances Yields Constraint Function Isomorphism via Interpolation and Intertwiners. |
CoRR |
2022 |
DBLP DOI BibTeX RDF |
|
13 | Jin-Yi Cai, Ben Young |
Planar #CSP Equality Corresponds to Quantum Isomorphism - A Holant Viewpoint. |
CoRR |
2022 |
DBLP DOI BibTeX RDF |
|
13 | Jan Tönshoff, Berke Kisin, Jakob Lindner, Martin Grohe |
One Model, Any CSP: Graph Neural Networks as Fast Global Search Heuristics for Constraint Satisfaction. |
CoRR |
2022 |
DBLP DOI BibTeX RDF |
|
13 | Ying Liu |
The Exponential-Time Complexity of the complex weighted #CSP. |
CoRR |
2022 |
DBLP BibTeX RDF |
|
13 | Ambroise Baril, Miguel Couceiro, Victor Lagerkvist |
Component twin-width as a parameter for BINARY-CSP and its semiring generalisations. |
CoRR |
2022 |
DBLP DOI BibTeX RDF |
|
13 | Joshua Brakensiek, Venkatesan Guruswami, Sai Sandeep |
SDPs and Robust Satisfiability of Promise CSP. |
CoRR |
2022 |
DBLP DOI BibTeX RDF |
|
13 | Julia Chuzhoy, Mina Dalirrooyfard, Vadim Grinberg, Zihan Tan |
A New Conjecture on Hardness of Low-Degree 2-CSP's with Implications to Hardness of Densest k-Subgraph and Other Problems. |
CoRR |
2022 |
DBLP DOI BibTeX RDF |
|
13 | Dara MacConville, Marie Farrell, Matt Luckcuck, Rosemary Monahan |
Modelling the Turtle Python library in CSP. |
AREA@IJCAI-ECAI |
2022 |
DBLP DOI BibTeX RDF |
|
13 | Hans L. Bodlaender |
The Parameterized Complexity Binary CSP for Graphs with a Small Vertex Cover and Related Results. |
CoRR |
2022 |
DBLP DOI BibTeX RDF |
|
13 | Miguel Angel Pérez-Cutiño, Juan Sebastián Valverde, José Miguel Díaz-Báñez |
Detecting broken Absorber Tubes in CSP plants using intelligent sampling and dual loss. |
CoRR |
2022 |
DBLP DOI BibTeX RDF |
|
13 | Gerard Ekembe Ngondi, Vasileios Koutavas, Andrew Butterfield |
From CCS to CSP: the m-among-n Synchronisation Approach. |
EXPRESS/SOS |
2022 |
DBLP DOI BibTeX RDF |
|
13 | Atta Ur Rahman, Abdallah Tubaishat, Feras N. Al-Obeidat, Zahid Halim, Madiha Tahir, Fawad Qayum |
Extended ICA and M-CSP with BiLSTM towards improved classification of EEG signals. |
Soft Comput. |
2022 |
DBLP DOI BibTeX RDF |
|
13 | Lili Xiao, Huibiao Zhu, Qiwen Xu, Phan Cong Vinh |
Modeling and Verifying PSO Memory Model Using CSP. |
Mob. Networks Appl. |
2022 |
DBLP DOI BibTeX RDF |
|
13 | Shaorong Zhang, Zhibin Zhu, Benxin Zhang, Bao Feng, Tianyou Yu, Zhi Li, Zhiguo Zhang, Gan Huang, Zhen Liang |
Overall optimization of CSP based on ensemble learning for motor imagery EEG decoding. |
Biomed. Signal Process. Control. |
2022 |
DBLP DOI BibTeX RDF |
|
13 | Victor Lagerkvist, Magnus Wahlström |
The (Coarse) Fine-Grained Structure of NP-Hard SAT and CSP Problems. |
ACM Trans. Comput. Theory |
2022 |
DBLP DOI BibTeX RDF |
|
13 | Hai Hu, Zihang Pu, Haohan Li, Zhexian Liu, Peng Wang |
Learning Optimal Time-Frequency-Spatial Features by the CiSSA-CSP Method for Motor Imagery EEG Classification. |
Sensors |
2022 |
DBLP DOI BibTeX RDF |
|
13 | Mary Judith Antony, Baghavathi Priya Sankaralingam, Rakesh Kumar Mahendran, Akber Abid Gardezi, Muhammad Shafiq 0002, Jin-Ghoo Choi, Habib Hamam |
Classification of EEG Using Adaptive SVM Classifier with CSP and Online Recursive Independent Component Analysis. |
Sensors |
2022 |
DBLP DOI BibTeX RDF |
|
13 | Cunbo Li, Ning Li, Yuan Qiu 0010, Yueheng Peng, Yifeng Wang, Lili Deng, Teng Ma, Fali Li, Dezhong Yao 0001, Peng Xu 0001 |
Multimodal collaborative BCI system based on the improved CSP feature extraction algorithm. |
Virtual Real. Intell. Hardw. |
2022 |
DBLP DOI BibTeX RDF |
|
13 | Panhua Guo, Bohua Zhan, Xiong Xu, Shuling Wang, Wenhui Sun |
Translating a large subset of stateflow to hybrid CSP with code optimization. |
J. Syst. Archit. |
2022 |
DBLP DOI BibTeX RDF |
|
13 | Jin-Yi Cai, Zhiguo Fu |
Holographic Algorithm with Matchgates Is Universal for Planar \#CSP over Boolean Domain. |
SIAM J. Comput. |
2022 |
DBLP DOI BibTeX RDF |
|
13 | P. Padma Priya Dharishini, Prakriya Ramana Murthy |
Static Analyzer for Computing WCET of Multithreaded Programs using Hoare's CSP. |
ISEC |
2022 |
DBLP DOI BibTeX RDF |
|
13 | Yang Windhorse, Nader Almadbooh |
Optimizing ML Algorithms Under CSP and Riemannian Covariance in MI-BCIs. |
HCI (44) |
2022 |
DBLP DOI BibTeX RDF |
|
13 | Hongqin Zhang, Huibiao Zhu, Jiaqi Yin, Ningning Chen |
Modeling and Verifying AUPS Using CSP. |
SEKE |
2022 |
DBLP DOI BibTeX RDF |
|
13 | Peimu Li, Jiaqi Yin, Huibiao Zhu |
Formal Verification of COCO Database Framework Using CSP. |
SEKE |
2022 |
DBLP DOI BibTeX RDF |
|
13 | Dalay Israel de Almeida Pereira, Marcel Vinícius Medeiros Oliveira, P. E. R. Bezerra, Philippe Bon, Simon Collart Dutilleul |
CSP specification and verification of relay-based railway interlocking systems. |
SAC |
2022 |
DBLP DOI BibTeX RDF |
|
13 | William Gasarch, Michael C. Laskowski, Shaopeng Zhu |
$(\mathbb {Z}, \text {succ}, U), (\mathbb {Z}, E, U)$, and Their CSP's. |
TAMC |
2022 |
DBLP DOI BibTeX RDF |
|
13 | Sricheta Parui, Deborsi Basu, Uttam Ghosh, Raja Datta |
A Brain to UAV Communication Model using Stacked Ensemble CSP algorithm based on Motor Imagery EEG signal. |
ICC |
2022 |
DBLP DOI BibTeX RDF |
|
13 | Or Zamir |
Faster Algorithm for Unique (k, 2)-CSP. |
ESA |
2022 |
DBLP DOI BibTeX RDF |
|
13 | Luca Aceto, Elli Anastasiadi, Valentina Castiglioni, Anna Ingólfsdóttir |
Non-finite Axiomatisability Results via Reductions: CSP Parallel Composition and CCS Restriction. |
A Journey from Process Algebra via Timed Automata to Model Learning |
2022 |
DBLP DOI BibTeX RDF |
|
13 | Lalit Singh Parmar, Sudhir Kumar Singh |
A Study of Performance and Analysis CSP Renewable based on Solar Tower Power Plant. |
IC3I |
2022 |
DBLP DOI BibTeX RDF |
|
13 | Han Wu, Jian Jia, Rui Zhang |
Research on classification of motor imagery EEG signals based on TQWT-CSP. |
CSAI |
2022 |
DBLP DOI BibTeX RDF |
|
13 | Jin-Yi Cai, Daniel P. Szabo |
Bounded Degree Nonnegative Counting CSP. |
MFCS |
2022 |
DBLP DOI BibTeX RDF |
|
13 | Peimu Li, Jiaqi Yin, Huibiao Zhu, Lili Xiao, Miroslav Popovic |
Formal Analysis and Verification of DPSTM v2 Architecture Using CSP. |
COMPSAC |
2022 |
DBLP DOI BibTeX RDF |
|
13 | Xinglin He, Li Zhao, Tongning Meng, Zhiwen Zhang |
Feature extraction of Motion-onset visual evoked potential based on CSP and FBCSP. |
ICMIP |
2022 |
DBLP DOI BibTeX RDF |
|
13 | Jan Dreier, Sebastian Ordyniak, Stefan Szeider |
CSP Beyond Tractable Constraint Languages. |
CP |
2022 |
DBLP DOI BibTeX RDF |
|
13 | Peter Stolz, Sebastian Roth, Ben Stock |
To hash or not to hash: A security assessment of CSP's unsafe-hashes expression. |
SP (Workshops) |
2022 |
DBLP DOI BibTeX RDF |
|
13 | Andrei A. Bulatov, Akbar Rafiey |
On the complexity of CSP-based ideal membership problems. |
STOC |
2022 |
DBLP DOI BibTeX RDF |
|
13 | Venkatesan Guruswami, Pravesh K. Kothari, Peter Manohar |
Algorithms and certificates for Boolean CSP refutation: smoothed is no harder than random. |
STOC |
2022 |
DBLP DOI BibTeX RDF |
|
13 | T. E. Boukelia, Oguz Arslan |
Techno-economic feasibility of a new combined CSP-geothermal power plant. |
SSD |
2022 |
DBLP DOI BibTeX RDF |
|
13 | Aymen Ben Said, Malek Mouhoub |
A Constraint Satisfaction Problem (CSP) Approach for the Nurse Scheduling Problem. |
SSCI |
2022 |
DBLP DOI BibTeX RDF |
|
13 | Zhiru Hou, Jiaqi Yin, Huibiao Zhu, Ningning Chen |
Formalization and Verification of SIP Using CSP. |
PDCAT |
2022 |
DBLP DOI BibTeX RDF |
|
13 | Lili Xiao, Huibiao Zhu, Shuangqing Xiang, Phan Cong Vinh |
Modeling and verifying SDN under Multi-controller architectures using CSP. |
Concurr. Comput. Pract. Exp. |
2021 |
DBLP DOI BibTeX RDF |
|
13 | Atef Jaballah, Aref Meddeb |
A new algorithm based CSP framework for RFID network planning. |
J. Ambient Intell. Humaniz. Comput. |
2021 |
DBLP DOI BibTeX RDF |
|
13 | Itsaso Rodríguez-Moreno, José María Martínez-Otzeta, Izaro Goienetxea, Igor Rodriguez Rodriguez, Basilio Sierra |
A New Approach for Video Action Recognition: CSP-Based Filtering for Video to Image Transformation. |
IEEE Access |
2021 |
DBLP DOI BibTeX RDF |
|
13 | Jorge Segarra-Tamarit, Emilio Pérez, Eric Moya, Pablo Ayuso, Hector Beltran |
Deep learning-based forecasting of aggregated CSP production. |
Math. Comput. Simul. |
2021 |
DBLP DOI BibTeX RDF |
|
13 | Oded Goldreich 0001, Tom Gur |
Universal locally verifiable codes and 3-round interactive proofs of proximity for CSP. |
Theor. Comput. Sci. |
2021 |
DBLP DOI BibTeX RDF |
|
13 | Carlos Galindo 0002, Naoki Nishida 0001, Josep Silva, Salvador Tamarit |
Reversible CSP Computations. |
IEEE Trans. Parallel Distributed Syst. |
2021 |
DBLP DOI BibTeX RDF |
|
13 | Noah Singer, Madhu Sudan 0001, Santhoshini Velusamy |
Streaming approximation resistance of every ordering CSP. |
Electron. Colloquium Comput. Complex. |
2021 |
DBLP BibTeX RDF |
|
13 | Dmitriy Zhuk |
The complexity of the Quantified CSP having the polynomially generated powers property. |
CoRR |
2021 |
DBLP BibTeX RDF |
|
13 | Michal Koucký 0001, Vojtech Rödl, Navid Talebanfard |
A Separator Theorem for Hypergraphs and a CSP-SAT Algorithm. |
CoRR |
2021 |
DBLP BibTeX RDF |
|
13 | Noah Singer, Madhu Sudan 0001, Santhoshini Velusamy |
Streaming approximation resistance of every ordering CSP. |
CoRR |
2021 |
DBLP BibTeX RDF |
|
13 | Abdulrazaq Abba, Ana Cavalcanti 0001, Jeremy Jacob |
Temporal Reasoning Through Automatic Translation of tock-CSP into Timed Automata. |
CoRR |
2021 |
DBLP BibTeX RDF |
|
13 | Or Zamir |
Faster algorithm for Unique (k, 2)-CSP. |
CoRR |
2021 |
DBLP BibTeX RDF |
|
13 | Shibo Li, Dominik Scheder |
Impatient PPSZ - a Faster algorithm for CSP. |
CoRR |
2021 |
DBLP BibTeX RDF |
|
13 | Libor Barto, Zarathustra Brady, Andrei Bulatov, Marcin Kozik, Dmitriy Zhuk |
Minimal Taylor Algebras as a Common Framework for the Three Algebraic Approaches to the CSP. |
CoRR |
2021 |
DBLP BibTeX RDF |
|
13 | Venkatesan Guruswami, Pravesh K. Kothari, Peter Manohar |
Algorithms and Certificates for Boolean CSP Refutation: "Smoothed is no harder than Random". |
CoRR |
2021 |
DBLP BibTeX RDF |
|
13 | Abdelfetah Saadi, Youcef Hammal, Mourad Chabane Oussalah |
A CSP-Based Approach for Managing the Dynamic Reconfiguration of Software Architecture. |
Int. J. Inf. Technol. Syst. Approach |
2021 |
DBLP DOI BibTeX RDF |
|
13 | Michal Koucký 0001, Vojtech Rödl, Navid Talebanfard |
A Separator Theorem for Hypergraphs and a CSP-SAT Algorithm. |
Log. Methods Comput. Sci. |
2021 |
DBLP DOI BibTeX RDF |
|
13 | Nicolás Rojas-Morales, María Cristina Riff, Bertrand Neveu |
Learning and focusing strategies to improve ACO that solves CSP. |
Eng. Appl. Artif. Intell. |
2021 |
DBLP DOI BibTeX RDF |
|
13 | Luis F. González-Portillo, Kevin Albrecht, Clifford K. Ho |
Techno-Economic Optimization of CSP Plants with Free-Falling Particle Receivers. |
Entropy |
2021 |
DBLP DOI BibTeX RDF |
|
|
|