( en | de | ru )

 

Disambiguation of "van Maaren, Hans"

Author of the publication

copydeleteadd this publication to your clipboard
Handbook of Satisfiability

, , , and (Eds.) Frontiers in Artificial Intelligence and Applications IOS Press, (2009)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Huynh Van Van

Hans van Els

Hans van Els

Hans van Deurzen

Hans van Els

 

Other publications of authors with the same name

A Simplicial Approach to the Determination of an Integer Point of a Simplex., and . Math. Oper. Res., 23 (2): 403-415 (1998)Whose side are you on? Finding solutions in a biased search-tree., and . J. Satisf. Boolean Model. Comput., 4 (2-4): 117-148 (2008)Sums of Squares, Satisfiability and Maximum Satisfiability., and . SAT, volume 3569 of Lecture Notes in Computer Science, page 294-308. Springer, (2005)A Short Note on Some Tractable Cases of the Satisfiability Problem.. Inf. Comput., 158 (2): 125-130 (2000)March_eq: Implementing Additional Reasoning into an Efficient Look-Ahead SAT Solver., , , and . SAT (Selected Papers, volume 3542 of Lecture Notes in Computer Science, page 345-359. Springer, (2004)Finding Guaranteed MUSes Fast., and . SAT, volume 4996 of Lecture Notes in Computer Science, page 291-304. Springer, (2008)A two-phase algorithm for solving a class of hard satisfiability problems., and . Oper. Res. Lett., 23 (3-5): 81-88 (1998)Improved Solutions to the Steiner Triple Covering Problem., and . Inf. Process. Lett., 65 (2): 67-69 (1998)Parallel SAT Solving using Bit-level Operations., and . J. Satisf. Boolean Model. Comput., 4 (2-4): 99-116 (2008)A New Method to Construct Lower Bounds for Van der Waerden Numbers., , , and . Electron. J. Comb., (2007)