Chapter: Open-WBO: A Modular MaxSAT Solver,

Click here to donate your five minutes and submit the table of contents of a book.

Search from the table of contents of 2.5 million books

Advanced Search (Beta)

Home > Theory and Applications of Satisfiability Testing - SAT 2014: 17th International Conference, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014, Proceedings > Open-WBO: A Modular MaxSAT Solver,

Theory and Applications of Satisfiability Testing - SAT 2014: 17th International Conference, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014, Proceedings |

Carsten Sinz; Uwe Egly

Springer International Publishing

Theory and Applications of Satisfiability Testing - SAT 2014: 17th International Conference, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014, Proceedings

Open-WBO: A Modular MaxSAT Solver,

Chapter Info

Authors

Ruben Martins; Vasco Manquinho; Inês Lynce

ARI Id

1664708741742_2843667

Access

Not Available Free

Pages

438-445

DOI

10.1007/978-3-319-09284-3_33

Chapter URL

https://rd.springer.com/chapter/10.1007/978-3-319-09284-3_33

Chapters

entries per page

Filter:

Showing 0 to 0 of 0 entries

Chapter	Author(s)	Book	Book Authors	Year	Publisher
No data available in table
Chapter	Author(s)	Book	Book Authors	Year	Publisher

Showing 0 to 0 of 0 entries

Books

entries per page

Filter:

Showing 0 to 0 of 0 entries

Book	Author(s)	Year	Publisher
No data available in table
Book	Author(s)	Year	Publisher

Showing 0 to 0 of 0 entries

Books

Book	Author(s)	Year	Publisher
Book	Author(s)	Year	Publisher

Articles

entries per page

Filter:

Showing 0 to 0 of 0 entries

Article Title	Authors	Journal	Vol Info	Language
No data available in table
Article Title	Authors	Journal	Vol Info	Language

Showing 0 to 0 of 0 entries

Articles

entries per page

Filter:

Showing 0 to 0 of 0 entries

Heading	Article Title	Authors	Journal	Vol Info
No data available in table
Heading	Article Title	Authors	Journal	Vol Info

Showing 0 to 0 of 0 entries

Articles

entries per page

Filter:

Showing 0 to 0 of 0 entries

Title	Author	Supervisor	Degree	Institute
No data available in table
Title	Author	Supervisor	Degree	Institute

Showing 0 to 0 of 0 entries

Table of Contents of Book

entries per page

Filter:

Showing 1 to 8 of 8 entries

Chapters/Headings	Author(s)	Pages	Info
Front Matter
A (Biased) Proof Complexity Survey for SAT Practitioners	Jakob Nordström	1-6
Impact of Community Structure on SAT Solver Performance	Zack Newsham; Vijay Ganesh; Sebastian Fischmeister; Gilles Audemard; Laurent Simon	252-268
Automatic Evaluation of Reductions between NP-Complete Problems	Carles Creus; Pau Fernández; Guillem Godoy	415-421
DRAT-trim: Efficient Checking and Trimming Using Expressive Clausal Proofs	Nathan Wetzler; Marijn J. H. Heule; Warren A. Hunt Jr.	422-429
MPIDepQBF: Towards Parallel QBF Solving without Knowledge Sharing	Charles Jordan; Lukasz Kaiser; Florian Lonsing; Martina Seidl	430-437
Open-WBO: A Modular MaxSAT Solver,	Ruben Martins; Vasco Manquinho; Inês Lynce	438-445
Back Matter
Chapters/Headings	Author(s)	Pages	Info

Showing 1 to 8 of 8 entries

Similar Books

entries per page

Filter:

Showing 0 to 0 of 0 entries

Book	Author(s)	Year	Publisher
No data available in table
Book	Author(s)	Year	Publisher

Showing 0 to 0 of 0 entries

Similar Chapters

entries per page

Filter:

Showing 0 to 0 of 0 entries

Chapter	Author(s)	Book	Book Authors	Year	Publisher
No data available in table
Chapter	Author(s)	Book	Book Authors	Year	Publisher

Showing 0 to 0 of 0 entries

Similar Thesis

entries per page

Filter:

Showing 0 to 0 of 0 entries

Title	Author	Supervisor	Degree	Institute
No data available in table
Title	Author	Supervisor	Degree	Institute

Showing 0 to 0 of 0 entries

Similar News

entries per page

Filter:

Showing 0 to 0 of 0 entries

Headline	Date	News Paper	Country
No data available in table
Headline	Date	News Paper	Country

Showing 0 to 0 of 0 entries