Search results for "Max-SAT"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
19	Souhila Sadeg, Habiba Drias, Ouassim Ait El Hara, Ania Kaci	ABSO: Advanced Bee Swarm Optimization Metaheuristic and Application to Weighted MAX-SAT Problem.	Brain Informatics	2011	DBLP DOI BibTeX RDF
19	Yossi Azar, Iftah Gamzu, Ran Roth	Submodular Max-SAT.	ESA	2011	DBLP DOI BibTeX RDF
19	Matthias Poloczek	Bounds on Greedy Algorithms for MAX SAT.	ESA	2011	DBLP DOI BibTeX RDF
19	Luis Otavio Rigo Junior, Valmir Carneiro Barbosa	Evolved Preambles for MAX-SAT Heuristics.	IJCCI (ECTA-FCTA)	2011	DBLP BibTeX RDF
19	Pey-Chang Kent Lin, Sunil P. Khatri	Efficient cancer therapy using Boolean networks and Max-SAT-based ATPG.	GENSiPS	2011	DBLP DOI BibTeX RDF
19	Anke van Zuylen	Simpler 3/4-Approximation Algorithms for MAX SAT.	WAOA	2011	DBLP DOI BibTeX RDF
19	Federico Heras, João Marques-Silva 0001	Read-Once Resolution for Unsatisfiability-Based Max-SAT Algorithms.	IJCAI	2011	DBLP DOI BibTeX RDF
19	Mohamed Qasem, Adam Prügel-Bennett	Learning the Large-Scale Structure of the MAX-SAT Landscape Using Populations.	IEEE Trans. Evol. Comput.	2010	DBLP DOI BibTeX RDF
19	Federico Heras, David Bañeres	The Impact of Max-SAT Resolution-Based Preprocessors on Local Search Solvers.	J. Satisf. Boolean Model. Comput.	2010	DBLP DOI BibTeX RDF
19	Robert Crowston, Gregory Z. Gutin, Mark Jones 0001, Anders Yeo	Linear-Number-of-Variables Kernel for Unit-Conflict-Free-Max-Sat Parameterized Above Expectation	CoRR	2010	DBLP BibTeX RDF
19	Marco Maratea	An Experimental Evaluation of Max-SAT and PB Solvers on Over-Subscription Planning Problems.	RCRA@CPAIOR	2010	DBLP BibTeX RDF
19	Denis Pankratov, Allan Borodin	On the Relative Merits of Simple Local Search Methods for the MAX-SAT Problem.	SAT	2010	DBLP DOI BibTeX RDF
19	Adrian Kügel	Improved Exact Solver for the Weighted MAX-SAT Problem.	POS@SAT	2010	DBLP DOI BibTeX RDF
19	Guohui Xiao 0001, Zuoquan Lin, Yue Ma 0009, Guilin Qi	Computing Inconsistency Measurements under Multi-Valued Semantics by Partial Max-SAT Solvers.	KR	2010	DBLP 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 Application.	IPEC	2010	DBLP DOI BibTeX RDF
19	Asim Munawar, Mohamed Wahib, Masaharu Munetomo, Kiyoshi Akama	Hybrid of genetic algorithm and local search to solve MAX-SAT problem using nVidia CUDA framework.	Genet. Program. Evolvable Mach.	2009	DBLP DOI BibTeX RDF
19	Silvia Liverani, James Cussens, Jim Q. Smith	Searching a Multivariate Partition Space Using MAX-SAT.	CIBB	2009	DBLP DOI BibTeX RDF
19	Chu Min Li, Felip Manyà, Nouredine Ould Mohamedou, Jordi Planes	Exploiting Cycle Structures in Max-SAT.	SAT	2009	DBLP DOI BibTeX RDF
19	Dalila Boughaci, Belaid Benhamou, Habiba Drias	Scatter Search and Genetic Algorithms for MAX-SAT Problems.	J. Math. Model. Algorithms	2008	DBLP DOI BibTeX RDF
19	Javier Larrosa, Federico Heras, Simon de Givry	A logical approach to efficient Max-SAT solving.	Artif. Intell.	2008	DBLP DOI BibTeX RDF
19	Oleg V. Shylo, Oleg A. Prokopyev, Vladimir Shylo	Solving weighted MAX-SAT via global equilibrium search.	Oper. Res. Lett.	2008	DBLP DOI BibTeX RDF
19	Federico Heras, Javier Larrosa, Simon de Givry, Thomas Schiex	2006 and 2007 Max-SAT Evaluations: Contributed Instances.	J. Satisf. Boolean Model. Comput.	2008	DBLP DOI BibTeX RDF
19	Knot Pipatsrisawat, Akop Palyan, Mark Chavira, Arthur Choi, Adnan Darwiche	Solving Weighted Max-SAT Problems in a Reduced Search Space: A Performance Analysis.	J. Satisf. Boolean Model. Comput.	2008	DBLP DOI BibTeX RDF
19	Josep Argelich, Chu Min Li, Felip Manyà, Jordi Planes	The First and Second Max-SAT Evaluations.	J. Satisf. Boolean Model. Comput.	2008	DBLP DOI BibTeX RDF
19	Federico Heras, Javier Larrosa, Albert Oliveras	MiniMaxSAT: An Efficient Weighted Max-SAT solver.	J. Artif. Intell. Res.	2008	DBLP DOI BibTeX RDF
19	Hans van Maaren, Linda van Norden, M. J. H. Heule	Sums of squares based approximation algorithms for MAX-SAT.	Discret. Appl. Math.	2008	DBLP DOI BibTeX RDF
19	James Cussens	Bayesian network learning by compiling to weighted MAX-SAT.	UAI	2008	DBLP BibTeX RDF
19	Han Lin, Kaile Su, Chu Min Li	Within-problem Learning for Efficient Lower Bound Computation in Max-SAT Solving.	AAAI	2008	DBLP BibTeX RDF
19	Hai Leong Chieu, Wee Sun Lee	Relaxed Survey Propagation: A Sum-Product Algorithm for Max-SAT.	AAAI	2008	DBLP BibTeX RDF
19	Paulo J. Matos, Jordi Planes, Florian Letombe, João Marques-Silva 0001	A MAX-SAT Algorithm Portfolio.	ECAI	2008	DBLP DOI BibTeX RDF
19	Roberto Battiti, Paolo Campigotto	Reinforcement Learning and Reactive Search: an adaptive MAX-SAT solver.	ECAI	2008	DBLP DOI BibTeX RDF
19	Mohamed Qasem, Adam Prügel-Bennett	Complexity of Max-SAT using stochastic algorithms.	GECCO	2008	DBLP DOI BibTeX RDF	hill-climbing., satisfiability, phase transition, maximum satisfiability
19	Qiang Yang 0001, Kangheng Wu, Yunfei Jiang	Learning action models from plan examples using weighted MAX-SAT.	Artif. Intell.	2007	DBLP DOI BibTeX RDF
19	Maria Luisa Bonet, Jordi Levy, Felip Manyà	Resolution for Max-SAT.	Artif. Intell.	2007	DBLP DOI BibTeX RDF
19	Chu Min Li, Felip Manyà, Jordi Planes	New Inference Rules for Max-SAT.	J. Artif. Intell. Res.	2007	DBLP DOI BibTeX RDF
19	Marcos Villagra, Benjamín Barán	A Global Convexity Analysis on the MAX-SAT Domain.	BIONETICS	2007	DBLP DOI BibTeX RDF
19	Dalila Boughaci, Belaid Benhamou, Habiba Drias	IGA: an Improved Genetic Algorithm for MAX-SAT Problems.	IICAI	2007	DBLP BibTeX RDF
19	Han Lin, Kaile Su	Exploiting Inference Rules to Compute Lower Bounds for MAX-SAT Solving.	IJCAI	2007	DBLP BibTeX RDF
19	Tian Sang, Paul Beame, Henry A. Kautz	A Dynamic Approach for MPE and Weighted MAX-SAT.	IJCAI	2007	DBLP BibTeX RDF
19	Takao Asano	An improved analysis of Goemans and Williamson's LP-relaxation for MAX SAT.	Theor. Comput. Sci.	2006	DBLP DOI BibTeX RDF
19	Javier Larrosa, Federico Heras, Simon de Givry	A Logical Approach to Efficient Max-SAT solving	CoRR	2006	DBLP BibTeX RDF
19	Pedro C. Pinto, Thomas A. Runkler, João M. C. Sousa	An ant algorithm for static and dynamic MAX-SAT problems.	BIONETICS	2006	DBLP DOI BibTeX RDF
19	Yuichiro Tokumaru, Akihiro Fujiwara	A Procedure for Max-SAT with DNA Strands.	FCS	2006	DBLP BibTeX RDF
19	Chu Min Li, Felip Manyà, Jordi Planes	Detecting Disjoint Inconsistent Subformulas for Computing Lower Bounds for Max-SAT.	AAAI	2006	DBLP BibTeX RDF
19	Federico Heras, Javier Larrosa	New Inference Rules for Efficient Max-SAT Solving.	AAAI	2006	DBLP BibTeX RDF
19	Amol Dattatraya Mali	On quantified weighted MAX-SAT.	Decis. Support Syst.	2005	DBLP DOI BibTeX RDF
19	Ya Zhang 0002, Hongyuan Zha, Chao-Hsien Chu, Xiang Ji 0001	Protein Interaction Inference as a MAX-SAT Problem.	CVPR Workshops	2005	DBLP DOI BibTeX RDF
19	Javier Larrosa, Federico Heras	Resolution in Max-SAT and its relation to local consistency in weighted CSPs.	IJCAI	2005	DBLP BibTeX RDF
19	Jianer Chen, Iyad A. Kanj	Improved exact algorithms for MAX-SAT.	Discret. Appl. Math.	2004	DBLP DOI BibTeX RDF
19	Dalila Boughaci, Habiba Drias	Solving weighted Max-Sat optimization problems using a Taboo Scatter Search metaheuristic.	SAC	2004	DBLP DOI BibTeX RDF	Max-W-Sat, Solution combination method, SAT, Scatter search, Hybrid metaheuristic, Taboo Search
19	Dalila Boughaci, Habiba Drias	A Performance Comparison of Evolutionary Meta-heuristics and Solving MAX-SAT Problems.	International Conference on Computational Intelligence	2004	DBLP BibTeX RDF
19	Malek Mouhoub	Solving Incremental MAX-SAT.	IASSE	2004	DBLP BibTeX RDF
19	Mohamed El-bachir Menai	Solution Reuse in Partial MAX-SAT Problem.	IRI	2004	DBLP DOI BibTeX RDF
19	Hantao Zhang 0001, Haiou Shen, Felip Manyà	Exact Algorithms for MAX-SAT.	FTP	2003	DBLP DOI BibTeX RDF
19	Takao Asano, David P. Williamson	Improved Approximation Algorithms for MAX SAT.	J. Algorithms	2002	DBLP DOI BibTeX RDF
19	James D. Park	Using Weighted MAX-SAT Engines to Solve MPE.	AAAI/IAAI	2002	DBLP BibTeX RDF
19	Jianer Chen, Iyad A. Kanj	Improved Exact Algorithms for MAX-SAT.	LATIN	2002	DBLP DOI BibTeX RDF	exact algorithms, parameterized algorithms, maximum satisfiability
19	Mohamed El-bachir Menai, Mohamed Batouche	'External Optimization' for Max-SAT.	IC-AI	2002	DBLP BibTeX RDF
19	Evgeny Dantsin, Michael Gavrilovich, Edward A. Hirsch, Boris Konev	MAX SAT approximation beyond the limits of polynomial-time approximation.	Ann. Pure Appl. Log.	2001	DBLP DOI BibTeX RDF
19	Mutsunori Yagiura, Toshihide Ibaraki	Efficient 2 and 3-Flip Neighborhood Search Algorithms for the MAX SAT: Experimental Evaluation.	J. Heuristics	2001	DBLP DOI BibTeX RDF
19	Mauricio G. C. Resende, Leonidas S. Pitsoulis, Panos M. Pardalos	Fortran subroutines for computing approximate solutions of weighted MAX-SAT problems using GRASP.	Discret. Appl. Math.	2000	DBLP DOI BibTeX RDF
19	Takao Asano, David P. Williamson	Improved approximation algorithms for MAX SAT.	SODA	2000	DBLP BibTeX RDF
19	Mutsunori Yagiura, Toshihide Ibaraki	Analyses on the 2 and 3-Flip Neighborhoods for the MAX SAT.	J. Comb. Optim.	1999	DBLP DOI BibTeX RDF
19	Sameet Agarwal, Anne Condon	On Approximation Algorithms for Hierarchical MAX-SAT.	J. Algorithms	1998	DBLP DOI BibTeX RDF
19	Roberto Battiti, Marco Protasi	Reactive Search, a History-Sensitive Heuristic for MAX-SAT.	ACM J. Exp. Algorithmics	1997	DBLP DOI BibTeX RDF
19	Takao Asano, Kuniaki Hori, Takao Ono, Tomio Hirata	A Theoretical Framework of Hybrid Approaches to MAX SAT.	ISAAC	1997	DBLP DOI BibTeX RDF
19	Jianer Chen, Donald K. Friesen, Hao Zheng	Tight Bound on Johnson's Algoritihm for Max-SAT.	CCC	1997	DBLP DOI BibTeX RDF	optimization, approximation algorithm, maximum satisfiability, performance ratio
19	Benjamin W. Wah, Yi Shang	Discrete Lagrangian-Based Search for Solving MAX-SAT Problems.	IJCAI (1)	1997	DBLP BibTeX RDF
19	Panos M. Pardalos, Leonidas S. Pitsoulis, Mauricio G. C. Resende	A Parallel GRASP for MAX-SAT Problems.	PARA	1996	DBLP DOI BibTeX RDF
19	Roberto Battiti, Marco Protasi	Solving MAX-SAT with non-oblivious functions and history-based heuristics.	Satisfiability Problem: Theory and Applications	1996	DBLP DOI BibTeX RDF
19	Mauricio G. C. Resende, Leonidas S. Pitsoulis, Panos M. Pardalos	Approximate solution of weighted MAX-SAT problems using GRASP.	Satisfiability Problem: Theory and Applications	1996	DBLP DOI BibTeX RDF
19	Gian Carlo Bongiovanni, Pierluigi Crescenzi, Sergio De Agostino	Max Sat and Min Set Cover Approximation Algorithms are P-Complete.	Parallel Process. Lett.	1995	DBLP DOI BibTeX RDF
19	Sameet Agarwal, Anne Condon	On Approximation Algorithms for Hierarchical MAX-SAT.	SCT	1995	DBLP DOI BibTeX RDF
19	Michel X. Goemans, David P. Williamson	A new \frac34-approximation algorithm for MAX SAT.	IPCO	1993	DBLP BibTeX RDF
18	Alexandra Meliou, Wolfgang Gatterbauer, Suman Nath, Dan Suciu	Tracing data errors with view-conditioned causality.	SIGMOD Conference	2011	DBLP DOI BibTeX RDF
18	Federico Heras, Javier Larrosa	Intelligent variable orderings and re-orderings in DAC-based solvers for WCSP.	J. Heuristics	2006	DBLP DOI BibTeX RDF	Weighted CSPs, Local consistency
18	Harry B. Hunt III, Madhav V. Marathe, Venkatesh Radhakrishnan, S. S. Ravi, Daniel J. Rosenkrantz, Richard Edwin Stearns	Approximation Schemes Using L-Reductions.	FSTTCS	1994	DBLP DOI BibTeX RDF
18	Pierluigi Crescenzi, Luca Trevisan	On Approximation Scheme Preserving Reducability and Its Applications.	FSTTCS	1994	DBLP DOI BibTeX RDF
12	Daniel Le Berre, Pierre Marquis, Meltem Öztürk	Aggregating Interval Orders by Propositional Optimization.	ADT	2009	DBLP DOI BibTeX RDF	preference modelling and aggregation, propositional reasoning, Boolean optimization, Interval orders
12	Mudassar Iqbal, Alex Alves Freitas, Colin G. Johnson	Protein Interaction Inference Using Particle Swarm Optimization Algorithm.	EvoBIO	2008	DBLP DOI BibTeX RDF
12	Abdesslem Layeb, Djamel-Eddine Saïdouni	A New Quantum Evolutionary Local Search Algorithm for MAX 3-SAT Problem.	HAIS	2008	DBLP DOI BibTeX RDF
12	Antonio D. Masegosa, Alejandro Sancho-Royo, David A. Pelta	An Adaptive Metaheuristic for the Simultaneous Resolution of a Set of Instances.	NICSO	2007	DBLP DOI BibTeX RDF
12	Radu Marinescu 0002, Rina Dechter	Best-First AND/OR Search for 0/1 Integer Programming.	CPAIOR	2007	DBLP DOI BibTeX RDF
12	Hisashi Handa	Estimation of distribution algorithms with niche separation mechanism.	IEEE Congress on Evolutionary Computation	2007	DBLP DOI BibTeX RDF
12	Roberto Battiti, Mauro Brunato, Paolo Campigotto	Learning While Optimizing an Unknown Fitness Surface.	LION	2007	DBLP DOI BibTeX RDF
12	Ashraf M. Abdelbar, Suzan Abdelshahid, Donald C. Wunsch II	Gaussian Versus Cauchy Membership Functions in Fuzzy PSO.	IJCNN	2007	DBLP DOI BibTeX RDF
12	Emma Rollon, Javier Larrosa	Bucket elimination for multiobjective optimization problems.	J. Heuristics	2006	DBLP DOI BibTeX RDF	Dynamic programming, Multiobjective optimization, Global constraints, Decomposition methods
12	Andrei A. Bulatov, Evgeny S. Skvortsov	Efficiency of Local Search.	SAT	2006	DBLP DOI BibTeX RDF
12	Sébastien Vérel, Philippe Collard, Manuel Clergue	Measuring the evolvability landscape to study neutrality.	GECCO	2006	DBLP DOI BibTeX RDF
12	William Benfold, Jonathan Hallam, Adam Prügel-Bennett	Optimal simulated annealing schedules for larger problems.	Congress on Evolutionary Computation	2005	DBLP DOI BibTeX RDF
12	Josep Argelich, Felip Manyà	Solving Over-Constrained Problems with SAT.	CP	2005	DBLP DOI BibTeX RDF
12	Irit Dinur, Omer Reingold	Assignment Testers: Towards a Combinatorial Proof of the PCP-Theorem.	FOCS	2004	DBLP DOI BibTeX RDF
12	Michele Conforti, Gérard Cornuéjols	A Class of Logic Problems Solvable by Linear Programming.	J. ACM	1995	DBLP DOI BibTeX RDF	balanced matrices, linear programming, propositional logic
1	Kai Zhang 0027, Sebastian Troitzsch, Tobias Massier, Romain Migné, Erine Siew Pheng Teh, Varun K. Advani, Maxime Cassat, Yan Xu 0005, King-Jet Tseng	Towards City-integrated Distributed Generation: Platform for Interconnected Micro-grid Operation (PRIMO).	IECON	2020	DBLP DOI BibTeX RDF