×

Found 6 Documents (Results 1–6)

Enumeration of minimal models and MUSes in WASP. (English) Zbl 07671876

Gottlob, Georg (ed.) et al., Logic programming and nonmonotonic reasoning. 16th international conference, LPNMR 2022, Genova, Italy, September 5–9, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13416, 29-42 (2022).
MSC:  68N17 68T27
PDFBibTeX XMLCite
Full Text: DOI

MCS extraction with sublinear oracle queries. (English) Zbl 1475.68220

Creignou, Nadia (ed.) et al., Theory and applications of satisfiability testing – SAT 2016. 19th international conference, Bordeaux, France, July 5–8, 2016. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 9710, 342-360 (2016).
MSC:  68R07 68W40
PDFBibTeX XMLCite
Full Text: DOI

SAT-based Horn least upper bounds. (English) Zbl 1471.68256

Heule, Marijn (ed.) et al., Theory and applications of satisfiability testing – SAT 2015. 18th international conference, Austin, TX, USA, September 24–27, 2015. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 9340, 423-433 (2015).
PDFBibTeX XMLCite
Full Text: DOI

Filter Results by …

Document Type

Year of Publication

Main Field

all top 3

Software