Analysis and Solving SAT and MAX-SAT Problems Using an L-partition Approach
JOURNAL OF MATHEMATICAL MODELLING AND ALGORITHMS ; 12 , 2 ; 201-212
2013-01-01
12 pages
Aufsatz (Zeitschrift)
Unbekannt
DDC: | 003.3 |
© Metadata Copyright the British Library Board and other contributors. All rights reserved.
An Interactive Approach to Solving Correspondence Problems
British Library Online Contents | 2014
|Solving Least Squares Problems by Neural Network Approach
British Library Conference Proceedings | 1994
|Solving radar detection problems using simulation
IEEE | 1995
|Efficient Sparse Approach for Solving Receding-Horizon Control Problems
Online Contents | 2013
|