HomeEPiC SeriesKalpa PublicationsPreprintsFor AuthorsFor Editors

Author:Robert Nieuwenhuis

Publications
Decision levels are stable: towards better SAT heuristics
Robert Nieuwenhuis, Adrià Lozano, Albert Oliveras and Enric Rodríguez-Carbonell
In:LPAR23. LPAR-23: 23rd International Conference on Logic for Programming, Artificial Intelligence and Reasoning
SAT-Based Techniques for Integer Linear Constraints
Robert Nieuwenhuis
In:GCAI 2015. Global Conference on Artificial Intelligence

Keyphrases

AI heuristics, automated reasoning, constraint satisfaction, constraint solving, Linear Integer Arithmetic, logic programming, SAT solving, SAT/SMT.

Copyright © 2012-2025 easychair.org. All rights reserved.