Search results for "Max-SAT"

Hits ?▲	Authors	Title	Venue	Year	Link
24	Stuart Bain, John Thornton 0001, Abdul Sattar 0001	Evolving Variable-Ordering Heuristics for Constrained Optimisation.	CP	2005	DBLP DOI BibTeX RDF
24	David A. Cohen, Martin C. Cooper, Peter Jeavons 0001	A Complete Characterization of Complexity for Boolean Constraint Optimization Problems.	CP	2004	DBLP DOI BibTeX RDF
24	Jordi Planes	Improved Branch and Bound Algorithms for Max-2-SAT and Weighted Max-2-SAT.	CP	2003	DBLP DOI BibTeX RDF
19	Fahad Panolan, Hannane Yaghoubizade	On MAX-SAT with Cardinality Constraint.	WALCOM	2024	DBLP DOI BibTeX RDF
19	Pallavi Jain 0001, Lawqueen Kanesh, Fahad Panolan, Souvik Saha 0002, Abhishek Sahu, Saket Saurabh 0001, Anannya Upasana	Max-SAT with Cardinality Constraint Parameterized by the Number of Clauses.	LATIN (2)	2024	DBLP DOI BibTeX RDF
19	Mohit Kumar 0003, Samuel Kolb, Stefano Teso, Luc De Raedt	Learning MAX-SAT from contextual examples for combinatorial optimisation.	Artif. Intell.	2023	DBLP DOI BibTeX RDF
19	Daniel Berend, Shahar Golan, Yochai Twitto	CHAMP: A multipass algorithm for Max Sat based on saver variables.	Discret. Optim.	2023	DBLP DOI BibTeX RDF
19	Nils Timm, Josua Botha, Steven Jordaan	Max-SAT-based synthesis of optimal and Nash equilibrium strategies for multi-agent systems.	Sci. Comput. Program.	2023	DBLP DOI BibTeX RDF
19	Matthieu Py, Mohamed Sami Cherif, Djamal Habet	Proofs and Certificates for Max-SAT (Extended Abstract).	IJCAI	2023	DBLP DOI BibTeX RDF
19	Matthieu Py, Mohamed Sami Cherif, Djamal Habet	Proofs and Certificates for Max-SAT.	J. Artif. Intell. Res.	2022	DBLP DOI BibTeX RDF
19	Harshad Khadilkar	Solving the capacitated vehicle routing problem with timing windows using rollouts and MAX-SAT.	CoRR	2022	DBLP DOI BibTeX RDF
19	Mohit Kumar 0003, Samuel Kolb, Stefano Teso, Luc De Raedt	Learning MAX-SAT from Contextual Examples for Combinatorial Optimisation.	CoRR	2022	DBLP BibTeX RDF
19	Hideo Bannai, Keisuke Goto 0001, Masakazu Ishihata, Shunsuke Kanda, Dominik Köppl, Takaaki Nishimoto	Computing NP-hard Repetitiveness Measures via MAX-SAT.	CoRR	2022	DBLP DOI BibTeX RDF
19	Thomas Vigouroux, Cristian Ene, David Monniaux, Laurent Mounier, Marie-Laure Potet	BAXMC: a CEGAR approach to Max\#SAT.	CoRR	2022	DBLP DOI BibTeX RDF
19	Daniel Berend, Shahar Golan, Yochai Twitto	GO-MOCE: Greedy Order Method of Conditional Expectations for Max Sat.	Discret. Optim.	2022	DBLP DOI BibTeX RDF
19	Hideo Bannai, Keisuke Goto 0001, Masakazu Ishihata, Shunsuke Kanda, Dominik Köppl, Takaaki Nishimoto	Computing NP-Hard Repetitiveness Measures via MAX-SAT.	ESA	2022	DBLP DOI BibTeX RDF
19	Gilles Audemard, Jean-Marie Lagniez, Marie Miceli	A New Exact Solver for (Weighted) Max#SAT.	SAT	2022	DBLP DOI BibTeX RDF
19	Senne Berden, Mohit Kumar 0003, Samuel Kolb, Tias Guns	Learning MAX-SAT Models from Examples Using Genetic Algorithms and Knowledge Compilation.	CP	2022	DBLP DOI BibTeX RDF
19	Mohamed Sami Cherif, Djamal Habet, Matthieu Py	From Crossing-Free Resolution to Max-SAT Resolution.	CP	2022	DBLP DOI BibTeX RDF
19	Thomas Vigouroux, Cristian Ene, David Monniaux, Laurent Mounier, Marie-Laure Potet	BaxMC: a CEGAR approach to Max#SAT.	FMCAD	2022	DBLP DOI BibTeX RDF
19	Haifa Hamad AlKasem, Mohamed El Bachir Menai	A Stochastic Local Search Algorithm for the Partial Max-SAT Problem Based on Adaptive Tuning and Variable Depth Neighborhood Search.	IEEE Access	2021	DBLP DOI BibTeX RDF
19	Haifa Hamad AlKasem, Mohamed El Bachir Menai	Stochastic local search for Partial Max-SAT: an experimental evaluation.	Artif. Intell. Rev.	2021	DBLP DOI BibTeX RDF
19	Giacomo Bergami	On Declare MAX-SAT and a finite Herbrand Base for data-aware logs.	CoRR	2021	DBLP BibTeX RDF
19	Kiran Kumar Chandriah, Raghavendra V. Naraganahalli	Maximizing a deep submodular function optimization with a weighted MAX-SAT problem for trajectory clustering and motion segmentation.	Appl. Intell.	2021	DBLP DOI BibTeX RDF
19	Matthieu Py, Mohamed Sami Cherif, Djamal Habet	A Proof Builder for Max-SAT.	SAT	2021	DBLP DOI BibTeX RDF
19	Francisco Chicano, Gabriela Ochoa, Marco Tomassini	Real-like MAX-SAT instances and the landscape structure across the phase transition.	GECCO	2021	DBLP DOI BibTeX RDF
19	Matthieu Py, Mohamed Sami Cherif, Djamal Habet	Inferring Clauses and Formulas in Max-SAT.	ICTAI	2021	DBLP DOI BibTeX RDF
19	Daniel Berend, Shahar Golan, Yochai Twitto	A Novel Algorithm for Max Sat Calling MOCE to Order.	COCOA	2021	DBLP DOI BibTeX RDF
19	Mohamed Sami Cherif, Djamal Habet, André Abramé	Understanding the power of Max-SAT resolution through UP-resilience.	Artif. Intell.	2020	DBLP DOI BibTeX RDF
19	Ahmad Shabani, Bijan Alizadeh	PMTP: A MAX-SAT-Based Approach to Detect Hardware Trojan Using Propagation of Maximum Transition Probability.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	2020	DBLP DOI BibTeX RDF
19	Gabriela Ochoa, Francisco Chicano, Marco Tomassini	Global Landscape Structure and the Random MAX-SAT Phase Transition.	PPSN (2)	2020	DBLP DOI BibTeX RDF
19	Bernhard K. Aichernig, Christian Burghard	Giving a Model-Based Testing Language a Formal Semantics via Partial MAX-SAT.	ICTSS	2020	DBLP DOI BibTeX RDF
19	Daniel Berend, Yochai Twitto	Effect of Initial Assignment on Local Search Performance for Max Sat.	SEA	2020	DBLP DOI BibTeX RDF
19	Mohit Kumar 0003, Samuel Kolb, Stefano Teso, Luc De Raedt	Learning MAX-SAT from Contextual Examples for Combinatorial Optimisation.	AAAI	2020	DBLP DOI BibTeX RDF
19	Yih-Lang Li, Shih-Ting Lin, Shinichi Nishizawa, Hidetoshi Onodera	MCell: Multi-Row Cell Layout Synthesis with Resource Constrained MAX-SAT Based Detailed Routing.	ICCAD	2020	DBLP DOI BibTeX RDF
19	Marius Urbonas, Alan Bundy, Juan Casanova, Xue Li	The Use of Max-Sat for Optimal Choice of Automated Theory Repairs.	SGAI Conf.	2020	DBLP DOI BibTeX RDF
19	Tomás Dlask, Tomás Werner	Bounding Linear Programs by Constraint Propagation: Application to Max-SAT.	CP	2020	DBLP DOI BibTeX RDF
19	Yoichi Sasaki 0002, Takanori Maehara, Takumi Akazaki, Kazeto Yamamoto, Kunihiko Sadamasa	Solving Weighted Abduction via Max-SAT Solvers.	FLAIRS	2020	DBLP BibTeX RDF
19	Mourad Lassouaoui, Dalila Boughaci, Belaid Benhamou	A multilevel synergy Thompson sampling hyper-heuristic for solving Max-SAT.	Intell. Decis. Technol.	2019	DBLP DOI BibTeX RDF
19	Zhenxing Xu, Kun He 0001, Chu-Min Li	An iterative Path-Breaking approach with mutation and restart strategies for the MAX-SAT problem.	Comput. Oper. Res.	2019	DBLP DOI BibTeX RDF
19	Nicolas Pena, Allan Borodin	On extensions of the deterministic online model for bipartite matching and max-sat.	Theor. Comput. Sci.	2019	DBLP DOI BibTeX RDF
19	Noureddine Bouhmala	A Kernighan-Lin inspired algorithm for MAX-SAT.	Sci. China Inf. Sci.	2019	DBLP DOI BibTeX RDF
19	Noureddine Bouhmala	Combining simulated annealing with local search heuristic for MAX-SAT.	J. Heuristics	2019	DBLP DOI BibTeX RDF
19	Marco Benedetti, Marco Mori	On the use of Max-SAT and PDDL in RBAC maintenance.	Cybersecur.	2019	DBLP DOI BibTeX RDF
19	Yasuki Iizuka, Haruki Koshiba	Massive Parallel Max-SAT Solver Based on Speculative Computation.	IIAI-AAI	2019	DBLP DOI BibTeX RDF
19	Gabriela Ochoa, Francisco Chicano	Local optima network analysis for MAX-SAT.	GECCO (Companion)	2019	DBLP DOI BibTeX RDF
19	Iyad Abu Doush, Amal Lutfi Quran, Mohammed Azmi Al-Betar, Mohammed A. Awadallah 0001	MAX-SAT Problem using Hybrid Harmony Search Algorithm.	J. Intell. Syst.	2018	DBLP DOI BibTeX RDF
19	Botond Molnár, Melinda Varga, Zoltán Toroczkai, Mária Ercsey-Ravasz	A high-performance analog Max-SAT solver and its application to Ramsey numbers.	CoRR	2018	DBLP BibTeX RDF
19	Zhenxing Xu, Kun He 0001, Chu-Min Li	An Iterative Path-Breaking Approach with Mutation and Restart Strategies for the MAX-SAT Problem.	CoRR	2018	DBLP BibTeX RDF
19	Mohamed El Halaby	Solving the Course-timetabling Problem of Cairo University Using Max-SAT.	CoRR	2018	DBLP BibTeX RDF
19		Exponential-Time Approximation Algorithms for MAX-SAT: Correlations and Implications.	CoRR	2018	DBLP BibTeX RDF
19	Chenchen Ding, Jinlong Li	Simulating game playing to solve Max-SAT.	ICACI	2018	DBLP DOI BibTeX RDF
19	Marco Benedetti, Marco Mori	Parametric RBAC Maintenance via Max-SAT.	SACMAT	2018	DBLP DOI BibTeX RDF
19	Jieying Chen, Yue Ma 0009, Dirk Walther 0002	Computing Best Ontology Excerpts via Weighted Partial Max-SAT Solving.	Description Logics	2018	DBLP BibTeX RDF
19	Takayuki Sakai, Kazuhisa Seto, Suguru Tamaki, Junichi Teruyama	Improved exact algorithms for mildly sparse instances of Max SAT.	Theor. Comput. Sci.	2017	DBLP DOI BibTeX RDF
19	Mourad Lassouaoui, Dalila Boughaci, Belaid Benhamou	A multilevel hyper-heuristic for solving Max-SAT.	Int. J. Metaheuristics	2017	DBLP DOI BibTeX RDF
19	Matthias Heizmann, Christian Schilling 0001, Daniel Tischner	Minimization of Visibly Pushdown Automata Using Partial Max-SAT.	CoRR	2017	DBLP BibTeX RDF
19	Matthias Heizmann, Christian Schilling 0001, Daniel Tischner	Minimization of Visibly Pushdown Automata Using Partial Max-SAT.	TACAS (1)	2017	DBLP DOI BibTeX RDF
19	Naoya Inoue, Andrew S. Gordon	A Scalable Weighted Max-SAT Implementation of Propositional Etcetera Abduction.	FLAIRS	2017	DBLP BibTeX RDF
19	Sixue Liu, Yulong Ceng, Gerard de Melo	A Probability Distribution Strategy with Efficient Clause Selection for Hard Max-SAT Formulas.	CoRR	2016	DBLP BibTeX RDF
19	Nicolas Pena, Allan Borodin	On the limitations of deterministic de-randomizations for online bipartite matching and max-sat.	CoRR	2016	DBLP BibTeX RDF
19	Yanli Liu 0001, Chumin Li, Kun He 0001, Yi Fan	Breaking Cycle Structure to Improve Lower Bound for Max-SAT.	FAW	2016	DBLP DOI BibTeX RDF
19	Youcef Djenouri, Zineb Habbas, Wassila Aggoune-Mtalaa	Bees Swarm Optimization Metaheuristic Guided by Decomposition for Solving MAX-SAT.	ICAART (2)	2016	DBLP DOI BibTeX RDF
19	André Abramé, Djamal Habet	Learning Nobetter Clauses in Max-SAT Branch and Bound Solvers.	ICTAI	2016	DBLP DOI BibTeX RDF
19	Noureddine Bouhmala, Mats Oselan, Øyestein Brådland	Enhanced WalkSAT with Variable Neighborhood Search for MAX-SAT Problems.	IntelliSys (1)	2016	DBLP DOI BibTeX RDF
19	Junichiro Imatomi, Akihiro Fujiwara	An Asynchronous P System for MAX-SAT.	CANDAR	2016	DBLP DOI BibTeX RDF
19	Takayuki Sakai, Kazuhisa Seto, Suguru Tamaki	Solving Sparse Instances of Max SAT via Width Reduction and Greedy Restriction.	Theory Comput. Syst.	2015	DBLP DOI BibTeX RDF
19	Noureddine Bouhmala	A multilevel learning automata for MAX-SAT.	Int. J. Mach. Learn. Cybern.	2015	DBLP DOI BibTeX RDF
19	Stephen H. Bach, Bert Huang, Lise Getoor	Unifying Local Consistency and MAX SAT Relaxations for Scalable Inference with Rounding Guarantees.	AISTATS	2015	DBLP BibTeX RDF
19	Takayuki Sakai, Kazuhisa Seto, Suguru Tamaki, Junichi Teruyama	Improved Exact Algorithms for Mildly Sparse Instances of Max SAT.	IPEC	2015	DBLP DOI BibTeX RDF
19	Wenxing Zhu, Yuanhui Yan	Solving the weighted MAX-SAT problem using the dynamic convexized method.	Optim. Lett.	2014	DBLP DOI BibTeX RDF
19	Bruno Escoffier, Vangelis Th. Paschos, Emeric Tourniaire	Approximating MAX SAT by moderately exponential and parameterized algorithms.	Theor. Comput. Sci.	2014	DBLP DOI BibTeX RDF
19	André Abramé, Djamal Habet	Ahmaxsat: Description and Evaluation of a Branch and Bound Max-SAT Solver.	J. Satisf. Boolean Model. Comput.	2014	DBLP DOI BibTeX RDF
19	Hafiz Munsub Ali, David Mitchell, Daniel C. Lee 0001	MAX-SAT problem using evolutionary algorithms.	SIS	2014	DBLP DOI BibTeX RDF
19	Takayuki Sakai, Kazuhisa Seto, Suguru Tamaki	Solving Sparse Instances of Max SAT via Width Reduction and Greedy Restriction.	SAT	2014	DBLP DOI BibTeX RDF
19	André Abramé, Djamal Habet	On the Extension of Learning for Max-SAT.	STAIRS	2014	DBLP DOI BibTeX RDF
19	Éric Grégoire, Jean-Marie Lagniez, Bertrand Mazure	Multiple Contraction through Partial-Max-SAT.	ICTAI	2014	DBLP DOI BibTeX RDF
19	André Abramé, Djamal Habet	Efficient Application of Max-SAT Resolution on Inconsistent Subsets.	CP	2014	DBLP DOI BibTeX RDF
19	Matthias Poloczek, David P. Williamson, Anke van Zuylen	On Some Recent Approximation Algorithms for MAX SAT.	LATIN	2014	DBLP DOI BibTeX RDF
19	André Abramé, Djamal Habet	Maintaining and Handling All Unit Propagation Reasons in Exact Max-SAT Solvers.	SOCS	2014	DBLP DOI BibTeX RDF
19	Mohamed El-bachir Menai, Tasniem Nasser Al-Yahya	A Taxonomy of Exact Methods for Partial Max-SAT.	J. Comput. Sci. Technol.	2013	DBLP DOI BibTeX RDF
19	Matthias Poloczek, David P. Williamson, Anke van Zuylen	On Some Recent MAX SAT Approximation Algorithms.	CoRR	2013	DBLP BibTeX RDF
19	Pedro C. Pinto, Thomas A. Runkler, João M. C. Sousa	Insect Swarm Algorithms for Dynamic MAX-SAT Problems.	Metaheuristics for Dynamic Optimization	2013	DBLP DOI BibTeX RDF
19	Carlos Ansótegui, Idelfonso Izquierdo, Felip Manyà, José Torres-Jiménez	A Max-SAT-Based Approach to Constructing Optimal Covering Arrays.	CCIA	2013	DBLP DOI BibTeX RDF
19	Bao Le, Dipanjan Sengupta, Andreas G. Veneris	Reviving erroneous stability-based clock-gating using partial Max-SAT.	ASP-DAC	2013	DBLP DOI BibTeX RDF
19	Krzysztof L. Sadowski, Peter A. N. Bosman, Dirk Thierens	On the usefulness of linkage processing for solving MAX-SAT.	GECCO	2013	DBLP DOI BibTeX RDF
19	Robert Crowston, Gregory Z. Gutin, Mark Jones 0001, Anders Yeo	A New Lower Bound on the Maximum Number of Satisfied Clauses in Max-SAT and Its Algorithmic Applications.	Algorithmica	2012	DBLP DOI BibTeX RDF
19	Miyuki Koshimura, Tong Zhang 0013, Hiroshi Fujita 0002, Ryuzo Hasegawa	QMaxSAT: A Partial Max-SAT Solver.	J. Satisf. Boolean Model. Comput.	2012	DBLP DOI BibTeX RDF
19		Evaluation of Particle Swarm Optimization Algorithms for Weighted Max-Sat Problem: Technical Report	CoRR	2012	DBLP BibTeX RDF
19	James Cussens	Bayesian network learning by compiling to weighted MAX-SAT	CoRR	2012	DBLP BibTeX RDF
19	Zhipeng Lü, Jin-Kao Hao	Adaptive memory-based local search for MAX-SAT.	Appl. Soft Comput.	2012	DBLP DOI BibTeX RDF
19	Bruno Escoffier, Vangelis Th. Paschos, Emeric Tourniaire	Approximating MAX SAT by Moderately Exponential and Parameterized Algorithms.	TAMC	2012	DBLP DOI BibTeX RDF
19	André Abramé, Djamal Habet	Inference Rules in Local Search for Max-SAT.	ICTAI	2012	DBLP DOI BibTeX RDF
19	Dominique D'Almeida, Éric Grégoire	Model-based diagnosis with default information implemented through MAX-SAT technology.	IRI	2012	DBLP DOI BibTeX RDF
19	Ivan Bliznets, Alexander Golovnev	A New Algorithm for Parameterized MAX-SAT.	IPEC	2012	DBLP DOI BibTeX RDF
19	Matthias Poloczek	Greedy algorithms for max sat and maximum matching: their power and limitations.		2012	RDF
19	Josep Argelich	Max-SAT formalisms with hard and soft constraints.	AI Commun.	2011	DBLP DOI BibTeX RDF
19	Luis Otavio Rigo Junior, Valmir Carneiro Barbosa	Evolved preambles for MAX-SAT heuristics	CoRR	2011	DBLP BibTeX RDF
19	Chu Min Li, Felip Manyà, Jordi Planes	New Inference Rules for Max-SAT	CoRR	2011	DBLP BibTeX RDF
19	Matthias Poloczek, Georg Schnitger	Randomized Variants of Johnson's Algorithm for MAX SAT.	SODA	2011	DBLP DOI BibTeX RDF