The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

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

Publication years (Num. hits)
1992-1996 (16) 1997-2001 (20) 2002-2003 (15) 2004 (15) 2005 (20) 2006 (19) 2007 (26) 2008 (23) 2009-2010 (23) 2011-2012 (24) 2013-2014 (20) 2015-2017 (19) 2018-2019 (16) 2020-2021 (21) 2022-2023 (15) 2024 (2)
Publication types (Num. hits)
article(90) incollection(3) inproceedings(199) phdthesis(2)
Venues (Conferences, Journals, ...)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 83 occurrences of 63 keywords

Results
Found 295 publication records. Showing 294 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
127Louise Leenen, Anbulagan, Thomas Meyer 0002, Aditya K. Ghose Modeling and Solving Semiring Constraint Satisfaction Problems by Transformation to Weighted Semiring Max-SAT. Search on Bibsonomy Australian Conference on Artificial Intelligence The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
110Adi Avidor, Ido Berkovitch, Uri Zwick Improved Approximation Algorithms for MAX NAE-SAT and MAX SAT. Search on Bibsonomy WAOA The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
109Dave A. D. Tompkins, Holger H. Hoos Scaling and Probabilistic Smoothing: Dynamic Local Search for Unweighted MAX-SAT. Search on Bibsonomy AI The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
107Eran Halperin, Uri Zwick Approximation Algorithms for MAX 4-SAT and Rounding Procedures for Semidefinite Programs. Search on Bibsonomy IPCO The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
105Takao Asano An Improved Analysis of Goemans and Williamson's LP-Relaxation for MAX SAT. Search on Bibsonomy FCT The full citation details ... 2003 DBLP  DOI  BibTeX  RDF Approximation algorithm, LP-relaxation, MAX SAT
99Fadi A. Aloul, Arathi Ramani, Karem A. Sakallah, Igor L. Markov Solution and Optimization of Systems of Pseudo-Boolean Constraints. Search on Bibsonomy IEEE Trans. Computers The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Pseudo Boolean (PB), Max-ONE, Global Routing, Conjunctive Normal Form (CNF), Backtrack Search, Integer Linear Programming (ILP), Max-SAT, Boolean Satisfiability (SAT)
93Zhaohui Fu, Sharad Malik On Solving the Partial MAX-SAT Problem. Search on Bibsonomy SAT The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
90Josep Argelich, Alba Cabiscol, Inês Lynce, Felip Manyà Encoding Max-CSP into Partial Max-SAT. Search on Bibsonomy ISMVL The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Minimal Support, Max-CSP, Partial Max-SAT, Encodings
88Josep Argelich, Felip Manyà Exact Max-SAT solvers for over-constrained problems. Search on Bibsonomy J. Heuristics The full citation details ... 2006 DBLP  DOI  BibTeX  RDF Soft constraints, Solvers, Max-SAT
85Kevin Smyth, Holger H. Hoos, Thomas Stützle Iterated Robust Tabu Search for MAX-SAT. Search on Bibsonomy AI The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
82Miquel Bofill, Dídac Busquets, Mateu Villaret A declarative approach to robust weighted Max-SAT. Search on Bibsonomy PPDP The full citation details ... 2010 DBLP  DOI  BibTeX  RDF max-sat, robustness
82Teresa Alsinet, Felip Manyà, Jordi Planes An efficient solver for weighted Max-SAT. Search on Bibsonomy J. Glob. Optim. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Weighted Branch and bound, Data structures, Heuristics, Lower bound, Max-SAT
82Sylvain Darras, Gilles Dequen, Laure Devendeville, Chu Min Li On Inconsistent Clause-Subsets for Max-SAT Solving. Search on Bibsonomy CP The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Unit Propagation, Inconsistent Subset, Max-SAT
82Teresa Alsinet, Felip Manyà, Jordi Planes A Max-SAT Solver with Lazy Data Structures. Search on Bibsonomy IBERAMIA The full citation details ... 2004 DBLP  DOI  BibTeX  RDF data structures, heuristics, lower bound, branch and bound, Max-SAT
80Federico Heras, Javier Larrosa Local Consistency in Weighted CSPs and Inference in Max-SAT. Search on Bibsonomy CP The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
79Federico Heras, Javier Larrosa A Max-SAT Inference-Based Pre-processing for Max-Clique. Search on Bibsonomy SAT The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Max-clique, Inference, Max-SAT
74Josep Argelich, Felip Manyà Partial Max-SAT Solvers with Clause Learning. Search on Bibsonomy SAT The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
73Chu Min Li, Felip Manyà, Jordi Planes Exploiting Unit Propagation to Compute Lower Bounds in Branch and Bound Max-SAT Solvers. Search on Bibsonomy CP The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
73Fadi A. Aloul, Arathi Ramani, Igor L. Markov, Karem A. Sakallah Generic ILP versus specialized 0-1 ILP: an update. Search on Bibsonomy ICCAD The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
73Simon de Givry, Javier Larrosa, Pedro Meseguer, Thomas Schiex Solving Max-SAT as Weighted CSP. Search on Bibsonomy CP The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
72Zhao Xing, Weixiong Zhang Efficient Strategies for (Weighted) Maximum Satisfiability. Search on Bibsonomy CP The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
68Federico Heras, Javier Larrosa, Albert Oliveras MiniMaxSat: A New Weighted Max-SAT Solver. Search on Bibsonomy SAT The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
68Karima 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
67Mark H. Liffiton, Karem A. Sakallah Generalizing Core-Guided Max-SAT. Search on Bibsonomy SAT The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
66Dave A. D. Tompkins, Holger H. Hoos UBCSAT: An Implementation and Experimentation Environment for SLS Algorithms for SAT and MAX-SAT. Search on Bibsonomy SAT (Selected Papers The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
64Josep Argelich, Alba Cabiscol, Inês Lynce, Felip Manyà Modelling Max-CSP as Partial Max-SAT. Search on Bibsonomy SAT The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
63Emilia 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
63John Thornton 0001, Stuart Bain, Abdul Sattar 0001, Duc Nghia Pham A Two Level Local Search for MAX-SAT Problems with Hard and Soft Constraints. Search on Bibsonomy Australian Joint Conference on Artificial Intelligence The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
62Abdelraouf Ishtaiwi, John Thornton 0001, Abdul Sattar 0001 Weight Redistribution for Unweighted MAX-SAT. Search on Bibsonomy Australian Conference on Artificial Intelligence The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
62Konstantinos Georgiou, Periklis A. Papakonstantinou Complexity and Algorithms for Well-Structured k-SAT Instances. Search on Bibsonomy SAT The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
60Takao Ono, Tomio Hirata, Takao Asano An Approximation Algorithm for MAX 3-SAT. Search on Bibsonomy ISAAC The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
60Frédéric Lardeux Approches Hybrides pour les problèmes de Satisfiabilité (SAT et MAX-SAT). (Hybrid approaches for the satisfiability problems (SAT and MAX-SAT)). Search on Bibsonomy 2005   RDF
56Aristotelis Giannakos, Laurent Gourvès, Jérôme Monnot, Vangelis Th. Paschos On the Performance of Congestion Games for Optimum Satisfiability Problems. Search on Bibsonomy WINE The full citation details ... 2007 DBLP  DOI  BibTeX  RDF non oblivious local search, max sat, approximation algorithm, price of anarchy
55Arthur Choi, Trevor Standley, Adnan Darwiche Approximating Weighted Max-SAT Problems by Compensating for Relaxations. Search on Bibsonomy CP The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
55Josep Argelich, Chu Min Li, Felip Manyà A Preprocessor for Max-SAT Solvers. Search on Bibsonomy SAT The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
55Alexander S. Kulikov, Konstantin Kutzkov New Bounds for MAX-SAT by Clause Learning. Search on Bibsonomy CSR The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
55Carlos Ansótegui, Maria Luisa Bonet, Jordi Levy, Felip Manyà A Complete Resolution Calculus for Signed Max-SAT. Search on Bibsonomy ISMVL The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
55Knot Pipatsrisawat, Adnan Darwiche Clone: Solving Weighted Max-SAT in a Reduced Search Space. Search on Bibsonomy Australian Conference on Artificial Intelligence The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
55Carla P. Gomes, Willem Jan van Hoeve, Lucian Leahu The Power of Semidefinite Programming Relaxations for MAX-SAT. Search on Bibsonomy CPAIOR The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
55Maria Luisa Bonet, Jordi Levy, Felip Manyà A Complete Calculus for Max-SAT. Search on Bibsonomy SAT The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
53Mitsuo Motoki Random Instance Generation for MAX 3SAT. Search on Bibsonomy COCOON The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
52Josep Argelich, Alba Cabiscol, Inês Lynce, Felip Manyà Sequential Encodings from Max-CSP into Partial Max-SAT. Search on Bibsonomy SAT The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
50Hankui Zhuo, Qiang Yang 0001, Lei Li 0022 Constraint-Based Case-Based Planning Using Weighted MAX-SAT. Search on Bibsonomy ICCBR The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
50Dalila Boughaci, Habiba Drias Efficient and Experimental Meta-heuristics for MAX-SAT Problems. Search on Bibsonomy WEA The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
50Mohamed El-bachir Menai A Two-Phase Backbone-Based Search Heuristic for Partial MAX-SAT - An Initial Investigation. Search on Bibsonomy IEA/AIE The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
49Daniele Pretolani Probability logic and optimization SAT: The PSAT and CPA models. Search on Bibsonomy Ann. Math. Artif. Intell. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF CNF formulas, ideal matrices, probability, logic, directed graphs, propositional satisfiability
48Stefan Szeider The Parameterized Complexity of k-Flip Local Search for SAT and MAX SAT. Search on Bibsonomy SAT The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
48Robert Nieuwenhuis, Albert Oliveras On SAT Modulo Theories and Optimization Problems. Search on Bibsonomy SAT The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
43Pedro C. Pinto, Thomas A. Runkler, João Miguel da Costa Sousa Ant Colony Optimization and its Application to Regular and Dynamic MAX-SAT Problems. Search on Bibsonomy Advances in Biologically Inspired Information Systems The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
43Pedro C. Pinto, Thomas A. Runkler, João Miguel da Costa Sousa Wasp Swarm Algorithm for Dynamic MAX-SAT Problems. Search on Bibsonomy ICANNGA (1) The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
43Evgeny Dantsin, Alexander Wolpert MAX-SAT for Formulas with Constant Clause Density Can Be Solved Faster Than in O(s2) Time. Search on Bibsonomy SAT The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
43Mohamed El-bachir Menai, Mohamed Batouche A Backbone-Based Co-evolutionary Heuristic for Partial MAX-SAT. Search on Bibsonomy Artificial Evolution The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
43Maxim Sviridenko Best Possible Approximation Algorithm for MAX SAT with Cardinality Constraint. Search on Bibsonomy Algorithmica The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
43Maxim Sviridenko Best Possible Approximation Algorithm for MAX SAT with Cardinality Constraint. Search on Bibsonomy APPROX The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
43Takao Asano Approximation Algorithms for MAX SAT: Yannakakis vs. Goemans-Williamson. Search on Bibsonomy ISTCS The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
39Federico Heras New Research Lines for Max-SAT - Exploiting the Recent Resolution Rule for Max-Sat. Search on Bibsonomy ICAART (1) The full citation details ... 2010 DBLP  BibTeX  RDF
39Souhila Sadeg, Habiba Drias, Hafid Aid, Samir Mazouz DNA based algorithms for solving both MAX-SAT and MAX-W-SAT problems. Search on Bibsonomy BIC-TA The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
39Brian Borchers, Judith Furman A Two-Phase Exact Algorithm for MAX-SAT and Weighted MAX-SAT Problems. Search on Bibsonomy J. Comb. Optim. The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
39Steve Joy, John E. Mitchell 0001, Brian Borchers A branch and cut algorithm for MAX-SAT and weighted MAX-SAT. Search on Bibsonomy Satisfiability Problem: Theory and Applications The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
38Mutsunori Yagiura, Toshihide Ibaraki Efficient 2 and 3-Flip Neighborhood Search Algorithms for the MAX SAT. Search on Bibsonomy COCOON The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
37Enrico Giunchiglia, Marco Maratea optsat: A Tool for Solving SAT Related Optimization Problems. Search on Bibsonomy JELIA The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
36Sean 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
36Josep Argelich, Felip Manyà Solving Over-Constrained Problems with SAT Technology. Search on Bibsonomy SAT The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
36Takao 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
34Luca Trevisan Positive Linear Programming, Parallel Approximation and PCP's. Search on Bibsonomy ESA The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
31Teresa Alsinet, Felip Manyà, Jordi Planes Improved Exact Solvers for Weighted Max-SAT. Search on Bibsonomy SAT The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
31Holger H. Hoos, Kevin Smyth, Thomas Stützle Search Space Features Underlying the Performance of Stochastic Local Search Algorithms for MAX-SAT. Search on Bibsonomy PPSN The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
31Habiba Drias, Sarah Ibri Parallel ACS for Weighted MAX-SAT. Search on Bibsonomy IWANN (1) The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
31Berilhes Borges Garcia, Samuel M. Brasil Jr. Towards Default Reasoning through MAX-SAT. Search on Bibsonomy SBIA The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
31Andrea Roli, Christian Blum 0001 Critical Parallelization of Local Search for MAX-SAT. Search on Bibsonomy AI*IA The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
31Miquel Ramírez, Hector Geffner Structural Relaxations by Variable Renaming and Their Compilation for Solving MinCostSAT. Search on Bibsonomy CP The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
30Matthieu Py, Mohamed Sami Cherif, Djamal Habet Computing Max-SAT Refutations using SAT Oracles. Search on Bibsonomy ICTAI The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
30Matthieu Py, Mohamed Sami Cherif, Djamal Habet Towards Bridging the Gap Between SAT and Max-SAT Refutations. Search on Bibsonomy ICTAI The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
30Sixue Liu, Gerard de Melo Should Algorithms for Random SAT and Max-SAT Be Different? Search on Bibsonomy AAAI The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
30Noureddine Bouhmala Enhanced Walk-SAT with Finite Learning Automata For MAX-SAT. Search on Bibsonomy Int. J. Comb. Optim. Probl. Informatics The full citation details ... 2014 DBLP  BibTeX  RDF
30Kenji Kanazawa, Tsutomu Maruyama FPGA acceleration of SAT/Max-SAT solving using variable-way cache. Search on Bibsonomy FPL The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
30Alexander A. Kolokolov, Alexander Adelshin, Darya Yagofarova Analysis and Solving SAT and MAX-SAT Problems Using an L-partition Approach. Search on Bibsonomy J. Math. Model. Algorithms Oper. Res. The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
30Adrian Kügel Natural Max-SAT Encoding of Min-SAT. Search on Bibsonomy LION The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
30Stefan Szeider The parameterized complexity of k-flip local search for SAT and MAX SAT. Search on Bibsonomy Discret. Optim. The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
30Bruno Escoffier, Vangelis Th. Paschos Differential Approximation of min sat, max sat and Related Problems. Search on Bibsonomy ICCSA (4) The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
30Frédéric Lardeux, Frédéric Saubion, Jin-Kao Hao Three Truth Values for the SAT and MAX-SAT Problems. Search on Bibsonomy IJCAI The full citation details ... 2005 DBLP  BibTeX  RDF
30Dave A. D. Tompkins, Holger H. Hoos UBCSAT: An Implementation and Experimentation Environment for SLS Algorithms for SAT & MAX-SAT. Search on Bibsonomy SAT The full citation details ... 2004 DBLP  BibTeX  RDF
30Malek Mouhoub, Changhai Wang Stochastic Local Search for Incremental SAT and Incremental MAX-SAT. Search on Bibsonomy KES The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
30Patrick Mills, Edward P. K. Tsang Guided Local Search for Solving SAT and Weighted MAX-SAT Problems. Search on Bibsonomy J. Autom. Reason. The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
28Ruiwen Chen, Rahul Santhanam Improved Algorithms for Sparse MAX-SAT and MAX-k-CSP. Search on Bibsonomy Electron. Colloquium Comput. Complex. The full citation details ... 2015 DBLP  BibTeX  RDF
28Ruiwen Chen, Rahul Santhanam Improved Algorithms for Sparse MAX-SAT and MAX-k-CSP. Search on Bibsonomy SAT The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
28André Abramé, Djamal Habet Local Max-Resolution in Branch and Bound Solvers for Max-SAT. Search on Bibsonomy ICTAI The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
28Josep Argelich, Alba Cabiscol, Inês Lynce, Felip Manyà Regular Encodings from Max-CSP into Partial Max-SAT. Search on Bibsonomy ISMVL The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
28Don Coppersmith, David Gamarnik, Mohammad Taghi Hajiaghayi, Gregory B. Sorkin Random MAX SAT, random MAX CUT, and their phase transitions. Search on Bibsonomy Random Struct. Algorithms The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
28Don Coppersmith, David Gamarnik, Mohammad Taghi Hajiaghayi, Gregory B. Sorkin Random MAX SAT, random MAX CUT, and their phase transitions. Search on Bibsonomy SODA The full citation details ... 2003 DBLP  BibTeX  RDF
27Johan Håstad Some optimal inapproximability results. Search on Bibsonomy J. ACM The full citation details ... 2001 DBLP  DOI  BibTeX  RDF NP-hard optimization problems, max-sat, linear equations, Inapproximability, probabilistically checkable proofs
27Sanjeev Mahajan, Ramesh Hariharan Derandomizing Semidefinite Programming Based Approximation Algorithms. Search on Bibsonomy FOCS The full citation details ... 1995 DBLP  DOI  BibTeX  RDF semidefinite programming based approximation algorithms, Max k-Cut, Max-Dicut, Max-Bisection, k Vertex Coloring, polynomial time randomized algorithms, polynomial time deterministic algorithms, computational complexity, randomized algorithms, semidefinite programming, programming theory, NP-Complete problems, deterministic algorithms, Independent Set, randomised algorithms, Max-Cut, Max-Sat
27Sanjeev Arora, Carsten Lund, Rajeev Motwani 0001, Madhu Sudan 0001, Mario Szegedy Proof Verification and Hardness of Approximation Problems Search on Bibsonomy FOCS The full citation details ... 1992 DBLP  DOI  BibTeX  RDF approximation problems, polynomial-time probabilistic oracle machine, random bits, MAXSNP-hard, metric TSP, time complexity, NP, MAX-CUT, MAX-SAT, proof verification
26Rajeshwary Tayade, Jacob A. Abraham Critical Path Selection for Delay Test Considering Coupling Noise. Search on Bibsonomy ETS The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Coupling noise, weighted partial max sat, critical path selection, delay test
25Lotfi Admane, Karima Benatchba, Mouloud Koudil, Habiba Drias, Said Gharout, Nacer Hamani Using ant colonies to solve data-mining problems. Search on Bibsonomy SMC (4) The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
25Cynthia Dwork, Uriel Feige, Joe Kilian, Moni Naor, Shmuel Safra Low Communication 2-Prover Zero-Knowledge Proofs for NP. Search on Bibsonomy CRYPTO The full citation details ... 1992 DBLP  DOI  BibTeX  RDF
24Mohamed Qasem, Adam Prügel-Bennett Improving Performance in Combinatorial Optimisation Using Averaging and Clustering. Search on Bibsonomy EvoCOP The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
24Paola Festa, Panos M. Pardalos, Leonidas S. Pitsoulis, Mauricio G. C. Resende GRASP with path relinking for the weighted MAXSAT problem. Search on Bibsonomy ACM J. Exp. Algorithmics The full citation details ... 2006 DBLP  DOI  BibTeX  RDF time-to-target plots, performance, Algorithms, heuristics, experimentation, GRASP, path relinking
24Zhao Xing, Yixin Chen 0001, Weixiong Zhang An Efficient Hybrid Strategy for Temporal Planning. Search on Bibsonomy CPAIOR The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
24Paola 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
Displaying result #1 - #100 of 294 (100 per page; Change: )
Pages: [1][2][3][>>]
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