Search    Browse

The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Searching for phrase Maximum-Satisfiability (changed automatically) with no syntactic query expansion in all metadata.

Publication years (Num. hits)
1981-1996 (15) 1997-2003 (19) 2004-2006 (16) 2007-2008 (16) 2009-2011 (18) 2012-2014 (16) 2015-2016 (17) 2017-2018 (18) 2019-2022 (24) 2023-2024 (10)
Publication types (Num. hits)
article(61) incollection(3) inproceedings(101) phdthesis(4)
Venues (Conferences, Journals, ...)
CoRR(12) SAT(9) AAAI(8) Artif. Intell.(6) ECAI(5) IJCAI(5) CP(4) ISMVL(4) Constraints An Int. J.(3) ICTAI(3) IEA/AIE(3) MFCS(3) ACM J. Exp. Algorithmics(2) AI Commun.(2) COCOON(2) Discret. Appl. Math.(2) More (+10 of total 96)
Authors
João Marques-Silva 0001(17) Inês Lynce(12) Vasco M. Manquinho(11) Matti Järvisalo(9) Alexey Ignatiev(8) Jeremias Berg(8) Ruben Martins(7) Shaowei Cai 0001(7) António Morgado 0001(6) Chuan Luo 0002(5) Weixiong Zhang(5) Brigitte Jaumard(4) David P. Williamson(4) Felip Manyà(4) Jianer Chen(4) Andreas G. Veneris(3) More (+10 of total 264)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 54 occurrences of 35 keywords
Results
Found 169 publication records. Showing 169 according to the selection in the facets
Hits ?▲ Authors Title Venue Year Link Author keywords
48Habiba Drias Randomness in Heuristics: An Experimental Investigation for the Maximum Satisfiability Problem. Search on Bibsonomy IWANN (1) The full citation details ... 1999 DBLP  DOI  BibTeX  RDF genetic algorithm, heuristics, local search, randomness, tabu search, maximum satisfiability
41Jianer Chen, Iyad A. Kanj Improved Exact Algorithms for MAX-SAT. Search on Bibsonomy LATIN The full citation details ... 2002 DBLP  DOI  BibTeX  RDF exact algorithms, parameterized algorithms, maximum satisfiability
41Joã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
39Roberto Battiti Maximum Satisfiability Problem. Search on Bibsonomy Encyclopedia of Optimization The full citation details ... 2009 DBLP  DOI  BibTeX  RDF History-sensitive heuristics, Approximation algorithms, Local search, Maximum satisfiability
39Dimitris Achlioptas, Assaf Naor, Yuval Peres On the maximum satisfiability of random formulas. Search on Bibsonomy J. ACM The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Maximum satisfiability
39Jianer Chen, Donald K. Friesen, Hao Zheng Tight Bound on Johnson's Algoritihm for Max-SAT. Search on Bibsonomy CCC The full citation details ... 1997 DBLP  DOI  BibTeX  RDF optimization, approximation algorithm, maximum satisfiability, performance ratio
36Karima Benatchba, Lotfi Admane, Mouloud Koudil Using Bees to Solve a Data-Mining Problem Expressed as a Max-Sat One. Search on Bibsonomy IWINAC (2) The full citation details ... 2005 DBLP  DOI  BibTeX  RDF Optimisation using bees, MBO algorithm, Data-Mining, Optimization, Satisfiability, Maximum-Satisfiability
36Habiba Drias, Mohamed Khabzaoui Scatter Search with Random Walk Strategy for SAT and MAX-W-SAT Problems. Search on Bibsonomy IEA/AIE The full citation details ... 2001 DBLP  DOI  BibTeX  RDF Weighted maximum satisfiability problem, genetic algorithm, heuristic search, optimization problem, scatter search, evolutionary approach
35Paola Festa, Panos M. Pardalos, Leonidas S. Pitsoulis, Mauricio G. C. Resende GRASP with Path-Relinking for the Weighted Maximum Satisfiability Problem. Search on Bibsonomy WEA The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
29Miguel F. Anjos Semidefinite Optimization Approaches for Satisfiability and Maximum-Satisfiability Problems. Search on Bibsonomy J. Satisf. Boolean Model. Comput. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
29Hans van Maaren, Linda van Norden Sums of Squares, Satisfiability and Maximum Satisfiability. Search on Bibsonomy SAT The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
29Weixiong Zhang Configuration landscape analysis and backbone guided local search: Part I: Satisfiability and maximum satisfiability. Search on Bibsonomy Artif. Intell. The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
29Zhe Wu 0002, Benjamin W. Wah Trap Escaping Strategies in Discrete Lagrangian Methods for Solving Hard Satisfiability and Maximum Satisfiability Problems. Search on Bibsonomy AAAI/IAAI The full citation details ... 1999 DBLP  BibTeX  RDF
29Andrei Z. Broder, Alan M. Frieze, Eli Upfal On the Satisfiability and Maximum Satisfiability of Random 3-CNF Formulas. Search on Bibsonomy SODA The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
29Dimitris Achlioptas, Assaf Naor, Yuval Peres On the Maximum Satisfiability of Random Formulas. Search on Bibsonomy FOCS The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
29Mihalis Yannakakis On the Approximation of Maximum Satisfiability. Search on Bibsonomy SODA The full citation details ... 1992 DBLP  BibTeX  RDF
26Emilia Oikarinen, Matti Järvisalo Max-ASP: Maximum Satisfiability of Answer Set Programs. Search on Bibsonomy LPNMR The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
26Sean Safarpour, Hratch Mangassarian, Andreas G. Veneris, Mark H. Liffiton, Karem A. Sakallah Improved Design Debugging Using Maximum Satisfiability. Search on Bibsonomy FMCAD The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
26Mohamed 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
26Takao Asano, Takao Ono, Tomio Hirata Approximation Algorithms for the Maximum Satisfiability Problem. Search on Bibsonomy SWAT The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
24Mohamed Sami Cherif Reasoning and Inference for (Maximum) Satisfiability: New Insights. (Raisonnement et Inférence pour la satisfiabilité (Maximum)). Search on Bibsonomy 2022   RDF
24Matthieu Py Inférence et certificats pour le problème de satisfiabilité maximum. (Inference and certificates for the maximum satisfiability problem). Search on Bibsonomy 2021   RDF
24Zhiwen Fang, Chu-Min Li, Kan Qiao, Xu Feng, Ke Xu 0001 Solving Maximum Weight Clique Using Maximum Satisfiability Reasoning. Search on Bibsonomy ECAI The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
21Yibin 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
21Mohamed Qasem, Adam Prügel-Bennett Complexity of Max-SAT using stochastic algorithms. Search on Bibsonomy GECCO The full citation details ... 2008 DBLP  DOI  BibTeX  RDF hill-climbing., satisfiability, phase transition, maximum satisfiability
21Haiou Shen, Hantao Zhang 0001 Improving exact algorithms for MAX-2-SAT. Search on Bibsonomy Ann. Math. Artif. Intell. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF exact algorithms, propositional satisfiability, maximum satisfiability
21Vittorio Bilò On Satisfiability Games and the Power of Congestion Games. Search on Bibsonomy AAIM The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
18Hoa T. Vu Revisiting maximum satisfiability and related problems in data streams. Search on Bibsonomy Theor. Comput. Sci. The full citation details ... 2024 DBLP  DOI  BibTeX  RDF
18Alexandre Lemos, Filipe Gouveia, Pedro T. Monteiro 0001, Inês Lynce Iterative Train Scheduling under Disruption with Maximum Satisfiability. Search on Bibsonomy J. Artif. Intell. Res. The full citation details ... 2024 DBLP  DOI  BibTeX  RDF
18Abdelrahman Hosny, Sherief Reda torchmSAT: A GPU-Accelerated Approximation To The Maximum Satisfiability Problem. Search on Bibsonomy CoRR The full citation details ... 2024 DBLP  DOI  BibTeX  RDF
18Vasily Alferov, Ivan Bliznets, Kirill Brilliantov Parameterization of (Partial) Maximum Satisfiability above Matching in a Variable-Clause Graph. Search on Bibsonomy AAAI The full citation details ... 2024 DBLP  DOI  BibTeX  RDF
18Mohamed Sami Cherif Reasoning and inference for (Maximum) satisfiability: new insights. Search on Bibsonomy Constraints An Int. J. The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
18Kirill Brilliantov, Vasily Alferov, Ivan Bliznets Improved Algorithms for Maximum Satisfiability and Its Special Cases. Search on Bibsonomy AAAI The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
18George Katsirelos An Analysis of Core-Guided Maximum Satisfiability Solvers Using Linear Programming. Search on Bibsonomy SAT The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
18Shuolin Li, Jordi Coll, Djamal Habet, Chu Min Li, Felip Manyà A Tableau Calculus for Signed Maximum Satisfiability. Search on Bibsonomy ISMVL The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
18Sandro Preto, Felip Manyà, Marcelo Finger Linking Łukasiewicz Logic and Boolean Maximum Satisfiability. Search on Bibsonomy ISMVL The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
18Gokul Hariharan, Phillip H. Jones, Kristin Yvonne Rozier, Tichakorn Wongpiromsarn Maximum Satisfiability of Mission-Time Linear Temporal Logic. Search on Bibsonomy FORMATS The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
18Wenjun Li 0001, Chao Xu 0010, Yongjie Yang 0001, Jianer Chen, Jianxin Wang 0001 A Refined Branching Algorithm for the Maximum Satisfiability Problem. Search on Bibsonomy Algorithmica The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
18Hoa T. Vu Revisiting Maximum Satisfiability and Related Problems in Data Streams. Search on Bibsonomy CoRR The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
18Abdirahman Alasow, Peter Jin, Marek A. Perkowski Quantum Algorithm for Variant Maximum Satisfiability. Search on Bibsonomy Entropy The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
18Emma Rollon, Javier Larrosa Proof Complexity for the Maximum Satisfiability Problem and its Use in SAT Refutations. Search on Bibsonomy J. Log. Comput. The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
18Tomoya Sugahara, Kaito Yamashita, Nathanaël Barrot, Miyuki Koshimura, Makoto Yokoo Robust Weighted Partial Maximum Satisfiability Problem: Challenge to σ2P-Complete Problem. Search on Bibsonomy PRICAI (1) The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
18Hannes Ihalainen, Jeremias Berg, Matti Järvisalo Clause Redundancy and Preprocessing in Maximum Satisfiability. Search on Bibsonomy IJCAR The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
18Andreas Niskanen, Jeremias Berg, Matti Järvisalo Incremental Maximum Satisfiability. Search on Bibsonomy SAT The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
18Abdirahman Alasow, Marek A. Perkowski Quantum Algorithm for Maximum Satisfiability. Search on Bibsonomy ISMVL The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
18Hoa T. Vu Revisiting Maximum Satisfiability and Related Problems in Data Streams. Search on Bibsonomy COCOON The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
18Maria Luisa Bonet, Sam Buss, Alexey Ignatiev, António Morgado 0001, João Marques-Silva 0001 Propositional proof systems based on maximum satisfiability. Search on Bibsonomy Artif. Intell. The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
18Vasily Alferov, Ivan Bliznets New Length Dependent Algorithm for Maximum Satisfiability Problem. Search on Bibsonomy AAAI The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
18Mate Soos, Kuldeep S. Meel Gaussian Elimination Meets Maximum Satisfiability. Search on Bibsonomy KR The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
18Henrik E. C. Cao, Riku Sarlin, Alexander Jung Learning Explainable Decision Rules via Maximum Satisfiability. Search on Bibsonomy IEEE Access The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
18Shaowei Cai 0001, Zhendong Lei Old techniques in new ways: Clause weighting, unit propagation and hybridization for maximum satisfiability. Search on Bibsonomy Artif. Intell. The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
18Alexandre Lemos, Pedro T. Monteiro 0001, Inês Lynce Minimal Perturbation in University Timetabling with Maximum Satisfiability. Search on Bibsonomy CPAIOR The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
18Zhendong Lei, Shaowei Cai 0001 Solving Set Cover and Dominating Set via Maximum Satisfiability. Search on Bibsonomy AAAI The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
18Oleg Zaikin 0002, Alexey Ignatiev, João Marques-Silva 0001 Branch Location Problems with Maximum Satisfiability. Search on Bibsonomy ECAI The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
18Chu Min Li, Felip Manyà, Amanda Vidal Tableaux for Maximum Satisfiability in Łukasiewicz Logic. Search on Bibsonomy ISMVL The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
18Yi Chu, Chuan Luo 0002, Shaowei Cai 0001, Haihang You Empirical investigation of stochastic local search for maximum satisfiability. Search on Bibsonomy Frontiers Comput. Sci. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
18Xiaojuan Liao, Hui Zhang, Miyuki Koshimura, Rong Huang, Wenxin Yu Maximum Satisfiability Formulation for Optimal Scheduling in Overloaded Real-Time Systems. Search on Bibsonomy PRICAI (1) The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
18Chu Min Li, Felip Manyà, Joan Ramon Soler A Tableau Calculus for Non-clausal Maximum Satisfiability. Search on Bibsonomy TABLEAUX The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
18Jeremias Berg, Matti Järvisalo Unifying Reasoning and Core-Guided Search for Maximum Satisfiability. Search on Bibsonomy JELIA The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
18Meng Liu, Dantong Ouyang, Shaowei Cai 0001, Liming Zhang 0005 Efficient zonal diagnosis with maximum satisfiability. Search on Bibsonomy Sci. China Inf. Sci. The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
18Inês Lynce, Vasco M. Manquinho, Ruben Martins Parallel Maximum Satisfiability. Search on Bibsonomy Handbook of Parallel Constraint Reasoning The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
18Atsushi Miyauchi 0001, Tomohiro Sonobe, Noriyoshi Sukegawa Exact Clustering via Integer Programming and Maximum Satisfiability. Search on Bibsonomy AAAI The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
18Katalin Fazekas, Fahiem Bacchus, Armin Biere Implicit Hitting Set Algorithms for Maximum Satisfiability Modulo Theories. Search on Bibsonomy IJCAR The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
18Fahiem Bacchus, Antti Hyttinen, Matti Järvisalo, Paul Saikko Reduced Cost Fixing for Maximum Satisfiability. Search on Bibsonomy IJCAI The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
18Jeremias Berg Solving Optimization Problems via Maximum Satisfiability: Encodings and Re-Encodings. Search on Bibsonomy 2018   RDF
18Alessandro Bezerra Trindade, Renato De Faria Degelo, Edilson Galvão Dos Santos Junior, Hussama Ibrahim Ismail, Helder Cruz Da Silva, Lucas Carvalho Cordeiro Multi-core model checking and maximum satisfiability applied to hardware-software partitioning. Search on Bibsonomy Int. J. Embed. Syst. The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
18Chuan Luo 0002, Shaowei Cai 0001, Kaile Su, Wenxuan Huang CCEHC: An efficient local search algorithm for weighted partial maximum satisfiability. Search on Bibsonomy Artif. Intell. The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
18Jeremias Berg, Matti Järvisalo Cost-optimal constrained correlation clustering via weighted partial Maximum Satisfiability. Search on Bibsonomy Artif. Intell. The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
18Matthias Poloczek, David P. Williamson An Experimental Evaluation of Fast Approximation Algorithms for the Maximum Satisfiability Problem. Search on Bibsonomy ACM J. Exp. Algorithmics The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
18He Jiang 0001, Jifeng Xuan, Yan Hu Approximating the Backbone in the Weighted Maximum Satisfiability Problem. Search on Bibsonomy CoRR The full citation details ... 2017 DBLP  BibTeX  RDF
18João Marques-Silva 0001, Alexey Ignatiev, António Morgado 0001 Horn Maximum Satisfiability: Reductions, Algorithms & Applications. Search on Bibsonomy CoRR The full citation details ... 2017 DBLP  BibTeX  RDF
18Matthias Poloczek, Georg Schnitger, David P. Williamson, Anke van Zuylen Greedy Algorithms for the Maximum Satisfiability Problem: Simple Algorithms and Inapproximability Bounds. Search on Bibsonomy SIAM J. Comput. The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
18Xujie Si, Xin Zhang 0035, Radu Grigore, Mayur Naik Maximum Satisfiability in Software Analysis: Applications and Techniques. Search on Bibsonomy CAV (1) The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
18Yu Feng 0001, Osbert Bastani, Ruben Martins, Isil Dillig, Saswat Anand Automated Synthesis of Semantic Malware Signatures using Maximum Satisfiability. Search on Bibsonomy NDSS The full citation details ... 2017 DBLP  BibTeX  RDF
18Yi Chu, Chuan Luo 0002, Wenxuan Huang, Haihang You, Dongrui Fan Hard Neighboring Variables Based Configuration Checking in Stochastic Local Search for Weighted Partial Maximum Satisfiability. Search on Bibsonomy ICTAI The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
18João Marques-Silva 0001, Alexey Ignatiev, António Morgado 0001 Horn Maximum Satisfiability: Reductions, Algorithms and Applications. Search on Bibsonomy EPIA The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
18Chuan Luo 0002, Shaowei Cai 0001, Kaile Su, Wenxuan Huang CCEHC: An Efficient Local Search Algorithm for Weighted Partial Maximum Satisfiability (Extended Abstract). Search on Bibsonomy IJCAI The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
18Yu Feng 0001, Osbert Bastani, Ruben Martins, Isil Dillig, Saswat Anand Automated Synthesis of Semantic Malware Signatures using Maximum Satisfiability. Search on Bibsonomy CoRR The full citation details ... 2016 DBLP  BibTeX  RDF
18Mohamed El Halaby, Areeg Abdalla Fuzzy Maximum Satisfiability. Search on Bibsonomy CoRR The full citation details ... 2016 DBLP  BibTeX  RDF
18Alexey Ignatiev, Mikolás Janota, João Marques-Silva 0001 Quantified maximum satisfiability. Search on Bibsonomy Constraints An Int. J. The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
18Matthias Poloczek, David P. Williamson An Experimental Evaluation of Fast Approximation Algorithms for the Maximum Satisfiability Problem. Search on Bibsonomy SEA The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
18Xin Zhang 0035, Ravi Mangal, Aditya V. Nori, Mayur Naik Query-guided maximum satisfiability. Search on Bibsonomy POPL The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
18Mohamed El Halaby, Areeg Abdalla Fuzzy Maximum Satisfiability. Search on Bibsonomy INFOS The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
18Jeremias Berg, Paul Saikko, Matti Järvisalo Subsumed Label Elimination for Maximum Satisfiability. Search on Bibsonomy ECAI The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
18Miguel Terra-Neves, Inês Lynce, Vasco M. Manquinho Non-Portfolio Approaches for Distributed Maximum Satisfiability. Search on Bibsonomy ICTAI The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
18Jack Goffinet, Raghuram Ramanujan Monte-Carlo Tree Search for the Maximum Satisfiability Problem. Search on Bibsonomy CP The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
18Chuan Luo 0002, Shaowei Cai 0001, Wei Wu 0042, Zhong Jie, Kaile Su CCLS: An Efficient Local Search Algorithm for Weighted Maximum Satisfiability. Search on Bibsonomy IEEE Trans. Computers The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
18Miguel Neves 0001, Inês Lynce, Vasco M. Manquinho DistMS: A Non-Portfolio Distributed Solver for Maximum Satisfiability. Search on Bibsonomy CoRR The full citation details ... 2015 DBLP  BibTeX  RDF
18Ruben Martins Parallel search for maximum satisfiability. Search on Bibsonomy Constraints An Int. J. The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
18Shin Nakajima 0001, Si-Mohamed Lamraoui Fault Localization of Timed Automata Using Maximum Satisfiability. Search on Bibsonomy SOFL+MSVL The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
18Shin Nakajima 0001, Si-Mohamed Lamraoui Fault Localization of Energy Consumption Behavior Using Maximum Satisfiability. Search on Bibsonomy CyPhy The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
18João Marques-Silva 0001, Mikolás Janota, Alexey Ignatiev, António Morgado 0001 Efficient Model Based Diagnosis with Maximum Satisfiability. Search on Bibsonomy IJCAI The full citation details ... 2015 DBLP  BibTeX  RDF
18Nikolaj S. Bjørner, Nina Narodytska Maximum Satisfiability Using Cores and Correction Sets. Search on Bibsonomy IJCAI The full citation details ... 2015 DBLP  BibTeX  RDF
18Yiyuan Wang, Dantong Ouyang, Liming Zhang 0005 Improved Algorithm of Unsatisfiability-based Maximum Satisfiability. Search on Bibsonomy IWOST-1 The full citation details ... 2015 DBLP  BibTeX  RDF
18Hai Leong Chieu, Wee Sun Lee Relaxed Survey Propagation for The Weighted Maximum Satisfiability Problem. Search on Bibsonomy CoRR The full citation details ... 2014 DBLP  BibTeX  RDF
18Nina Narodytska, Fahiem Bacchus Maximum Satisfiability Using Core-Guided MaxSAT Resolution. Search on Bibsonomy AAAI The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
18Kerstin Bunte, Matti Järvisalo, Jeremias Berg, Petri Myllymäki, Jaakko Peltonen, Samuel Kaski Optimal Neighborhood Preserving Visualization by Maximum Satisfiability. Search on Bibsonomy AAAI The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
18Alexey Ignatiev, António Morgado 0001, Vasco M. Manquinho, Inês Lynce, João Marques-Silva 0001 Progression in Maximum Satisfiability. Search on Bibsonomy ECAI The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
18Yiyan Lin, Sandeep S. Kulkarni Automatic repair for multi-threaded programs with Deadlock/Livelock using maximum satisfiability. Search on Bibsonomy ISSTA The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
18Jeremias Berg, Matti Järvisalo, Brandon M. Malone Learning Optimal Bounded Treewidth Bayesian Networks via Maximum Satisfiability. Search on Bibsonomy AISTATS The full citation details ... 2014 DBLP  BibTeX  RDF
Displaying result #1 - #100 of 169 (100 per page; Change: )
Pages: [1][2][>>]
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