Pages that link to "Item:Q753502"
From MaRDI portal
The following pages link to Algorithms for the maximum satisfiability problem (Q753502):
Displaying 29 items.
- Discrete dynamical system approaches for Boolean polynomial optimization (Q2161551) (← links)
- Probably partially true: satisfiability for Łukasiewicz infinitely-valued probabilistic logic and related topics (Q2209555) (← links)
- Rank-constrained fundamental matrix estimation by polynomial global optimization versus the eight-point algorithm (Q2354819) (← links)
- A user's guide to tabu search (Q2366991) (← links)
- Hashing vectors for tabu search (Q2366997) (← links)
- A tabu search procedure for multicommodity location/allocation with balancing requirements (Q2367013) (← links)
- Solving the maximum clique problem using a tabu search approach (Q2367014) (← links)
- Formal methods for reasoning and uncertainty reduction in evidential grid maps (Q2407931) (← links)
- MaxSolver: An efficient exact algorithm for (weighted) maximum satisfiability (Q2457672) (← links)
- Deconstructing Nowicki and Smutnicki's \(i\)-TSAB tabu search algorithm for the job-shop scheduling problem (Q2489308) (← links)
- An inventory-routing problem with the objective of travel time minimization (Q2514745) (← links)
- Algorithms for Solving Satisfiability Problems with Qualitative Preferences (Q2900530) (← links)
- Near-optimal algorithms for maximum constraint satisfaction problems (Q2930257) (← links)
- (Q2934583) (← links)
- An Empirical Study of MAX-2-SAT Phase Transitions (Q3439118) (← links)
- A Theoretical Analysis of Search in GSAT (Q3637172) (← links)
- An artificial neural network satisfiability tester (Q4329689) (← links)
- (Q4400641) (← links)
- Solving the<i>p</i>-Center problem with Tabu Search and Variable Neighborhood Search (Q4422624) (← links)
- Exact Algorithms for MAX-SAT (Q4916231) (← links)
- An analysis of parameter adaptation in reactive tabu search (Q4979993) (← links)
- ahmaxsat: Description and Evaluation of a Branch and Bound Max-SAT Solver (Q5015596) (← links)
- (Q5150565) (← links)
- Variable and Clause Ordering in an FSA Approach to Propositional Satisfiability (Q5200054) (← links)
- Greedy Algorithms for the Maximum Satisfiability Problem: Simple Algorithms and Inapproximability Bounds (Q5269825) (← links)
- Experimental and Efficient Algorithms (Q5710050) (← links)
- Variable neighborhood search: Principles and applications (Q5937708) (← links)
- On optimization problems in acyclic hypergraphs (Q6161450) (← links)
- Constraint learning: an appetizer (Q6535988) (← links)