UWrMaxSat: Efficient Solver for MaxSAT and Pseudo-Boolean Problems

2020 ◽  
Author(s):  
Marek Piotrow
Keyword(s):  
Efficient Solver

scholarly journals Efficient Solving of Birds of a Feather Puzzles

2019 ◽  
Vol 33 ◽  
pp. 9686-9692
Author(s):  
Todd W. Neller ◽  
Connor Berson ◽  
Jivan Kharel ◽  
Ryan Smolik
Keyword(s):  
Search Time ◽  
Lessons Learned ◽  
Future Research ◽  
Research Directions ◽  
Depth First Search ◽  
Game Birds ◽  
New Variant ◽  
Future Research Directions ◽  
Computationally Expensive ◽  
Efficient Solver

In this article, we describe the lessons learned in creating an efficient solver for the solitaire game Birds of a Feather. We introduce a new variant of depth-first search that we call best-n depth-first search that achieved a 99.56% reduction in search time over 100,000 puzzle seeds. We evaluate a number of potential node-ordering search features and pruning tests, perform an analysis of solvability prediction with such search features, and consider possible future research directions suggested by the most computationally expensive puzzle seeds encountered in our testing.

scholarly journals Efficient solver for swirling flow problems in ducts with variable radius

PAMM ◽  
2013 ◽  
Vol 13 (1) ◽  
pp. 441-442
Author(s):  
Florica Ioana Dragomirescu ◽  
Romeo Susan-Resiga ◽  
Sebastian Muntean
Keyword(s):  
Swirling Flow ◽  
Variable Radius ◽  
Flow Problems ◽  
Efficient Solver

scholarly journals Space–time least–squares isogeometric method and efficient solver for parabolic problems

2019 ◽  
Vol 89 (323) ◽  
pp. 1193-1227 ◽  
Author(s):  
Monica Montardini ◽  
Matteo Negri ◽  
Giancarlo Sangalli ◽  
Mattia Tani
Keyword(s):  
Least Squares ◽  
Space Time ◽  
Parabolic Problems ◽  
Efficient Solver

scholarly journals An efficient solver for space–time isogeometric Galerkin methods for parabolic problems

2020 ◽  
Vol 80 (11) ◽  
pp. 2586-2603
Author(s):  
Gabriele Loli ◽  
Monica Montardini ◽  
Giancarlo Sangalli ◽  
Mattia Tani
Keyword(s):  
Space Time ◽  
Parabolic Problems ◽  
Galerkin Methods ◽  
Efficient Solver

An efficient solver for nearshore flows based on the WAF method

2001 ◽  
Vol 43 (2) ◽  
pp. 105-129 ◽  
Author(s):  
M. Brocchini ◽  
R. Bernetti ◽  
A. Mancinelli ◽  
G. Albertini
Keyword(s):  
Efficient Solver

Efficient Solver for Spacetime Control of Smoke

2017 ◽  
Vol 36 (4) ◽  
pp. 1 ◽  
Author(s):  
Zherong Pan ◽  
Dinesh Manocha
Keyword(s):  
Efficient Solver
Sign in / Sign up

Export Citation Format

Share Document