ScienceOpen:
research and publishing network
For Publishers
Discovery
Metadata
Peer review
Hosting
Publishing
For Researchers
Join
Publish
Review
Collect
My ScienceOpen
Sign in
Register
Dashboard
Blog
About
Search
Advanced search
My ScienceOpen
Sign in
Register
Dashboard
Search
Search
Advanced search
For Publishers
Discovery
Metadata
Peer review
Hosting
Publishing
For Researchers
Join
Publish
Review
Collect
Blog
About
14
views
8
references
Top references
cited by
24
Cite as...
0 reviews
Review
0
comments
Comment
0
recommends
+1
Recommend
0
collections
Add to
0
shares
Share
Twitter
Sina Weibo
Facebook
Email
3,316
similar
All similar
Record
: found
Abstract
: not found
Book Chapter
: not found
Principles and Practice of Constraint Programming – CP 2004
Understanding Random SAT: Beyond the Clauses-to-Variables Ratio
other
Author(s):
Eugene Nudelman
,
Kevin Leyton-Brown
,
Holger H. Hoos
,
Alex Devkar
,
Yoav Shoham
Publication date
(Print):
2004
Publisher:
Springer Berlin Heidelberg
Read this book at
Publisher
Buy book
Review
Review book
Invite someone to review
Bookmark
Cite as...
There is no author summary for this book yet. Authors can add summaries to their books on ScienceOpen to make them more accessible to a non-specialist audience.
Related collections
UCL Grand Challenges: Cultural Understanding
Most cited references
8
Record
: found
Abstract
: not found
Article
: not found
Generating hard satisfiability problems
Bart Selman
,
David Mitchell
,
Hector Levesque
(1996)
0
comments
Cited
29
times
– based on
0
reviews
Review now
Bookmark
Record
: found
Abstract
: not found
Book Chapter
: not found
Learning the Empirical Hardness of Optimization Problems: The Case of Combinatorial Auctions
Kevin Leyton-Brown
,
Eugene Nudelman
,
Yoav Shoham
(2002)
0
comments
Cited
19
times
– based on
0
reviews
Bookmark
Record
: found
Abstract
: not found
Book Chapter
: not found
UBCSAT: An Implementation and Experimentation Environment for SLS Algorithms for SAT and MAX-SAT
Dave A. D. Tompkins
,
Holger Hoos
(2005)
0
comments
Cited
15
times
– based on
0
reviews
Bookmark
All references
Author and book information
Book Chapter
Publication date (Print):
2004
Pages
: 438-452
DOI:
10.1007/978-3-540-30201-8_33
SO-VID:
1176a7f4-df78-4f21-8b0a-70a33f819f20
History
Data availability:
Comments
Comment on this book
Sign in to comment
Book chapters
pp. 5
Constraint Programming Next Challenge: Simplicity of Use
pp. 47
Constraint-Based Combinators for Local Search
pp. 453
Symbolic Decision Procedures for QBF
pp. 604
Hybrid Set Domains to Strengthen Constraint Propagation and Reduce Symmetries
pp. 77
Constraint Propagation as a Proof System
pp. 107
Deriving Filtering Algorithms from Constraint Checkers
pp. 153
Decomposition and Learning for a Hard Real Time Task Allocation Problem
pp. 305
A Hybrid Method for Planning and Scheduling
pp. 362
Global Constraints for Integer and Set Value Precedence
pp. 438
Understanding Random SAT: Beyond the Clauses-to-Variables Ratio
pp. 557
Impact-Based Search Strategies for Constraint Programming
pp. 619
Speeding Up Constraint Propagation
pp. 663
Solving Non-clausal Formulas with DPLL Search
pp. 716
The Tractability of Global Constraints
Similar content
3,316
Unrecognized circulation of SAT 1 foot-and-mouth disease virus in cattle herds around Queen Elizabeth National Park in Uganda
Authors:
Moses Dhikusooka
,
Chrisostom Ayebazibwe
,
Alice Namatovu
…
'British Jobs for British Workers': The Lindsey Oil Refinery Dispute and the Future of Local Labour Clauses in an Integrated EU Market
Authors:
C. Barnard
Characterization of Foot and Mouth Disease Virus Serotype SAT-2 in Swamp Water Buffaloes (
Bubalus bubalis
) under the Egyptian Smallholder Production System
Authors:
Hend El Damaty
,
Elshaima M. Fawzi
,
Ahmed Neamat-Allah
…
See all similar
Cited by
24
TTT plots: a perl program to create time-to-target plots
Authors:
Renata Aiex
,
Celso C. Ribeiro
,
Mauricio Resende
SATzilla-07: The Design and Analysis of an Algorithm Portfolio for SAT
Authors:
Lin Xu
,
Frank Hutter
,
Holger Hoos
…
Efficient benchmarking of algorithm configurators via model-based surrogates
Authors:
Katharina Eggensperger
,
Marius Lindauer
,
Holger Hoos
…
See all cited by