The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Searching for maxsat with no syntactic query expansion in all metadata.

Publication years (Num. hits)
1992-2000 (15) 2002-2007 (18) 2008-2009 (22) 2010-2011 (15) 2012 (16) 2013 (23) 2014 (20) 2015 (19) 2016 (18) 2017 (17) 2018 (18) 2019 (19) 2020 (28) 2021 (21) 2022 (40) 2023 (32) 2024 (8)
Publication types (Num. hits)
article(122) incollection(2) inproceedings(223) phdthesis(2)
Venues (Conferences, Journals, ...)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 75 occurrences of 49 keywords

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