scientific article; zbMATH DE number 2243352
From MaRDI portal
Publication:5715661
zbMath1080.68661arXiv1107.0040MaRDI QIDQ5715661
Matthew L. Ginsberg, Andrew J. Parkes, Heidi E. Dixon
Publication date: 4 January 2006
Full work available at URL: https://arxiv.org/abs/1107.0040
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Lua error in Module:PublicationMSCList at line 37: attempt to index local 'msc_result' (a nil value).
Related Items (5)
Modelling and solving temporal reasoning as propositional satisfiability ⋮ A first polynomial non-clausal class in many-valued logic ⋮ A taxonomy of exact methods for partial Max-SAT ⋮ Coalition formation in social environments with logic-based agents1 ⋮ On the refutational completeness of signed binary resolution and hyperresolution
Uses Software
This page was built for publication:
