Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
156 | Vasco M. Manquinho, João Marques-Silva 0001, Jordi Planes |
Algorithms for Weighted Boolean Optimization. |
SAT |
2009 |
DBLP DOI BibTeX RDF |
|
121 | João Marques-Silva 0001, Vasco M. Manquinho |
Towards More Effective Unsatisfiability-Based Maximum Satisfiability Algorithms. |
SAT |
2008 |
DBLP DOI BibTeX RDF |
|
105 | Josep Argelich, Xavier Domingo, Chu Min Li, Felip Manyà, Jordi Planes |
Towards Solving Many-Valued MaxSAT. |
ISMVL |
2006 |
DBLP DOI BibTeX RDF |
|
104 | Chu Min Li, Felip Manyà, Nouredine Ould Mohamedou, Jordi Planes |
Exploiting Cycle Structures in Max-SAT. |
SAT |
2009 |
DBLP DOI BibTeX RDF |
|
104 | João Marques-Silva 0001, Inês Lynce, Vasco M. Manquinho |
Symmetry Breaking for Maximum Satisfiability. |
LPAR |
2008 |
DBLP DOI BibTeX RDF |
|
88 | Carlos Ansótegui, Maria Luisa Bonet, Jordi Levy |
Solving (Weighted) Partial MaxSAT through Satisfiability Testing. |
SAT |
2009 |
DBLP DOI BibTeX RDF |
|
88 | Soraya B. Rana, L. Darrell Whitley |
Genetic Algorithm Behavior in the MAXSAT Domain. |
PPSN |
1998 |
DBLP DOI BibTeX RDF |
|
81 | Mohamed El-bachir Menai, Mohamed Batouche |
An effective heuristic algorithm for the maximum satisfiability problem. |
Appl. Intell. |
2006 |
DBLP DOI BibTeX RDF |
MAXSAT, Bose-Einstein distribution, Problem solving, Heuristic search, Extremal Optimization |
70 | Nikhil Bansal 0001, Venkatesh Raman 0001 |
Upper Bounds for MaxSat: Further Improved. |
ISAAC |
1999 |
DBLP DOI BibTeX RDF |
|
70 | Rolf Niedermeier, Peter Rossmanith |
New Upper Bounds for MaxSat. |
ICALP |
1999 |
DBLP DOI BibTeX RDF |
|
69 | João Marques-Silva 0001, Jordi Planes |
Algorithms for Maximum Satisfiability using Unsatisfiable Cores. |
DATE |
2008 |
DBLP DOI BibTeX RDF |
|
53 | Andrew M. Sutton, Adele E. Howe, L. Darrell Whitley |
Estimating Bounds on Expected Plateau Size in MAXSAT Problems. |
SLS |
2009 |
DBLP DOI BibTeX RDF |
|
53 | Lukas Kroc, Ashish Sabharwal, Bart Selman |
Relaxed DPLL Search for MaxSAT. |
SAT |
2009 |
DBLP DOI BibTeX RDF |
|
53 | Alexander S. Kulikov |
Automated Generation of Simplification Rules for SAT and MAXSAT. |
SAT |
2005 |
DBLP DOI BibTeX RDF |
|
53 | Andrea Roli |
Design of a New Metaheuristic for MAXSAT Problems. |
CP |
2002 |
DBLP DOI BibTeX RDF |
|
52 | Ashish Tiwari 0001, Carolyn L. Talcott, Merrill Knapp, Patrick Lincoln, Keith Laderoute |
Analyzing Pathways Using SAT-Based Approaches. |
AB |
2007 |
DBLP DOI BibTeX RDF |
|
52 | Sergey S. Fedin, Alexander S. Kulikov |
Automated Proofs of Upper Bounds on the Running Time of Splitting Algorithms. |
IWPEC |
2004 |
DBLP DOI BibTeX RDF |
|
48 | Josep Argelich, Alba Cabiscol, Inês Lynce, Felip Manyà |
New Insights into Encodings from MaxCSP into Partial MaxSAT. |
ISMVL |
2010 |
DBLP DOI BibTeX RDF |
MaxCSP, Partial MaxSAT, Encodings |
37 | Irene Hiess, Ludwig Kampel, Michael Wagner 0026, Dimitris E. Simos |
IPO-MAXSAT: The In-Parameter-Order Strategy combined with MaxSAT solving for Covering Array Generation. |
SYNASC |
2022 |
DBLP DOI BibTeX RDF |
|
37 | Irene Hiess, Ludwig Kampel, Michael Wagner 0026, Dimitris E. Simos |
IPO-MAXSAT: Combining the In-Parameter-Order Strategy for Covering Array Generation with MaxSAT Solving (Extended Abstract). |
SOCS |
2022 |
DBLP DOI BibTeX RDF |
|
37 | Federico Heras, António Morgado 0001, João Marques-Silva 0001 |
MaxSAT-based encodings for Group MaxSAT. |
AI Commun. |
2015 |
DBLP DOI BibTeX RDF |
|
36 | Yibin Chen, Sean Safarpour, Andreas G. Veneris, João Marques-Silva 0001 |
Spatial and temporal design debug using partial MaxSAT. |
ACM Great Lakes Symposium on VLSI |
2009 |
DBLP DOI BibTeX RDF |
maximum satisfiability, design debugging |
36 | Chu Min Li, Felip Manyà, Nouredine Ould Mohamedou, Jordi Planes |
Transforming Inconsistent Subformulas in MaxSAT Lower Bound Computation. |
CP |
2008 |
DBLP DOI BibTeX RDF |
|
36 | Martin Pelikan, David E. Goldberg |
Hierarchical BOA Solves Ising Spin Glasses and MAXSAT. |
GECCO |
2003 |
DBLP DOI BibTeX RDF |
|
36 | Mohamed El-bachir Menai, Mohamed Batouche |
Efficient Initial Solution to Extremal Optimization Algorithm for Weighted MAXSAT Problem. |
IEA/AIE |
2003 |
DBLP DOI BibTeX RDF |
|
35 | Hans van Maaren, Linda van Norden |
Correlations between Horn fractions, satisfiability and solver performance for fixed density random 3-CNF instances. |
Ann. Math. Artif. Intell. |
2005 |
DBLP DOI BibTeX RDF |
Horn, satisfiability, density, 3-SAT |
29 | Elizabeth Radetic, Martin Pelikan, David E. Goldberg |
Effects of a deterministic hill climber on hBOA. |
GECCO |
2009 |
DBLP DOI BibTeX RDF |
maxsat, trap-5, local search, estimation of distribution algorithms, efficiency enhancement, hierarchical boa, hybrid evolutionary algorithms, spin glass |
29 | Michele Conforti, Gérard Cornuéjols |
A Class of Logic Problems Solvable by Linear Programming |
FOCS |
1992 |
DBLP DOI BibTeX RDF |
balanced sets of clauses, truth assignment, logic problems, MAXSAT, linear programming, integer programs, satisfiability, propositional logic, logical inference |
19 | Mohammad Moradi Shahmiri, Bijan Alizadeh |
Concealing Exposed Circuit Features Through a MaxSAT-Based Logic Locking Method. |
IEEE Trans. Circuits Syst. II Express Briefs |
2024 |
DBLP DOI BibTeX RDF |
|
19 | Ilario Bonacina, Maria Luisa Bonet, Sam Buss, Massimo Lauria |
Redundancy for MaxSAT. |
Electron. Colloquium Comput. Complex. |
2024 |
DBLP BibTeX RDF |
|
19 | Antônio Carlos Souza Ferreira Júnior, Thiago Alves Rocha |
An incremental MaxSAT-based model to learn balanced rules. |
CoRR |
2024 |
DBLP DOI BibTeX RDF |
|
19 | Furong Ye, Chuan Luo, Shaowei Cai 0001 |
Better Understandings and Configurations in MaxSAT Local Search Solvers via Anytime Performance Analysis. |
CoRR |
2024 |
DBLP DOI BibTeX RDF |
|
19 | Jiongzhi Zheng, Zhuo Chen, Chu-Min Li, Kun He 0001 |
Rethinking the Soft Conflict Pseudo Boolean Constraint on MaxSAT Local Search Solvers. |
CoRR |
2024 |
DBLP DOI BibTeX RDF |
|
19 | Tran Duy Anh Le, Michael P. Reidy, Eliot J. Smith |
A Critique of Chen's "The 2-MAXSAT Problem Can Be Solved in Polynomial Time". |
CoRR |
2024 |
DBLP DOI BibTeX RDF |
|
19 | Jiaxin Liang, Junping Zhou, Minghao Yin |
Enhance Diversified Top-k MaxSAT Solving by Incorporating New Strategy for Generating Diversified Initial Assignments (Student Abstract). |
AAAI |
2024 |
DBLP DOI BibTeX RDF |
|
19 | Martin von Berg, Arthur Sanin, Christoph Beierle |
Scaling up Nonmonotonic c-Inference via Partial MaxSAT Problems. |
FoIKS |
2024 |
DBLP DOI BibTeX RDF |
|
19 | Yuval Filmus, Meena Mahajan, Gaurav Sood 0001, Marc Vinyals |
MaxSAT Resolution and Subcube Sums. |
ACM Trans. Comput. Log. |
2023 |
DBLP DOI BibTeX RDF |
|
19 | Jordi Coll, Chu-Min Li, Felip Manyà, Elifnaz Yangin |
MaxSAT resolution for regular propositional logic. |
Int. J. Approx. Reason. |
2023 |
DBLP DOI BibTeX RDF |
|
19 | Josep Alòs, Carlos Ansótegui, Eduard Torres |
Interpretable decision trees through MaxSAT. |
Artif. Intell. Rev. |
2023 |
DBLP DOI BibTeX RDF |
|
19 | Nikolaos Ioannis Deligiannis, Tobias Faller, Riccardo Cantoro, Tobias Paxian, Bernd Becker 0001, Matteo Sonza Reorda |
Automating the Generation of Programs Maximizing the Repeatable Constant Switching Activity in Microprocessor Units via MaxSAT. |
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. |
2023 |
DBLP DOI BibTeX RDF |
|
19 | Max Bannach, Malte Skambath, Till Tantau |
On the Parallel Parameterized Complexity of MaxSAT Variants. |
J. Artif. Intell. Res. |
2023 |
DBLP DOI BibTeX RDF |
|
19 | Hui Wang, Abdallah Saffidine, Tristan Cazenave |
Towards Tackling MaxSAT by Combining Nested Monte Carlo with Local Search. |
CoRR |
2023 |
DBLP DOI BibTeX RDF |
|
19 | Yangjun Chen |
The 2-MAXSAT Problem Can Be Solved in Polynomial Time. |
CoRR |
2023 |
DBLP DOI BibTeX RDF |
|
19 | David Warde-Farley, Vinod Nair, Yujia Li 0001, Ivan Lobov, Felix Gimeno, Simon Osindero |
Solving MaxSAT with Matrix Multiplication. |
CoRR |
2023 |
DBLP DOI BibTeX RDF |
|
19 | Pedro Orvalho, Vasco M. Manquinho, Ruben Martins |
UpMax: User partitioning for MaxSAT. |
CoRR |
2023 |
DBLP DOI BibTeX RDF |
|
19 | Josep Alòs, Carlos Ansótegui, Josep M. Salvia, Eduard Torres |
Exploiting Configurations of MaxSAT Solvers. |
CoRR |
2023 |
DBLP DOI BibTeX RDF |
|
19 | Jesus Ojeda |
Conformance checking artefacts through weighted partial MaxSAT. |
Inf. Syst. |
2023 |
DBLP DOI BibTeX RDF |
|
19 | Jordi Coll, Chu-Min Li, Felip Manyà, Elifnaz Yangin |
A Complete Tableau Calculus for the Regular MaxSAT Problem. |
CCIA |
2023 |
DBLP DOI BibTeX RDF |
|
19 | Zhiteng Chao, Senlin Wang, Pengyu Tian, Shuwen Yuan, Huawei Li 0001, Jing Ye 0001, Xiaowei Li 0001 |
A Distributed ATPG System Combining Test Compaction Based on Pure MaxSAT. |
ATS |
2023 |
DBLP DOI BibTeX RDF |
|
19 | Hui Wang, Abdallah Saffidine, Tristan Cazenave |
Towards Tackling MaxSAT by Combining Nested Monte Carlo with Local Search. |
LION |
2023 |
DBLP DOI BibTeX RDF |
|
19 | Antônio Carlos Souza Ferreira Júnior, Thiago Alves Rocha |
An Incremental MaxSAT-Based Model to Learn Interpretable and Balanced Classification Rules. |
BRACIS (1) |
2023 |
DBLP DOI BibTeX RDF |
|
19 | Stepan Kochemazov, Victor Kondratiev, Irina Gribanova |
Empirical Analysis of the RC2 MaxSAT Algorithm. |
MIPRO |
2023 |
DBLP DOI BibTeX RDF |
|
19 | Jiongzhi Zheng, Kun He 0001, Jianrong Zhou |
Farsighted Probabilistic Sampling: A General Strategy for Boosting Local Search MaxSAT Solvers. |
AAAI |
2023 |
DBLP DOI BibTeX RDF |
|
19 | Minghao Liu 0001, Pei Huang 0002, Fuqi Jia, Fan Zhang, Yuchen Sun, Shaowei Cai 0001, Feifei Ma, Jian Zhang 0001 |
Can Graph Neural Networks Learn to Solve the MaxSAT Problem? (Student Abstract). |
AAAI |
2023 |
DBLP DOI BibTeX RDF |
|
19 | Yi Chu, Shaowei Cai 0001, Chuan Luo 0002 |
NuWLS: Improving Local Search for (Weighted) Partial MaxSAT by New Weighting Techniques. |
AAAI |
2023 |
DBLP DOI BibTeX RDF |
|
19 | Andreas Niskanen, Isabelle Kuhlmann, Matthias Thimm, Matti Järvisalo |
MaxSAT-Based Inconsistency Measurement. |
ECAI |
2023 |
DBLP DOI BibTeX RDF |
|
19 | Jeremias Berg, Bart Bogaerts 0001, Jakob Nordström, Andy Oertel, Dieter Vandesande |
Certified Core-Guided MaxSAT Solving. |
CADE |
2023 |
DBLP DOI BibTeX RDF |
|
19 | Albert Oliveras, Chunxiao Li 0002, Darryl Wu, Jonathan Chung 0003, Vijay Ganesh |
Learning Shorter Redundant Clauses in SDCL Using MaxSAT. |
SAT |
2023 |
DBLP DOI BibTeX RDF |
|
19 | Pedro Orvalho, Vasco M. Manquinho, Ruben Martins |
UpMax: User Partitioning for MaxSAT. |
SAT |
2023 |
DBLP DOI BibTeX RDF |
|
19 | Ilario Bonacina, Maria Luisa Bonet, Jordi Levy |
Polynomial Calculus for MaxSAT. |
SAT |
2023 |
DBLP DOI BibTeX RDF |
|
19 | Tobias Paxian, Armin Biere |
Uncovering and Classifying Bugs in MaxSAT Solvers through Fuzzing and Delta Debugging. |
POS@SAT |
2023 |
DBLP BibTeX RDF |
|
19 | Junping Zhou, Jiaxin Liang, Minghao Yin, Bo He |
LS-DTKMS: A Local Search Algorithm for Diversified Top-k MaxSAT Problem. |
SAT |
2023 |
DBLP DOI BibTeX RDF |
|
19 | Zuzana Haniková, Felip Manyà, Amanda Vidal |
The MaxSAT Problem in the Real-Valued MV-Algebra. |
TABLEAUX |
2023 |
DBLP DOI BibTeX RDF |
|
19 | Sabah Binte Noor, Fazlul Hasan Siddiqui |
Improving MaxSAT-Reordered Plans via Block Deordering. |
NSysS |
2023 |
DBLP DOI BibTeX RDF |
|
19 | Rafael Kiesel, André Schidler |
A Dynamic MaxSAT-based Approach to Directed Feedback Vertex Sets. |
ALENEX |
2023 |
DBLP DOI BibTeX RDF |
|
19 | Josep Alòs, Carlos Ansótegui, Josep M. Salvia, Eduard Torres |
Exploiting Configurations of MaxSAT Solvers. |
CP |
2023 |
DBLP DOI BibTeX RDF |
|
19 | Yang Hu, Wenxi Wang, Sarfraz Khurshid, Kenneth L. McMillan, Mohit Tiwari |
Fixing Privilege Escalations in Cloud Access Control with MaxSAT and Graph Neural Networks. |
ASE |
2023 |
DBLP DOI BibTeX RDF |
|
19 | Haolin Ye |
An Optimal Structure-Aware Code Difference Framework with MaxSAT-Solver. |
SPLASH Companion |
2023 |
DBLP DOI BibTeX RDF |
|
19 | Chu-Min Li, Zhenxing Xu, Jordi Coll, Felip Manyà, Djamal Habet, Kun He 0001 |
Boosting branch-and-bound MaxSAT solvers with clause learning. |
AI Commun. |
2022 |
DBLP DOI BibTeX RDF |
|
19 | Abtin Molavi, Amanda Xu, Martin Diges, Lauren Pick, Swamit S. Tannu, Aws Albarghouthi |
Qubit Mapping and Routing via MaxSAT. |
CoRR |
2022 |
DBLP DOI BibTeX RDF |
|
19 | Hao Hu 0008, Marie-José Huguet, Mohamed Siala 0002 |
Optimizing Binary Decision Diagrams with MaxSAT for classification. |
CoRR |
2022 |
DBLP DOI BibTeX RDF |
|
19 | Jiongzhi Zheng, Kun He 0001, Jianrong Zhou, Yan Jin 0005, Chu-Min Li, Felip Manyà |
Incorporating Multi-armed Bandit with Local Search for MaxSAT. |
CoRR |
2022 |
DBLP DOI BibTeX RDF |
|
19 | Jiongzhi Zheng, Kun He 0001, Jianrong Zhou, Yan Jin 0005, Chu Min Li, Felip Manyà |
BandMaxSAT: A Local Search MaxSAT Solver with Multi-armed Bandit. |
CoRR |
2022 |
DBLP BibTeX RDF |
|
19 | Max Bannach, Malte Skambath, Till Tantau |
On the Parallel Parameterized Complexity of MaxSAT Variants. |
CoRR |
2022 |
DBLP DOI BibTeX RDF |
|
19 | Anastasios Kyrillidis, Moshe Y. Vardi, Zhiwei Zhang 0001 |
DPMS: An ADD-Based Symbolic Approach for Generalized MaxSAT Solving. |
CoRR |
2022 |
DBLP DOI BibTeX RDF |
|
19 | Max Bannach, Pamela Fleischmann, Malte Skambath |
MaxSAT with Absolute Value Functions: A Parameterized Perspective. |
CoRR |
2022 |
DBLP DOI BibTeX RDF |
|
19 | Rafael Kiesel, André Schidler |
A Dynamic MaxSAT-based Approach to Directed Feedback Vertex Sets. |
CoRR |
2022 |
DBLP DOI BibTeX RDF |
|
19 | Ali Tlili, Khaled Belahcène, Oumaima Khaled, Vincent Mousseau, Wassila Ouerdane |
Learning non-compensatory sorting models using efficient SAT/MaxSAT formulations. |
Eur. J. Oper. Res. |
2022 |
DBLP DOI BibTeX RDF |
|
19 | Carlos Ansótegui, Felip Manyà, Jesus Ojeda, Josep M. Salvia, Eduard Torres |
Incomplete MaxSAT approaches for combinatorial testing. |
J. Heuristics |
2022 |
DBLP DOI BibTeX RDF |
|
19 | Zaijun Zhang, Jincheng Zhou, Xiaoxia Wang, Heng Yang, Yi Fan |
Initial Solution Generation and Diversified Variable Picking in Local Search for (Weighted) Partial MaxSAT. |
Entropy |
2022 |
DBLP DOI BibTeX RDF |
|
19 | Jean-Raphaël Gaglione, Daniel Neider, Rajarshi Roy 0002, Ufuk Topcu, Zhe Xu 0005 |
MaxSAT-based temporal logic inference from noisy data. |
Innov. Syst. Softw. Eng. |
2022 |
DBLP DOI BibTeX RDF |
|
19 | Alexandre Lemos, Pedro T. Monteiro 0001, Inês Lynce |
Introducing UniCorT: an iterative university course timetabling tool with MaxSAT. |
J. Sched. |
2022 |
DBLP DOI BibTeX RDF |
|
19 | Guido Fiorino |
New Tableau Characterizations for Non-clausal MaxSAT Problem. |
Log. J. IGPL |
2022 |
DBLP DOI BibTeX RDF |
|
19 | Teddy Nurcahyadi, Christian Blum 0001, Felip Manyà |
Negative Learning Ant Colony Optimization for MaxSAT. |
Int. J. Comput. Intell. Syst. |
2022 |
DBLP DOI BibTeX RDF |
|
19 | Miquel Bofill, Jordi Coll, Jesús Giráldez-Cru, Josep Suy, Mateu Villaret |
The Impact of Implied Constraints on MaxSAT B2B Instances. |
Int. J. Comput. Intell. Syst. |
2022 |
DBLP DOI BibTeX RDF |
|
19 | Chu Min Li, Felip Manyà, Joan Ramon Soler, Amanda Vidal |
Clausal Forms in MaxSAT and MinSAT. |
Int. J. Comput. Intell. Syst. |
2022 |
DBLP DOI BibTeX RDF |
|
19 | Shoulin Li, Jordi Coll, Djamal Habet, Chu-Min Li, Felip Manyà |
A Tableau Calculus for MaxSAT Based on Resolution. |
CCIA |
2022 |
DBLP DOI BibTeX RDF |
|
19 | Abtin Molavi, Amanda Xu, Martin Diges, Lauren Pick, Swamit S. Tannu, Aws Albarghouthi |
Qubit Mapping and Routing via MaxSAT. |
MICRO |
2022 |
DBLP DOI BibTeX RDF |
|
19 | Chu Min Li, Felip Manyà |
Inference in MaxSAT and MinSAT. |
The Logic of Software. A Tasting Menu of Formal Methods |
2022 |
DBLP DOI BibTeX RDF |
|
19 | Dieter Vandesande, Wolf De Wulf, Bart Bogaerts 0001 |
QMaxSATpb: A Certified MaxSAT Solver. |
LPNMR |
2022 |
DBLP DOI BibTeX RDF |
|
19 | Yangjun Chen |
The 2-MAXSAT Problem Can Be Solved in Polynomial Time. |
CSCI |
2022 |
DBLP DOI BibTeX RDF |
|
19 | Hao Hu 0008, Marie-José Huguet, Mohamed Siala 0002 |
Optimizing Binary Decision Diagrams with MaxSAT for Classification. |
AAAI |
2022 |
DBLP DOI BibTeX RDF |
|
19 | Florent Avellaneda, Roger Villemaire |
Undercover Boolean Matrix Factorization with MaxSAT. |
AAAI |
2022 |
DBLP DOI BibTeX RDF |
|
19 | Alexey Ignatiev, Yacine Izza, Peter J. Stuckey, João Marques-Silva 0001 |
Using MaxSAT for Efficient Explanations of Tree Ensembles. |
AAAI |
2022 |
DBLP DOI BibTeX RDF |
|
19 | Nina Narodytska, Nikolaj S. Bjørner |
Analysis of Core-Guided MaxSat Using Cores and Correction Sets. |
SAT |
2022 |
DBLP DOI BibTeX RDF |
|
19 | Christoph Jabs, Jeremias Berg, Andreas Niskanen, Matti Järvisalo |
MaxSAT-Based Bi-Objective Boolean Optimization. |
SAT |
2022 |
DBLP DOI BibTeX RDF |
|
19 | Max Bannach, Malte Skambath, Till Tantau |
On the Parallel Parameterized Complexity of MaxSAT Variants. |
SAT |
2022 |
DBLP DOI BibTeX RDF |
|
19 | Preston Dunton, Darrell Whitley |
Reducing the cost of partition crossover on large MAXSAT problems: the PX-preprocessor. |
GECCO |
2022 |
DBLP DOI BibTeX RDF |
|
19 | Radoslaw Klimek |
Weight matching via pairwise comparison for MaxSAT. |
KES |
2022 |
DBLP DOI BibTeX RDF |
|
19 | Max Bannach, Pamela Fleischmann, Malte Skambath |
MaxSAT with Absolute Value Functions: A Parameterized Perspective. |
SWAT |
2022 |
DBLP DOI BibTeX RDF |
|