Cardinality Networks and Their Applications
From MaRDI portal
Publication:3637166
DOI10.1007/978-3-642-02777-2_18zbMath1247.68244MaRDI QIDQ3637166
Roberto Asín, Albert Oliveras, Robert Nieuwenhuis, Enric Rodríguez-Carbonell
Publication date: 7 July 2009
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-642-02777-2_18
68T20: Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.)
Related Items
Curriculum-based course timetabling with SAT and MaxSAT, Compact and efficient encodings for planning in factored state and action spaces with learned binarized neural network transition models, Modeling and solving staff scheduling with partial weighted maxSAT, meSAT: multiple encodings of CSP to SAT, Sorting networks: to the end and back again, A Boolean satisfiability approach to the resource-constrained project scheduling problem, Faster merging networks with a small constant period
Cites Work