Ask
Search
My library

About
Statistics
Contact
Data Protection
Accessibility
Imprint
Changelog
Frontend: v1.31.3
Backend: v1.11.4

We use cookies to provide a better user experience.

Data Protection

On solving the partial MAX-SAT problem

Fu, Z.
Malik, S.

Publication date

January 2006

DOI

10.1007/11814948_25

ISSN

0302-9743

Citation count (estimate)

161

Abstract

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)4121 LNCS252-26

Extracted data

Related items

Multi-category classification by soft-max combination of binary classifiers

Duan, K.
Keerthi, S.S.
Chu, W.
Shevade, S.K.
Poo, A.N.

January 2003

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and ...

A fixed-length subset genetic algorithm for the p-median problem

Lim, A.
Xu, Z.

January 2003

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and ...

New approximation algorithms for some dynamic storage allocation problems

Li, S.C.
Leong, H.W.
Quek, S.K.

January 2004

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and ...

Rooted maximum agreement supertrees

Jansson, J.
Ng, J.H.-K.
Sadakane, K.
Sung, W.-K.

January 2004

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and ...

The XOO7 benchmark

Bressan, S.
Lee, M.L.
Li, Y.G.
Lacroix, Z.
Nambiar, U.

January 2003

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and ...

Molecular dynamics optimizer

Chiam, S.C.
Tan, K.C.
Al Mamun, A.

January 2007

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and ...

Co-optimization of performance and power in a superscalar processor design

Zhu, Y.
Wong, W.-F.
Andrei, Ş.

January 2006

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and ...

Thin maximal antichains in the turing degrees

Chong, C.T.
Yu, L.

January 2007

10.1007/978-3-540-73001-9_17Lecture Notes in Computer Science (including subseries Lecture Notes in ...

A logical approach to efficient Max-SAT solving

Larrosa, Javier
Heras, Federico
De Givry, Simon

January 2006

Weighted Max-SAT is the optimization version of SAT and many important problems can be naturally enc...

On solving the Partial MAX-SAT problem

Zhaohui Fu
Sharad Malik

January 2006

Abstract. Boolean Satisfiability (SAT) has seen many successful applications in various fields such ...

Succinct data structures for Searchable Partial Sums

Hon, W.-K.
Sadakane, K.
Sung, W.-K.

January 2003

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and ...

The maximum agreement of two nested phylogenetic networks

Jansson, J.
Sung, W.-K.

January 2004

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and ...

Membrane systems and distributed computing

Ciobanu, G.
Desai, R.
Kumar, A.

January 2003

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and ...

A probing approach for effective distributed resource reservation

Yuan, L.
Tham, C.-K.
Ananda, A.L.

January 2003

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and ...

Generalized committed choice

Jaffar, J.
Yap, R.H.C.
Zhu, K.Q.

January 2007

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and ...

Multi-category classification by soft-max combination of binary classifiers

Duan, K.
Keerthi, S.S.
Chu, W.
Shevade, S.K.
Poo, A.N.

January 2003

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and ...

A fixed-length subset genetic algorithm for the p-median problem

Lim, A.
Xu, Z.

January 2003

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and ...

New approximation algorithms for some dynamic storage allocation problems

Li, S.C.
Leong, H.W.
Quek, S.K.

January 2004

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and ...

Rooted maximum agreement supertrees

Jansson, J.
Ng, J.H.-K.
Sadakane, K.
Sung, W.-K.

January 2004

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and ...

The XOO7 benchmark

Bressan, S.
Lee, M.L.
Li, Y.G.
Lacroix, Z.
Nambiar, U.

January 2003

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and ...

Molecular dynamics optimizer

Chiam, S.C.
Tan, K.C.
Al Mamun, A.

January 2007

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and ...

Co-optimization of performance and power in a superscalar processor design

Zhu, Y.
Wong, W.-F.
Andrei, Ş.

January 2006

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and ...

Thin maximal antichains in the turing degrees

Chong, C.T.
Yu, L.

January 2007

10.1007/978-3-540-73001-9_17Lecture Notes in Computer Science (including subseries Lecture Notes in ...

A logical approach to efficient Max-SAT solving

Larrosa, Javier
Heras, Federico
De Givry, Simon

January 2006

Weighted Max-SAT is the optimization version of SAT and many important problems can be naturally enc...

On solving the Partial MAX-SAT problem

Zhaohui Fu
Sharad Malik

January 2006

Abstract. Boolean Satisfiability (SAT) has seen many successful applications in various fields such ...

Succinct data structures for Searchable Partial Sums

Hon, W.-K.
Sadakane, K.
Sung, W.-K.

January 2003

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and ...

The maximum agreement of two nested phylogenetic networks

Jansson, J.
Sung, W.-K.

January 2004

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and ...

Membrane systems and distributed computing

Ciobanu, G.
Desai, R.
Kumar, A.

January 2003

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and ...

A probing approach for effective distributed resource reservation

Yuan, L.
Tham, C.-K.
Ananda, A.L.

January 2003

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and ...

Generalized committed choice

Jaffar, J.
Yap, R.H.C.
Zhu, K.Q.

January 2007

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and ...

Multi-category classification by soft-max combination of binary classifiers

Duan, K.
Keerthi, S.S.
Chu, W.
Shevade, S.K.
Poo, A.N.

January 2003

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and ...

A fixed-length subset genetic algorithm for the p-median problem

Lim, A.
Xu, Z.

January 2003

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and ...

New approximation algorithms for some dynamic storage allocation problems

Li, S.C.
Leong, H.W.
Quek, S.K.

January 2004

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and ...