@article(Shatter, author = {Fadi A. Aloul and Karim A. Sakallah and Igor L. Markov}, year = {2006}, title = {Efficient symmetry breaking for {B}oolean satisfiability}, journal = {IEEE Transactions on Computers}, volume = {55}, number = {5}, pages = {549--558}, doi = {10.1109/TC.2006.75}, ) @inproceedings(DBLP:conf/lpnmr/AlvianoADLMR19, author = {Mario Alviano and Giovanni Amendola and Carmine Dodaro and Nicola Leone and Marco Maratea and Francesco Ricca}, year = {2019}, title = {Evaluation of Disjunctive Programs in {WASP}}, booktitle = {Proceedings of {LPNMR}}, series = {{LNCS}}, volume = {11481}, pages = {241--255}, doi = {10.1007/978-3-030-20528-7\_18}, ) @inproceedings(lpnmr/AlvianoDFLR13, author = {Mario Alviano and Carmine Dodaro and Wolfgang Faber and Nicola Leone and Francesco Ricca}, year = {2013}, title = {{WASP:} {A} Native {ASP} Solver Based on Constraint Learning}, booktitle = {Proceedings of LPNMR}, pages = {54--66}, doi = {10.1007/978-3-642-40564-8_6}, ) @article(ki/AlvianoF18, author = {Mario Alviano and Wolfgang Faber}, year = {2018}, title = {Aggregates in Answer Set Programming}, journal = {{KI}}, volume = {32}, number = {2-3}, pages = {119--124}, doi = {10.1007/s13218-018-0545-9}, ) @inproceedings(lpnmr/AndresRSS15, author = {Benjamin Andres and David Rajaratnam and Orkunt Sabuncu and Torsten Schaub}, year = {2015}, title = {Integrating {ASP} into {ROS} for Reasoning in Robots}, booktitle = {Proceedings of {LPNMR}}, pages = {69--82}, doi = {10.1007/978-3-319-23264-5_7}, ) @article(tplp/BanbaraKOS17, author = {Mutsunori Banbara and Benjamin Kaufmann and Max Ostrowski and Torsten Schaub}, year = {2017}, title = {Clingcon: The next generation}, journal = {{TPLP}}, volume = {17}, number = {4}, pages = {408--461}, doi = {10.1017/S1471068417000138}, ) @incollection(faia/BarrettSST09, author = {Clark W. Barrett and Roberto Sebastiani and Sanjit A. Seshia and Cesare Tinelli}, year = {2009}, title = {Satisfiability Modulo Theories}, booktitle = {Handbook of Satisfiability}, pages = {825--885}, doi = {10.3233/978-1-58603-929-5-825}, ) @article(amai/Ben-EliyahuD94, author = {Ben{-}Eliyahu, Rachel and Rina Dechter}, year = {1994}, title = {Propositional Semantics for Disjunctive Logic Programs}, journal = {Ann. Math. Artif. Intell.}, volume = {12}, number = {1-2}, pages = {53--87}, doi = {10.1007/BF01530761}, ) @article(jsat/BerreP10, author = {Daniel Le Berre and Anne Parrain}, year = {2010}, title = {The Sat4j library, release 2.2}, journal = {{JSAT}}, volume = {7}, number = {2-3}, pages = {59--6}, ) @inproceedings(lpnmr/Bomanson17, author = {Jori Bomanson}, year = {2017}, title = {lp2normal - {A} Normalization Tool for Extended Logic Programs}, booktitle = {Proceedings of {LPNMR}}, pages = {222--228}, doi = {10.1007/978-3-319-61660-5\_20}, ) @article(jar/BrooksEEMR07, author = {Daniel R. Brooks and Esra Erdem and Selim T. Erdogan and James W. Minett and Donald Ringe}, year = {2007}, title = {Inferring Phylogenetic Trees Using Answer Set Programming}, journal = {J. Autom. Reasoning}, volume = {39}, number = {4}, pages = {471--511}, doi = {10.1007/s10817-007-9082-1}, ) @article(TPLP/BruynoogheBBDDJLRDV, author = {Maurice Bruynooghe and Hendrik Blockeel and Bart Bogaerts and De Cat, Broes and De Pooter, Stef and Joachim Jansen and Anthony Labarre and Jan Ramon and Marc Denecker and Sicco Verwer}, year = {2015}, title = {Predicate logic as a modeling language: modeling and solving some machine learning and data mining problems with {IDP3}}, journal = {TPLP}, volume = {15}, number = {6}, pages = {783--817}, doi = {10.1017/S147106841400009X}, ) @article(tplp/CalimeriFGIKKLM20, author = {Francesco Calimeri and Wolfgang Faber and Martin Gebser and Giovambattista Ianni and Roland Kaminski and Thomas Krennwallner and Nicola Leone and Marco Maratea and Francesco Ricca and Torsten Schaub}, year = {2020}, title = {{ASP-Core-2} Input Language Format}, journal = {{TPLP}}, volume = {20}, number = {2}, pages = {294--309}, doi = {10.1017/S1471068419000450}, ) @article(tcad/ChaiK05, author = {Donald Chai and Andreas Kuehlmann}, year = {2005}, title = {A fast pseudo-{B}oolean constraint solver}, journal = {{IEEE} Trans. on {CAD} of Integrated Circuits and Systems}, volume = {24}, number = {3}, pages = {305--317}, doi = {10.1109/TCAD.2004.842808}, ) @article(dam/CookCT87, author = {William J. Cook and Collette R. Coullard and Gy{\"{o}}rgy Tur{\'{a}}n}, year = {1987}, title = {On the complexity of cutting-plane proofs}, journal = {Discrete Applied Mathematics}, volume = {18}, number = {1}, pages = {25--38}, doi = {10.1016/0166-218X(87)90039-4}, ) @inproceedings(ictai/DeCat13, author = {{De Cat}, Broes and Bart Bogaerts and Jo Devriendt and Marc Denecker}, year = {2013}, title = {Model Expansion in the Presence of Function Symbols Using Constraint Programming}, booktitle = {Proceedings of ICTAI}, pages = {1068--1075}, doi = {10.1109/ICTAI.2013.159}, ) @inproceedings(aspocp/DevriendtB16, author = {Jo Devriendt and Bart Bogaerts}, year = {2016}, title = {{BreakID}: {S}tatic Symmetry Breaking for {ASP} (System Description)}, editor = {Bart Bogaerts and Amelia Harrison}, booktitle = {Proceedings of {ASPOCP}}, pages = {25--39}, ) @inproceedings(sat/DevriendtBB17, author = {Jo Devriendt and Bart Bogaerts and Maurice Bruynooghe}, year = {2017}, title = {Symmetric Explanation Learning: Effective Dynamic Symmetry Handling for {SAT}}, booktitle = {Proceedings of {SAT}}, pages = {83--100}, doi = {10.1007/978-3-319-66263-3_6}, ) @inproceedings(sat/DevriendtBBD16, author = {Jo Devriendt and Bart Bogaerts and Maurice Bruynooghe and Marc Denecker}, year = {2016}, title = {Improved Static Symmetry Breaking for {SAT}}, booktitle = {Proceedings of {SAT}}, pages = {104--122}, doi = {10.1007/978-3-319-40970-2\_8}, ) @inproceedings(aaai/DixonG02, author = {Heidi E. Dixon and Matthew L. Ginsberg}, year = {2002}, title = {Inference Methods for a Pseudo-{B}oolean Satisfiability Solver}, booktitle = {Proceedings of {AAAI}}, pages = {635--640}, ) @article(drtiwa11a, author = {C. Drescher and O. Tifrea and T. Walsh}, year = {2011}, title = {Symmetry-breaking Answer Set Solving}, journal = {AI Communications}, volume = {24}, number = {2}, pages = {177--194}, doi = {10.3233/AIC-2011-0495}, ) @inproceedings(aaai/DrescherW11, author = {Christian Drescher and Toby Walsh}, year = {2011}, title = {Conflict-Driven Constraint Answer Set Solving with Lazy Nogood Generation}, booktitle = {AAAI}, pages = {1772--1773}, ) @inproceedings(sat/ElffersGNV18, author = {Jan Elffers and Gir{\'{a}}ldez{-}Cru, Jes{\'{u}}s and Jakob Nordstr{\"{o}}m and Marc Vinyals}, year = {2018}, title = {Using Combinatorial Benchmarks to Probe the Reasoning Power of Pseudo-Boolean Solvers}, booktitle = {Proceedings of {SAT}}, pages = {75--93}, doi = {10.1007/978-3-319-94144-8\_5}, ) @inproceedings(ijcai/ElffersN18, author = {Jan Elffers and Jakob Nordstr{\"{o}}m}, year = {2018}, title = {Divide and Conquer: Towards Faster Pseudo-{B}oolean Solving}, booktitle = {Proceedings of {IJCAI}}, pages = {1291--1299}, doi = {10.24963/ijcai.2018/180}, ) @article(ai/FaberPL11, author = {Wolfgang Faber and Gerald Pfeifer and Nicola Leone}, year = {2011}, title = {Semantics and complexity of recursive aggregates in answer set programming}, journal = {{AIJ}}, volume = {175}, number = {1}, pages = {278--298}, doi = {10.1016/j.artint.2010.04.002}, ) @inproceedings(lpnmr/Ferraris05, author = {Paolo Ferraris}, year = {2005}, title = {Answer Sets for Propositional Theories}, booktitle = {Proceedings of {LPNMR}}, pages = {119--131}, doi = {10.1007/11546207_10}, ) @inproceedings(ecai/GebserJR14, author = {Martin Gebser and Tomi Janhunen and Jussi Rintanen}, year = {2014}, title = {Answer Set Programming as {SAT} modulo Acyclicity}, booktitle = {Proceedings of {ECAI}}, pages = {351--356}, doi = {10.3233/978-1-61499-419-0-351}, ) @article(ai/GebserKS12, author = {Martin Gebser and Benjamin Kaufmann and Torsten Schaub}, year = {2012}, title = {Conflict-driven answer set solving: From theory to practice}, journal = {{AIJ}}, volume = {187}, pages = {52--89}, doi = {10.1016/j.artint.2012.04.001}, ) @inproceedings(lpnmr/GebserLL07, author = {Martin Gebser and Joohyung Lee and Yuliya Lierler}, year = {2007}, title = {Head-Elementary-Set-Free Logic Programs}, booktitle = {Proceedings of {LPNMR}}, pages = {149--161}, doi = {10.1007/978-3-540-72200-7\_14}, ) @article(tplp/GebserMR20, author = {Martin Gebser and Marco Maratea and Francesco Ricca}, year = {2020}, title = {The Seventh Answer Set Programming Competition: Design and Results}, journal = {{TPLP}}, volume = {20}, number = {2}, pages = {176--204}, doi = {10.1017/S1471068419000061}, ) @inproceedings(lpnmr/GebserST07, author = {Martin Gebser and Torsten Schaub and Sven Thiele}, year = {2007}, title = {{GrinGo}: A New Grounder for {A}nswer {S}et {P}rogramming}, booktitle = {Proceedings of LPNMR}, pages = {266--271}, doi = {10.1007/978-3-540-72200-7\_24}, ) @article(tplp/GebserSTV11, author = {Martin Gebser and Torsten Schaub and Sven Thiele and Philippe Veber}, year = {2011}, title = {Detecting inconsistencies in large biological networks with answer set programming}, journal = {{TPLP}}, volume = {11}, number = {2-3}, pages = {323--360}, doi = {10.1017/S1471068410000554}, ) @inproceedings(iclp/GelfondL88, author = {Michael Gelfond and Vladimir Lifschitz}, year = {1988}, title = {The Stable Model Semantics for Logic Programming}, booktitle = {Proceedings of ICLP/SLP}, pages = {1070--1080}, ) @inproceedings(kr/GelfondPLT91, author = {Michael Gelfond and Halina Przymusinska and Vladimir Lifschitz and Miroslaw Truszczynski}, year = {1991}, title = {Disjunctive Defaults}, booktitle = {Proceedings of {KR}}, pages = {230--237}, ) @article(tplp/GelfondZ14, author = {Michael Gelfond and Yuanlin Zhang}, year = {2014}, title = {Vicious Circle Principle and Logic Programs with Aggregates}, journal = {TPLP}, volume = {14}, number = {4--5}, pages = {587--601}, doi = {10.1017/S1471068414000222}, ) @article(jar/GiunchigliaLM06, author = {Enrico Giunchiglia and Yuliya Lierler and Marco Maratea}, year = {2006}, title = {Answer Set Programming Based on Propositional Satisfiability}, journal = {J. Autom. Reasoning}, volume = {36}, number = {4}, pages = {345--377}, doi = {10.1007/s10817-006-9033-2}, ) @inproceedings(lpnmr/GrassoILR09, author = {Giovanni Grasso and Salvatore Iiritano and Nicola Leone and Francesco Ricca}, year = {2009}, title = {Some {DLV} Applications for Knowledge Management}, booktitle = {Proceedings of {LPNMR}}, pages = {591--597}, doi = {10.1007/978-3-642-04238-6_63}, ) @misc(gurobi, author = {Gurobi Optimization, LLC}, year = {2020}, title = {Gurobi Optimizer Reference Manual}, ) @inproceedings(ecai/Janhunen04, author = {Tomi Janhunen}, year = {2004}, title = {Representing Normal Programs with Clauses}, booktitle = {Proceedings of ECAI}, pages = {358--362}, ) @article(ki/Janhunen18a, author = {Tomi Janhunen}, year = {2018}, title = {Cross-Translating Answer Set Programs Using the {ASPTOOLS} Collection}, journal = {{KI}}, volume = {32}, number = {2-3}, pages = {183--184}, doi = {10.1007/s13218-018-0529-9}, ) @article(jagerinypeco15a, author = {Tomi Janhunen and Martin Gebser and Jussi Rintanen and Henrik J. Nyman and Johan Pensar and Jukka Corander}, year = {2017}, title = {Learning discrete decomposable graphical models via constraint optimization}, journal = {Statistics and Computing}, volume = {27}, number = {1}, pages = {115--130}, doi = {10.1007/s11222-015-9611-4}, ) @article(tplp/JanhunenKOSWS17, author = {Tomi Janhunen and Roland Kaminski and Max Ostrowski and Sebastian Schellhorn and Philipp Wanko and Torsten Schaub}, year = {2017}, title = {Clingo goes linear constraints over reals and integers}, journal = {{TPLP}}, volume = {17}, number = {5-6}, pages = {872--888}, doi = {10.1017/S1471068417000242}, ) @inproceedings(birthday/JanhunenN11, author = {Tomi Janhunen and Ilkka Niemel{\"{a}}}, year = {2011}, title = {Compact Translations of Non-disjunctive Answer Set Programs to Propositional Clauses}, booktitle = {Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning - Essays Dedicated to Michael Gelfond on the Occasion of His 65th Birthday}, pages = {111--130}, doi = {10.1007/978-3-642-20832-4\_8}, ) @inproceedings(lpnmr/JanhunenNS09, author = {Tomi Janhunen and Ilkka Niemel{\"a} and Mark Sevalnev}, year = {2009}, title = {Computing Stable Models via Reductions to Difference Logic}, booktitle = {LPNMR}, pages = {142--154}, doi = {10.1007/978-3-642-04238-6\_14}, ) @article(tplp/KoponenOJS15, author = {Laura Koponen and Emilia Oikarinen and Tomi Janhunen and Laura S{\"{a}}il{\"{a}}}, year = {2015}, title = {Optimizing phylogenetic supertrees using answer set programming}, journal = {{TPLP}}, volume = {15}, number = {4-5}, pages = {604--619}, doi = {10.1017/S1471068415000265}, ) @article(tocl/LeonePFEGPS06, author = {Nicola Leone and Gerald Pfeifer and Wolfgang Faber and Thomas Eiter and Georg Gottlob and Simona Perri and Francesco Scarcello}, year = {2006}, title = {The {DLV} system for knowledge representation and reasoning}, journal = {ACM Trans. Comput. Log.}, volume = {7}, number = {3}, pages = {499--562}, doi = {10.1145/1149114.1149117}, ) @inproceedings(lpnmr/Lierler05, author = {Yuliya Lierler}, year = {2005}, title = {cmodels - {SAT}-Based Disjunctive Answer Set Solver}, pages = {447--451}, doi = {10.1007/11546207\_44}, ) @inproceedings(aaai/Lierler12, author = {Yuliya Lierler}, year = {2012}, title = {On the Relation of Constraint Answer Set Programming Languages and Algorithms}, booktitle = {Proceedings of {AAAI}}, ) @inproceedings(iclp/Lifschitz99, author = {Vladimir Lifschitz}, year = {1999}, title = {Answer Set Planning}, booktitle = {Proceedings of {ICLP}}, pages = {23--37}, ) @inproceedings(iclp/LifschitzT94, author = {Vladimir Lifschitz and Hudson Turner}, year = {1994}, title = {Splitting a Logic Program}, booktitle = {Proceedings of ICLP}, pages = {23--37}, ) @inproceedings(ijcai/LinZ03, author = {Fangzhen Lin and Jicheng Zhao}, year = {2003}, title = {On Tight Logic Programs and Yet Another Translation from Normal Logic Programs to Propositional Logic}, booktitle = {Proceedings of IJCAI}, pages = {853--858}, ) @article(ai/LinZ04, author = {Fangzhen Lin and Yuting Zhao}, year = {2004}, title = {{ASSAT}: Computing Answer Sets of a Logic Program by {SAT} Solvers}, journal = {{AIJ}}, volume = {157}, number = {1-2}, pages = {115--137}, doi = {10.1016/j.artint.2004.04.004}, ) @inproceedings(LIU12, author = {Guohua Liu and Tomi Janhunen and Ilkka Niemel{\"{a}}}, year = {2012}, title = {Answer Set Programming via Mixed Integer Programming}, booktitle = {Proceedings of {KR}}, ) @article(fuin/LiuY10, author = {Guohua Liu and Jia{-}Huai You}, year = {2010}, title = {Level Mapping Induced Loop Formulas for Weight Constraint and Aggregate Logic Programs}, journal = {Fundam. Inform.}, volume = {101}, number = {3}, pages = {237--255}, doi = {10.3233/FI-2010-286}, ) @inproceedings(lpnmr/LiuT05, author = {Lengning Liu and Miroslaw Truszczynski}, year = {2005}, title = {Pbmodels - Software to Compute Stable Models by Pseudoboolean Solvers}, booktitle = {Proceedings of {LPNMR}}, pages = {410--415}, doi = {10.1007/11546207\_37}, ) @article(jair/LiuT06, author = {Lengning Liu and Miros{\l}aw Truszczy{\'n}ski}, year = {2006}, title = {Properties and Applications of Programs with Monotone and Convex Constraints}, journal = {J. {AI} Res. (JAIR)}, volume = {27}, pages = {299--334}, doi = {10.1613/jair.2009}, ) @article(jsat/ManquinhoS06, author = {Vasco M. Manquinho and Jo{\~{a}}o P. Marques Silva}, year = {2006}, title = {On Using Cutting Planes in Pseudo-{B}oolean Optimization}, journal = {{JSAT}}, volume = {2}, number = {1-4}, pages = {209--219}, ) @article(tplp/MarekNT08, author = {Victor Marek and Ilkka Niemel{\"a} and Miros{\l}aw Truszczy{\'n}ski}, year = {2008}, title = {Logic programs with monotone abstract constraint atoms}, journal = {TPLP}, volume = {8}, number = {2}, pages = {167--199}, doi = {10.1017/S147106840700302X}, ) @incollection(marek99stable, author = {Victor Marek and Miros{\l}aw Truszczy{\'n}ski}, year = {1999}, title = {Stable Models and an Alternative Logic Programming Paradigm}, booktitle = {The Logic Programming Paradigm: A 25-Year Perspective}, publisher = {Springer-Verlag}, pages = {375--398}, doi = {10.1007/978-3-642-60085-2\_17}, ) @article(Marques-SilvaS99, author = {Marques-Silva, Jo{\~a}o P. and Karem A. Sakallah}, year = {1999}, title = {{GRASP}: A Search Algorithm for Propositional Satisfiability}, journal = {IEEE Transactions on Computers}, volume = {48}, number = {5}, pages = {506--521}, doi = {10.1109/12.769433}, ) @inproceedings(DBLP:conf/nfm/MetinBK19, author = {Hakan Metin and Souheib Baarir and Fabrice Kordon}, year = {2019}, title = {Composing Symmetry Propagation and Effective Symmetry Breaking for {SAT} Solving}, booktitle = {Proceedings of {NFM}}, series = {{LNCS}}, volume = {11460}, pages = {316--332}, doi = {10.1007/978-3-030-20652-9\_21}, ) @article(Niemela99, author = {Ilkka Niemel{\"{a}}}, year = {1999}, title = {Logic Programs with Stable Model Semantics as a Constraint Programming Paradigm}, journal = {Ann. Math. Artif. Intell.}, volume = {25}, number = {3-4}, pages = {241--273}, doi = {10.1023/A:1018930122475}, ) @inproceedings(padl/NogueiraBGWB01, author = {Monica Nogueira and Marcello Balduccini and Michael Gelfond and Richard Watson and Matthew Barry}, year = {2001}, title = {An {A-Prolog} Decision Support System for the Space Shuttle}, booktitle = {PADL}, pages = {169--183}, ) @article(tplp/PelovDB07, author = {Nikolay Pelov and Marc Denecker and Maurice Bruynooghe}, year = {2007}, title = {Well-founded and Stable Semantics of Logic Programs with Aggregates}, journal = {TPLP}, volume = {7}, number = {3}, pages = {301--353}, doi = {10.1017/S1471068406002973}, ) @article(fuin/RiccaDGIIML10, author = {Francesco Ricca and Antonella Dimasi and Giovanni Grasso and Salvatore Maria Ielpa and Salvatore Iiritano and Marco Manna and Nicola Leone}, year = {2010}, title = {A Logic-Based System for e-Tourism}, journal = {Fundam. Inform.}, volume = {105}, number = {1-2}, pages = {35--55}, doi = {10.3233/FI-2010-357}, ) @book(fai/Rossi06, editor = {Francesca Rossi and Peter van Beek and Toby Walsh}, year = {2006}, title = {Handbook of Constraint Programming}, series = {Foundations of Artificial Intelligence}, volume = {2}, publisher = {Elsevier}, ) @incollection(faia/RousselM09, author = {Olivier Roussel and Vasco M. Manquinho}, year = {2009}, title = {Pseudo-{B}oolean and Cardinality Constraints}, editor = {Armin Biere and Marijn Heule and Hans van Maaren and Toby Walsh}, booktitle = {Handbook of Satisfiability}, series = {Frontiers in Artificial Intelligence and Applications}, volume = {185}, publisher = {{IOS} Press}, pages = {695--733}, doi = {10.3233/978-1-58603-929-5-695}, ) @article(jsat/SheiniS06, author = {Hossein M. Sheini and Karem A. Sakallah}, year = {2006}, title = {Pueblo: {A} Hybrid Pseudo-{B}oolean {SAT} Solver}, journal = {{JSAT}}, volume = {2}, number = {1-4}, pages = {165--189}, ) @inproceedings(kr/ShenL18, author = {Da Shen and Yuliya Lierler}, year = {2018}, title = {{SMT}-Based Constraint Answer Set Solver {EZSMT+} for Non-Tight Programs}, booktitle = {Proceedings of {KR}}, pages = {67--71}, ) @book(Sierksma96, author = {G. Sierksma and P. van Dam and G.A. Tijssen}, year = {1996}, title = {Linear and integer programming: theory and practice}, series = {Monographs and textbooks in pure and applied mathematics}, publisher = {Dekker}, ) @article(ai/SimonsNS02, author = {Patrik Simons and Ilkka Niemel{\"a} and Timo Soininen}, year = {2002}, title = {Extending and implementing the stable model semantics}, journal = {{AIJ}}, volume = {138}, number = {1-2}, pages = {181--234}, doi = {10.1016/S0004-3702(02)00187-X}, ) @article(corr/SonPE06, author = {Tran Cao Son and Enrico Pontelli and Islam Elkabani}, year = {2006}, title = {An Unfolding-Based Semantics for Logic Programming with Aggregates}, journal = {CoRR}, volume = {abs/cs/0605038}, ) @inproceedings(stuckeyLCG, author = {Peter J. Stuckey}, year = {2010}, title = {Lazy Clause Generation: Combining the Power of {SAT} and {CP} (and MIP?) Solving}, booktitle = {Proceedings of {CPAIOR}}, pages = {5--9}, doi = {10.1007/978-3-642-13520-0\_3}, ) @misc(url:lparsemanual, author = {Tommi Syrj\"anen}, year = {2000}, title = {Lparse 1.0 User's Manual}, howpublished = {\url{http://www.tcs.hut.fi/Software/smodels/lparse.ps.gz}}, ) @inproceedings(paper:tiihonen:2003, author = {Juha Tiihonen and Timo Soininen and Ilkka Niemel\"a and Reijo Sulonen}, year = {2003}, title = {A practical tool for mass-customising configurable products}, booktitle = {Proceedings ICED}, pages = {1290--1299}, ) @article(tocl/VennekensGD06, author = {Joost Vennekens and David Gilis and Marc Denecker}, year = {2006}, title = {Splitting an operator: Algebraic modularity results for logics with fixpoint semantics}, journal = {ACM Trans. Comput. Log.}, volume = {7}, number = {4}, pages = {765--797}, doi = {10.1145/1182613.1189735}, ) @inproceedings(sat/VinyalsEGGN18, author = {Marc Vinyals and Jan Elffers and Gir{\'{a}}ldez{-}Cru, Jes{\'{u}}s and Stephan Gocht and Jakob Nordstr{\"{o}}m}, year = {2018}, title = {In Between Resolution and Cutting Planes: {A} Study of Proof Systems for Pseudo-Boolean {SAT} Solving}, booktitle = {Proceedings of {SAT}}, pages = {292--310}, doi = {10.1007/978-3-319-94144-8\_18}, )