L van Norden

info

Please Note

<p>This page displays the records of the person named above and is not linked to a unique person identifier. This record may need to be merged to a profile.</p>

Conference paper (2)

2 records found

Sums of squares, satisfiability and maximum satisfiability

Conference paper (2005) - H van Maaren , L van Norden

A linear programming based satisfiability solver using a new horn-driven search tree design

Conference paper (2002) - L van Norden , H van Maaren