Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
63 | Haewoon Kwak, Yoonchan Choi, Young-Ho Eom, Hawoong Jeong, Sue B. Moon |
Mining communities in networks: a solution for consistency and its evaluation. |
Internet Measurement Conference |
2009 |
DBLP DOI BibTeX RDF |
as graph, cnm, consistent community identification, louvain, wakita, community, social networks, modularity |
48 | Subhajit Sahu |
GVE-Louvain: Fast Louvain Algorithm for Community Detection in Shared Memory Setting. |
CoRR |
2023 |
DBLP DOI BibTeX RDF |
|
26 | Mathieu Van Vyve |
A solution approach of production planning problems based on compact formulations for single-item lot-sizing models. |
4OR |
2004 |
DBLP DOI BibTeX RDF |
|
26 | Gert Smolka |
The Development of Oz and Mozart. |
MOZ |
2004 |
DBLP DOI BibTeX RDF |
|
26 | Jiri Gaisler |
A Portable and Fault-Tolerant Microprocessor Based on the SPARC V8 Architecture. |
DSN |
2002 |
DBLP DOI BibTeX RDF |
|
24 | Bowen Gong, Jinghang Sun, Ciyun Lin, Hongchao Liu, Ganghao Sun |
Louvain-Based Traffic Object Detection for Roadside 4D Millimeter-Wave Radar. |
Remote. Sens. |
2024 |
DBLP DOI BibTeX RDF |
|
24 | Duy Hieu Do, Thi Ha Duong Phan |
An improvement on the Louvain algorithm using random walks. |
CoRR |
2024 |
DBLP DOI BibTeX RDF |
|
24 | Subhajit Sahu |
Addressing Internally-Disconnected Communities in Leiden and Louvain Community Detection Algorithms. |
CoRR |
2024 |
DBLP DOI BibTeX RDF |
|
24 | Hang Qie, Yong Dou, Zhen Huang 0006, Yunsheng Xiong |
Isolate Sets Based Parallel Louvain Method for Community Detection. |
J. Comput. Sci. Technol. |
2023 |
DBLP DOI BibTeX RDF |
|
24 | Subhajit Sahu |
Enhancing Efficiency in Parallel Louvain Algorithm for Community Detection. |
CoRR |
2023 |
DBLP DOI BibTeX RDF |
|
24 | Xiongfei Li, Sichen Dong, Shuyu Li |
A differentially private non-overlapping community detection method based on improved Louvain algorithm. |
DSIT |
2023 |
DBLP DOI BibTeX RDF |
|
24 | Gianlucca L. Zuin, Humberto Lomeu, Gabriel Barros, Matheus Barbosa, Guilherme Lima, Nicolas Vançan, Fernando Biscione |
A Modified Louvain Approach for Medical Community Detection using Geographic Data. |
CBMS |
2023 |
DBLP DOI BibTeX RDF |
|
24 | Bruno Crémilleux, Sibylle Hess, Siegfried Nijssen (eds.) |
Advances in Intelligent Data Analysis XXI - 21st International Symposium on Intelligent Data Analysis, IDA 2023, Louvain-la-Neuve, Belgium, April 12-14, 2023, Proceedings |
IDA |
2023 |
DBLP DOI BibTeX RDF |
|
24 | Ann Theresa Sandra, Aruna Ashok, Remya T. Nair |
Blockchain Based Peer to Peer Botnet Detection Using Louvain Algorithm. |
ICCCNT |
2023 |
DBLP DOI BibTeX RDF |
|
24 | Andraz Pelicon, Syrielle Montariol, Petra Kralj Novak |
Don't Start Your Data Labeling from Scratch: OpSaLa - Optimized Data Sampling Before Labeling. |
IDA |
2023 |
DBLP DOI BibTeX RDF |
|
24 | Matthias Feurer, Katharina Eggensperger, Edward Bergman, Florian Pfisterer, Bernd Bischl, Frank Hutter |
Mind the Gap: Measuring Generalization Performance Across Multiple Objectives. |
IDA |
2023 |
DBLP DOI BibTeX RDF |
|
24 | Maria Movin, Guilherme Dinis Junior, Jaakko Hollmén, Panagiotis Papapetrou |
Explaining Black Box Reinforcement Learning Agents Through Counterfactual Policies. |
IDA |
2023 |
DBLP DOI BibTeX RDF |
|
24 | Ioanna Papagianni, Matthijs van Leeuwen |
Discovering Rule Lists with Preferred Variables. |
IDA |
2023 |
DBLP DOI BibTeX RDF |
|
24 | Zahra Kharazian, Mahmoud Rahat, Fábio F. Gama, Peyman Sheikholharam Mashhadi, Slawomir Nowaczyk, Tony Lindgren, Sindri Magnússon |
AID4HAI: Automatic Idea Detection for Healthcare-Associated Infections from Twitter, a Framework Based on Active Learning and Transfer Learning. |
IDA |
2023 |
DBLP DOI BibTeX RDF |
|
24 | Thibaud Leteno, Antoine Gourru, Charlotte Laclau, Christophe Gravier |
An Investigation of Structures Responsible for Gender Bias in BERT and DistilBERT. |
IDA |
2023 |
DBLP DOI BibTeX RDF |
|
24 | Dennis Collaris, Pratik Gajane, Joost Jorritsma, Jarke J. van Wijk, Mykola Pechenizkiy |
LEMON: Alternative Sampling for More Faithful Explanation Through Local Surrogate Models. |
IDA |
2023 |
DBLP DOI BibTeX RDF |
|
24 | Raoul Heese, Sascha Mücke, Matthias Jakobs, Thore Gerlach, Nico Piatkowski |
Shapley Values with Uncertain Value Functions. |
IDA |
2023 |
DBLP DOI BibTeX RDF |
|
24 | Maedeh Nasri, Zhizhou Fang, Mitra Baratchi, Gwenn Englebienne, Shenghui Wang, Alexander Koutamanis, Carolien Rieffe |
A GNN-Based Architecture for Group Detection from Spatio-Temporal Trajectory Data. |
IDA |
2023 |
DBLP DOI BibTeX RDF |
|
24 | Irina Proskurina, Guillaume Metzler, Julien Velcin |
The Other Side of Compression: Measuring Bias in Pruned Transformers. |
IDA |
2023 |
DBLP DOI BibTeX RDF |
|
24 | Inaam Ashraf, Luca Hermes, André Artelt, Barbara Hammer |
Spatial Graph Convolution Neural Networks for Water Distribution Systems. |
IDA |
2023 |
DBLP DOI BibTeX RDF |
|
24 | Amirhossein Berenji, Slawomir Nowaczyk, Zahra Taghiyarrenani |
Data-Centric Perspective on Explainability Versus Performance Trade-Off. |
IDA |
2023 |
DBLP DOI BibTeX RDF |
|
24 | Andrés F. Duque, Guy Wolf, Kevin R. Moon |
Diffusion Transport Alignment. |
IDA |
2023 |
DBLP DOI BibTeX RDF |
|
24 | Jennifer Jorina Matthiesen, Hanne Hastedt, Ulf Brefeld |
User Authentication via Multifaceted Mouse Movements and Outlier Exposure. |
IDA |
2023 |
DBLP DOI BibTeX RDF |
|
24 | Luís Cunha, Carlos Soares, André Restivo, Luís F. Teixeira 0001 |
GASTeN: Generative Adversarial Stress Test Networks. |
IDA |
2023 |
DBLP DOI BibTeX RDF |
|
24 | Loek Tonnaer, Mike Holenderski, Vlado Menkovski |
Out-of-Distribution Generalisation with Symmetry-Based Disentangled Representations. |
IDA |
2023 |
DBLP DOI BibTeX RDF |
|
24 | Vishnu Unnikrishnan, Miro Schleicher, Clara Puga, Rüdiger Pryss, Carsten Vogel, Winfried Schlee, Myra Spiliopoulou |
A Similarity-Guided Framework for Error-Driven Discovery of Patient Neighbourhoods in EMA Data. |
IDA |
2023 |
DBLP DOI BibTeX RDF |
|
24 | Zhaozhen Xu, Zhijin Guo, Nello Cristianini |
On Compositionality in Data Embedding. |
IDA |
2023 |
DBLP DOI BibTeX RDF |
|
24 | Inês Martins, João S. Resende, João Gama 0001 |
Online Influence Forest for Streaming Anomaly Detection. |
IDA |
2023 |
DBLP DOI BibTeX RDF |
|
24 | Caglar Demir, Axel-Cyrille Ngonga Ngomo |
Learning Permutation-Invariant Embeddings for Description Logic Concepts. |
IDA |
2023 |
DBLP DOI BibTeX RDF |
|
24 | Luis Galárraga |
Effects of Locality and Rule Language on Explanations for Knowledge Graph Embeddings. |
IDA |
2023 |
DBLP DOI BibTeX RDF |
|
24 | Massimo La Morgia, Alessandro Mei, Eugenio Nerio Nemmi, Luca Sabatini, Francesco Sassi |
Translated Texts Under the Lens: From Machine Translation Detection to Source Language Identification. |
IDA |
2023 |
DBLP DOI BibTeX RDF |
|
24 | Fabian Hinder, Valerie Vaquet, Johannes Brinkrolf, Barbara Hammer |
On the Change of Decision Boundary and Loss in Learning with Concept Drift. |
IDA |
2023 |
DBLP DOI BibTeX RDF |
|
24 | Léonard Tschora, Erwan Pierre, Marc Plantevit, Céline Robardet |
Forecasting Electricity Prices: An Optimize Then Predict-Based Approach. |
IDA |
2023 |
DBLP DOI BibTeX RDF |
|
24 | Mohamed Alami Chehboune, Rim Kaddah, Jesse Read |
Transferable Deep Metric Learning for Clustering. |
IDA |
2023 |
DBLP DOI BibTeX RDF |
|
24 | Rianne Margaretha Schouten, Victoria Tascau, Gabriel G. Ziegler, Davide Casano, Marco Ardizzone, Michael-Angelos Erotokritou |
Dropping Incomplete Records is (not so) Straightforward. |
IDA |
2023 |
DBLP DOI BibTeX RDF |
|
24 | Michael R. Berthold, Dashiell Brookhart, Schalk Gerber, Satoru Hayasaka, Maarit Widmann |
Towards Data Science Design Patterns. |
IDA |
2023 |
DBLP DOI BibTeX RDF |
|
24 | Cristiano Landi, Francesco Spinnato, Riccardo Guidotti, Anna Monreale, Mirco Nanni |
Geolet: An Interpretable Model for Trajectory Classification. |
IDA |
2023 |
DBLP DOI BibTeX RDF |
|
24 | Mira Ait Saada, Mohamed Nadif |
Contextual Word Embeddings Clustering Through Multiway Analysis: A Comparative Study. |
IDA |
2023 |
DBLP DOI BibTeX RDF |
|
24 | Maksim Koptelov, Albrecht Zimmermann, Patrice Boizumault, Ronan Bureau, Jean Luc Lamotte |
Explanations for Itemset Mining by Constraint Programming: A Case Study Using ChEMBL Data. |
IDA |
2023 |
DBLP DOI BibTeX RDF |
|
24 | Edith Heiter, Bo Kang, Ruth Seurinck, Jefrey Lijffijt |
Revised Conditional t-SNE: Looking Beyond the Nearest Neighbors. |
IDA |
2023 |
DBLP DOI BibTeX RDF |
|
24 | Andreas Theissler, Manuel Wengert, Felix Gerschner |
ROCKAD: Transferring ROCKET to Whole Time Series Anomaly Detection. |
IDA |
2023 |
DBLP DOI BibTeX RDF |
|
24 | Raphaël Chevasson, Charlotte Laclau, Christophe Gravier |
Diverse Paraphrasing with Insertion Models for Few-Shot Intent Detection. |
IDA |
2023 |
DBLP DOI BibTeX RDF |
|
24 | Arnaud Soulet |
Should We Consider On-Demand Analysis in Scale-Free Networks? |
IDA |
2023 |
DBLP DOI BibTeX RDF |
|
24 | Maxime Masson, Philippe Roose, Christian Sallaberry, Rodrigo Agerri, Marie-Noëlle Bessagnet, Annig Le Parc-Lacayrelle |
APs: A Proxemic Framework for Social Media Interactions Modeling and Analysis. |
IDA |
2023 |
DBLP DOI BibTeX RDF |
|
24 | Antonio Lopez-Martinez-Carrasco, Hugo Manuel Proença, Jose M. Juarez, Matthijs van Leeuwen, Manuel Campos |
Discovering Diverse Top-K Characteristic Lists. |
IDA |
2023 |
DBLP DOI BibTeX RDF |
|
24 | Zhaozhen Xu, Nello Cristianini |
QBERT: Generalist Model for Processing Questions. |
IDA |
2023 |
DBLP DOI BibTeX RDF |
|
24 | David Schubert, Pritha Gupta, Marcel Wever |
Meta-learning for Automated Selection of Anomaly Detectors for Semi-supervised Datasets. |
IDA |
2023 |
DBLP DOI BibTeX RDF |
|
24 | Ping Wang, Xingdong Deng, Yang Liu, Liang Guo 0010, Jun Zhu 0007, Lin Fu, Yakun Xie, Weilian Li, Jianbo Lai |
A Knowledge Discovery Method for Landslide Monitoring Based on K-Core Decomposition and the Louvain Algorithm. |
ISPRS Int. J. Geo Inf. |
2022 |
DBLP DOI BibTeX RDF |
|
24 | Anwesha Bhowmick, Sathish Vadhiyar, Varun PV |
Scalable multi-node multi-GPU Louvain community detection algorithm for heterogeneous architectures. |
Concurr. Comput. Pract. Exp. |
2022 |
DBLP DOI BibTeX RDF |
|
24 | Naw Safrin Sattar, Shaikh Arifuzzaman |
Scalable distributed Louvain algorithm for community detection in large graphs. |
J. Supercomput. |
2022 |
DBLP DOI BibTeX RDF |
|
24 | Sara Venturini, Andrea Cristofari, Francesco Rinaldi, Francesco Tudisco |
A variance-aware multiobjective Louvain-like method for community detection in multiplex networks. |
J. Complex Networks |
2022 |
DBLP DOI BibTeX RDF |
|
24 | Dipika Singh, Rakhi Garg |
NI-Louvain: A novel algorithm to detect overlapping communities with influence analysis. |
J. King Saud Univ. Comput. Inf. Sci. |
2022 |
DBLP DOI BibTeX RDF |
|
24 | Yijiang Zhao, Wentao Yang, Yizhi Liu, Zhuhua Liao |
Discovering transition patterns among OpenStreetMap feature classes based on the Louvain method. |
Trans. GIS |
2022 |
DBLP DOI BibTeX RDF |
|
24 | Jindong Qin, Minxuan Li, Yingying Liang |
Minimum cost consensus model for CRP-driven preference optimization analysis in large-scale group decision making using Louvain algorithm. |
Inf. Fusion |
2022 |
DBLP DOI BibTeX RDF |
|
24 | Martin Radvanský Jr., Martin Radvanský, Milos Kudelka, Miroslav Jirgl |
Driver Response Time and Behavior Profiles, Extracted from Sugeno Fuzzy Models by the Louvain Network Clustering. |
INCoS |
2022 |
DBLP DOI BibTeX RDF |
|
24 | Maryam Mohammadi, Mahmood Fazlali, Mehdi Hosseinzadeh 0001 |
Accelerating Louvain community detection algorithm on graphic processing unit. |
J. Supercomput. |
2021 |
DBLP DOI BibTeX RDF |
|
24 | Sara Venturini, Andrea Cristofari, Francesco Rinaldi, Francesco Tudisco |
Louvain-like Methods for Community Detection in Multi-Layer Networks. |
CoRR |
2021 |
DBLP BibTeX RDF |
|
24 | Dianting Liu, Kangzheng Huang, Chenguang Zhang, Danling Wu, Shan Wu |
Study on Discovery Method of Cooperative Research Team Based on Improved Louvain Algorithm. |
Sci. Program. |
2021 |
DBLP DOI BibTeX RDF |
|
24 | Changzhen Wang, Fahui Wang, Tracy Onega |
Network optimization approach to delineating health care service areas: Spatially constrained Louvain and Leiden algorithms. |
Trans. GIS |
2021 |
DBLP DOI BibTeX RDF |
|
24 | Minxuan Li, Jindong Qin, Tao Jiang, Witold Pedrycz |
Dynamic Relationship Network Analysis Based on Louvain Algorithm for Large-Scale Group Decision Making. |
Int. J. Comput. Intell. Syst. |
2021 |
DBLP DOI BibTeX RDF |
|
24 | Tuyet-Ngan Vo, Mickaël Coustaty, Jean-Loup Guillaume, Thanh-Khoa Nguyen, De Cao Tran |
Applying Segmented Images by Louvain Method into Content-Based Image Retrieval. |
ICCASA |
2021 |
DBLP DOI BibTeX RDF |
|
24 | Seok-Hee Hong 0001, Peter Eades, Marnijati Torkel, James Wood, Kunsoo Park |
Louvain-based Multi-level Graph Drawing. |
PacificVis |
2021 |
DBLP DOI BibTeX RDF |
|
24 | Shuya Li, Wenbin Song, Chao Zhao, Yifeng Zhang, Weiming Shen 0001, Jing Hai, Jiawei Lu, Yingshi Xie |
An Anomaly Detection Method for Multiple Time Series Based on Similarity Measurement and Louvain Algorithm. |
ISM |
2021 |
DBLP DOI BibTeX RDF |
|
24 | Pouya Rezazadeh Kalehbasti, Hayato Ushijima-Mwesigwa, Avradip Mandal, Indradeep Ghosh |
Ising-Based Louvain Method: Clustering Large Graphs with Specialized Hardware. |
IDA |
2021 |
DBLP DOI BibTeX RDF |
|
24 | Peng Jiang, Hua Zhou, Jianhui Li |
A topic definition model of self-media news based on Louvain algorithm. |
CONF-CDS |
2021 |
DBLP DOI BibTeX RDF |
|
24 | Mahsa Seifikar, Saeed Farzi, Masoud Barati |
C-Blondel: An Efficient Louvain-Based Dynamic Community Detection Algorithm. |
IEEE Trans. Comput. Soc. Syst. |
2020 |
DBLP DOI BibTeX RDF |
|
24 | Pouya Rezazadeh Kalehbasti, Hayato Ushijima-Mwesigwa, Avradip Mandal, Indradeep Ghosh |
Ising-Based Louvain Method: Clustering Large Graphs with Specialized Hardware. |
CoRR |
2020 |
DBLP BibTeX RDF |
|
24 | Tze Meng Low, Daniele G. Spampinato, Scott McMillan, Michel Pelletier |
Linear Algebraic Louvain Method in Python. |
IPDPS Workshops |
2020 |
DBLP DOI BibTeX RDF |
|
24 | Shou-Jiu Xiong, Sibao Chen 0001, Chris H. Q. Ding, Bin Luo 0001 |
Large-Scale Network Representation Learning Based on Improved Louvain Algorithm and Deep Autoencoder. |
PRCV (3) |
2020 |
DBLP DOI BibTeX RDF |
|
24 | Sanaz Gheibi, Tania Banerjee, Sanjay Ranka, Sartaj Sahni |
Cache Efficient Louvain with Local RCM. |
ISCC |
2020 |
DBLP DOI BibTeX RDF |
|
24 | Helmut Simonis (eds.) |
Principles and Practice of Constraint Programming - 26th International Conference, CP 2020, Louvain-la-Neuve, Belgium, September 7-11, 2020, Proceedings |
CP |
2020 |
DBLP DOI BibTeX RDF |
|
24 | Vincent Cohen-Addad, Adrian Kosowski, Frederik Mallmann-Trenn, David Saulpic |
On the Power of Louvain in the Stochastic Block Model. |
NeurIPS |
2020 |
DBLP BibTeX RDF |
|
24 | Jesmin Jahan Tithi, Andrzej Stasiak, Sriram Aananthakrishnan, Fabrizio Petrini |
Prune the Unnecessary: Parallel Pull-Push Louvain Algorithms with Automatic Edge Pruning. |
ICPP |
2020 |
DBLP DOI BibTeX RDF |
|
24 | Ayan Kumar Bhowmick, Koushik Meneni, Maximilien Danisch, Jean-Loup Guillaume, Bivas Mitra |
LouvainNE: Hierarchical Louvain Method for High Quality and Scalable Network Embedding. |
WSDM |
2020 |
DBLP DOI BibTeX RDF |
|
24 | Neng-Fa Zhou |
In Pursuit of an Efficient SAT Encoding for the Hamiltonian Cycle Problem. |
CP |
2020 |
DBLP DOI BibTeX RDF |
|
24 | Valentin Antuori, Emmanuel Hebrard, Marie-José Huguet, Siham Essodaigui, Alain Nguyen |
Leveraging Reinforcement Learning, Constraint Programming and Local Search: A Case Study in Car Manufacturing. |
CP |
2020 |
DBLP DOI BibTeX RDF |
|
24 | Rahul Gupta, Subhajit Roy 0001, Kuldeep S. Meel |
Phase Transition Behavior in Knowledge Compilation. |
CP |
2020 |
DBLP DOI BibTeX RDF |
|
24 | Kevin Leo, Graeme Gange, Maria Garcia de la Banda, Mark Wallace 0001 |
Core-Guided Model Reformulation. |
CP |
2020 |
DBLP DOI BibTeX RDF |
|
24 | Tomás Dlask, Tomás Werner |
On Relation Between Constraint Propagation and Block-Coordinate Descent in Linear Programs. |
CP |
2020 |
DBLP DOI BibTeX RDF |
|
24 | Anastasia Paparrizou, Hugues Wattez |
Perturbing Branching Heuristics in Constraint Solving. |
CP |
2020 |
DBLP DOI BibTeX RDF |
|
24 | Stephan Gocht, Ross McBride, Ciaran McCreesh, Jakob Nordström, Patrick Prosser, James Trimble 0001 |
Certifying Solvers for Clique and Maximum Common (Connected) Subgraph Problems. |
CP |
2020 |
DBLP DOI BibTeX RDF |
|
24 | Alexandre Mercier-Aubin, Ludwig Dumetz, Jonathan Gaudreault, Claude-Guy Quimper |
The Confidence Constraint: A Step Towards Stochastic CP Solvers. |
CP |
2020 |
DBLP DOI BibTeX RDF |
|
24 | Edward Lam 0001, Peter J. Stuckey, Sven Koenig, T. K. Satish Kumar |
Exact Approaches to the Multi-agent Collective Construction Problem. |
CP |
2020 |
DBLP DOI BibTeX RDF |
|
24 | Loïc Rouquette, Christine Solnon |
abstractXOR: A global constraint dedicated to differential cryptanalysis. |
CP |
2020 |
DBLP DOI BibTeX RDF |
|
24 | Nicolas Isoart, Jean-Charles Régin |
Parallelization of TSP Solving in CP. |
CP |
2020 |
DBLP DOI BibTeX RDF |
|
24 | Saeed Nejati, Ludovic Le Frioux, Vijay Ganesh |
A Machine Learning Based Splitting Heuristic for Divide-and-Conquer Solvers. |
CP |
2020 |
DBLP DOI BibTeX RDF |
|
24 | Lucas Groleaz, Samba Ndojh Ndiaye, Christine Solnon |
Solving the Group Cumulative Scheduling Problem with CPO and ACO. |
CP |
2020 |
DBLP DOI BibTeX RDF |
|
24 | Jinqiang Yu, Alexey Ignatiev, Peter J. Stuckey, Pierre Le Bodic |
Computing Optimal Decision Sets with SAT. |
CP |
2020 |
DBLP DOI BibTeX RDF |
|
24 | Jo Devriendt |
Watched Propagation of 0-1 Integer Linear Constraints. |
CP |
2020 |
DBLP DOI BibTeX RDF |
|
24 | Céline Brouard, Simon de Givry, Thomas Schiex |
Pushing Data into CP Models Using Graphical Model Learning and Solving. |
CP |
2020 |
DBLP DOI BibTeX RDF |
|
24 | Minghao Liu 0001, Fan Zhang, Pei Huang 0002, Shuzi Niu, Feifei Ma, Jian Zhang 0001 |
Learning the Satisfiability of Pseudo-Boolean Problem with Graph Neural Networks. |
CP |
2020 |
DBLP DOI BibTeX RDF |
|
24 | Edward Lam 0001, Frits de Nijs, Peter J. Stuckey, Donald Azuatalam, Ariel Liebman |
Large Neighborhood Search for Temperature Control with Demand Response. |
CP |
2020 |
DBLP DOI BibTeX RDF |
|
24 | Tomás Peitl, Stefan Szeider |
Finding the Hardest Formulas for Resolution. |
CP |
2020 |
DBLP DOI BibTeX RDF |
|
24 | Janne I. Kokkala, Jakob Nordström |
Using Resolution Proofs to Analyse CDCL Solvers. |
CP |
2020 |
DBLP DOI BibTeX RDF |
|
24 | Shaowei Cai 0001, Xindi Zhang |
Pure MaxSAT and Its Applications to Combinatorial Optimization via Linear Local Search. |
CP |
2020 |
DBLP DOI BibTeX RDF |
|