Search results for "MAXSAT"

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