×

Found 4 Documents (Results 1–4)

On weakening strategies for PB solvers. (English) Zbl 07331030

Pulina, Luca (ed.) et al., Theory and applications of satisfiability testing – SAT 2020. 23rd international conference, Alghero, Italy, July 3–10, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12178, 322-331 (2020).
MSC:  68Q25 68R07 68T20
PDFBibTeX XMLCite
Full Text: DOI arXiv

Fixed parameter tractable optimization under DNNF constraints. (English) Zbl 1403.68241

Kaminka, Gal A. (ed.) et al., ECAI 2016. 22nd European conference on artificial intelligence, The Hague, Netherlands, August 29 – September 2, 2016. Proceedings. Including proceedings of the accompanied conference on prestigious applications of intelligent systems (PAIS 2016). In 2 volumes. Amsterdam: IOS Press (ISBN 978-1-61499-671-2/pbk; 978-1-61499-672-9/ebook). Frontiers in Artificial Intelligence and Applications 285, 1194-1202 (2016).
MSC:  68T20 68Q25
PDFBibTeX XMLCite
Full Text: DOI

Aggregating interval orders by propositional optimization. (English) Zbl 1260.91072

Rossi, Francesca (ed.) et al., Algorithmic decision theory. First international conference, ADT 2009, Venice, Italy, October 20–23, 2009. Proceedings. Berlin: Springer (ISBN 978-3-642-04427-4/pbk). Lecture Notes in Computer Science 5783. Lecture Notes in Artificial Intelligence, 249-260 (2009).
MSC:  91B08 68T20 91B14
PDFBibTeX XMLCite
Full Text: DOI

Filter Results by …

Document Type

Year of Publication

Main Field

all top 3

Software