Zoekresultaten
Resultaat 1 - 4 (van 4)
J.P. Warners | Hans van Maaren Solving satisfiability problems using elliptic approximations- a note on volumes and weights
Non-fictie
Engels | TU Delft, Faculty of Informationtechnology and Systems, Technical Mathematics and Informatics, Delft | 1998
Gedrukt boek
J.P. Warners | Hans van Maaren Solving satisfiability problems using elliptic approximations
effective branching rules
Non-fictie
Engels | Delft University of Technology, Faculty of Informationtechnology and Systems, Technical Mathematics and Informatics, Delft | 1998
Gedrukt boek
J.P. Warners | Hans van Maaren A two phase algorithm for solving a class of hard satisfiability problems
Non-fictie
Engels | 10 pagina's | Centrum voor Wiskunde en Informatica, Amsterdam | 1998
Gedrukt boek
Hans van Maaren Simplical pivoting algorithms for a tractable class of integer programs
Non-fictie
Engels | TU Delft, Faculty of Informationtechnology and Systems, Technical Mathematics and Informatics, Delft | 1998
Gedrukt boek