On the greedy algorithm for satisfiability

On the greedy algorithm for satisfiability

Bibliographic Details
Main Authors:	Koutsoupias, E, Papadimitriou, C
Format:	Journal article
Published:	1992

Similar Items

Unravelling Greedy Algorithms
by: Bird, R
Published: (1992)

Two Greedy Algorithms
by: Bird, R
Published: (1992)

Greedy algorithms and Zipf laws
by: Moran, J, et al.
Published: (2018)

From Dynamic Programming to Greedy Algorithms
by: Bird, R, et al.
Published: (1993)

Phase transitions for greedy sparse approximation algorithms
by: Tanner, J, et al.
Published: (2010)

Satisfiability
by: Hoare, C
Published: (2015)

Performance comparisons of greedy algorithms in compressed sensing
by: Blanchard, J, et al.
Published: (2015)

GPU accelerated greedy algorithms for compressed sensing
by: Blanchard, J, et al.
Published: (2013)

Performance comparisons of greedy algorithms in compressed sensing
by: Blanchard, J, et al.
Published: (2015)

Performance Comparisons of Greedy Algorithms in Compressed Sensing
by: Blanchard, J, et al.
Published: (2013)

On greedy algorithms for binary de Bruijn sequences
by: Chang, Zuling, et al.
Published: (2021)

Tight Approximation Bounds for Greedy Frugal Coverage Algorithms
by: Caragiannis, I, et al.
Published: (2011)

A greedy genetic algorithm for the quadratic assignment problem
Published: (2003)

A class of greedy algorithms for the generalized assignment problem
by: Romeijn, H, et al.
Published: (2000)

Satisfiability Algorithms and Connections between Algorithms and Circuit Lower Bounds
by: Vyas, Nikhil
Published: (2023)

Consistency Guarantees for Greedy Permutation-Based Causal Inference Algorithms
by: Solus, L, et al.
Published: (2022)

Satisfied with dissatisfaction?
by: Key, A, et al.
Published: (1999)

A greedy algorithm for computing finite-makespan controllable sublanguages
by: Su, Rong.
Published: (2013)

Greedy : conception to production.
by: Chia, Simin.
Published: (2013)

A note on the greedy approximation algorithm for the unweighted set covering problem
Published: (2003)

A priori convergence of the Greedy algorithm for the parametrized reduced basis method
by: Buffa, Annalisa, et al.
Published: (2013)

Greedy integration based multi-frame detection algorithm in radar systems
by: Li, Wujun, et al.
Published: (2023)

A greedy, deterministic sampling-based path planning algorithm for AGV
by: Liu, Zhenqi
Published: (2024)

Non-optimality of the Greedy Algorithm for subspace orderings in the method of alternating projections
by: Darwin, O, et al.
Published: (2017)

The customer (working title) or greedy.
by: Woo, Pei Qi.
Published: (2013)

Average-case lower bounds and satisfiability algorithms for small threshold circuits
by: Chen, R, et al.
Published: (2018)

Average-case lower bounds and satisfiability algorithms for small threshold circuits
by: Chen, R, et al.
Published: (2016)

GreedyZero algorithms for conflict-free scheduling in low stage interconnection network
by: Moudi, Mehrnaz, et al.
Published: (2015)

A GreedyZero algorithm to minimise the conflicts in an Optical Multistage Interconnection Network
by: Moudi, Mehrnaz, et al.
Published: (2014)

Adapting the Elitism on the Greedy Algorithm for Variable Strength Combinatorial Test Cases Generation
by: Bahomaid, Ameen A., et al.
Published: (2018)

A variable combinatorial test suite strategy based on modified greedy algorithm
by: Homaid, Ameen A. Ba, et al.
Published: (2015)

Online Learning via Offline Greedy Algorithms: Applications in Market Design and Optimization
by: Niazadeh, Rad, et al.
Published: (2022)

A mini-greedy algorithm for faster structural RNA stem-loop search.
by: Gorodkin, J, et al.
Published: (2001)

Satisfy your craving for knowledge
by: New Straits Times,
Published: (2014)

Characterizing Boolean satisfiability variants
by: Ferreira Antunes Filho, Ivan Tadeu.
Published: (2020)

Satisfiability Solvers are Static Analysers
by: D'Silva, V, et al.
Published: (2012)

The Satisfiability Problem for Probabilistic CTL.
by: Brázdil, T, et al.
Published: (2008)

Satisfiability solvers are static analysers
by: D'Silva, V, et al.
Published: (2012)

XPath satisfiability in the presence of DTDs
by: Benedikt, M, et al.
Published: (2008)

Accelerating greedy coordinate descent methods
by: Lu, Haihao, et al.
Published: (2019)